Communicating sequential processes
Communicating sequential processes
Journal of the ACM (JACM)
Algebraic theory of processes
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Term rewriting and all that
Software for use: a practical guide to the models and methods of usage-centered design
Software for use: a practical guide to the models and methods of usage-centered design
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Communication and Concurrency
Design pattern modelling and instantiation using DPML
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
A semantics of sequence diagrams
Information Processing Letters
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Stepwise Design with Message Sequence Charts
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
The pomset model of parallel processes: unifying the temporal and the spatial
The pomset model of parallel processes: unifying the temporal and the spatial
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Process-Based Semantics for Message Sequence Charts with Data
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Design Pattern Detection Using Similarity Scoring
IEEE Transactions on Software Engineering
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Synthesis of Partial Behavior Models from Properties and Scenarios
IEEE Transactions on Software Engineering
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
ASM Semantic Modeling and Checking for Sequence Diagram
ICNC '09 Proceedings of the 2009 Fifth International Conference on Natural Computation - Volume 05
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Precise modeling of design patterns
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Required Behavior of Sequence Diagrams: Semantics and Refinement
ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Branching time semantics for UML 2.0 sequence diagrams
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
FM'06 Proceedings of the 14th international conference on Formal Methods
Unifying the semantics of UML 2 state, activity and interaction diagrams
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Access control: principle and practice
IEEE Communications Magazine
Comparing Refinements for Failure and Bisimulation Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |
Many reusable software artifacts such as design patterns and design aspects make use of UML 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 article, we focus on required behaviors specified by a UML sequence diagram and provide a semantic-based formalization of conformance relationships between sequence diagrams. A novel trace semantics is first given that captures precisely required behaviors. A refinement relation between sequence diagrams is then defined based on the semantics. The refinement relation allows a sequence diagram to be refined by changing its structure so long as its required behaviors are preserved. A conformance relation between sequence diagrams is finally given that includes the refinement relation as a special case. It allows one to introduce and rename lifelines, messages, and system variables when reusing sequence diagrams. Properties of the semantics, refinement, and conformance relations are studied. Two case studies are provided to illustrate the efficacy of semantic-based conformance reasoning.