序列图所需的行为：语义和一致性
Required Behavior of Sequence Diagrams: Semantics and Conformance
摘要：
序列图是一种广泛使用的描述软件行为的设计符号。许多可重用的软件工件，如设计模式和设计方面使用序列图来描述交互行为。当在应用程序中重用模式或方面时，确保应用程序的序列图符合模式或方面的相应序列图是很重要的。序列图之间的一致性关系的推理在文献中没有得到充分的解决。在本文中，我们专注于所需的行为指定的UML序列图。给出了一种新的跟踪语义，它精确地捕捉了序列图所指定的行为，并基于该语义形式化了序列图之间的一致性关系。研究了踪迹语义和一致性关系的性质。
英文摘要：
Sequence diagrams are a widely used design notation for describing software behaviors. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application conform to the corresponding sequence diagrams for the pattern or aspect. Reasoning about conformance relationship between sequence diagrams has not been addressed adequately in literature. In this paper, we focus on required behavior specified by a UML sequence diagram. A novel trace semantics is given that captures precisely required behavior specified by a sequence diagram and a conformance relation between sequence diagrams is formalized based on the semantics. Properties of the trace semantics and the conformance relation are studied.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
