Required Behavior of Sequence Diagrams: Semantics and Conformance - Computer Science > Software EngineeringReport as inadecuate




Required Behavior of Sequence Diagrams: Semantics and Conformance - Computer Science > Software Engineering - Download this document for free, or read online. Document in PDF available to download.

Abstract: Sequence diagrams are a widely used design notation for describing softwarebehaviors. Many reusable software artifacts such as design patterns and designaspects make use of sequence diagrams to describe interaction behaviors. When apattern or an aspect is reused in an application, it is important to ensurethat the sequence diagrams for the application conform to the correspondingsequence diagrams for the pattern or aspect. Reasoning about conformancerelationship between sequence diagrams has not been addressed adequately inliterature. In this paper, we focus on required behavior specified by a UMLsequence diagram. A novel trace semantics is given that captures preciselyrequired behavior specified by a sequence diagram and a conformance relationbetween sequence diagrams is formalized based on the semantics. Properties ofthe trace semantics and the conformance relation are studied.



Author: Lunjin Lu, Dae-kyoo Kim

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents