Required Behavior of Sequence Diagrams: Semantics and Conformance - Computer Science > Software EngineeringReportar como inadecuado




Required Behavior of Sequence Diagrams: Semantics and Conformance - Computer Science > Software Engineering - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Lunjin Lu, Dae-kyoo Kim

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados