Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
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
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
A UML-Compatible formal language for system architecture description
SDL'05 Proceedings of the 12th international conference on Model Driven
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Behavioral and structural evolution of SOA from OO: an integrated approach
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
This paper presents a formal semantics of UML sequencediagram. In abstract syntax form, a well-formedsequence diagram corresponds to an ordered hierarchicalstructure tree. The static semantics of a sequence diagramis to check whether it is consistent with the class diagramdeclaration as well as with its well-formed tree structure.Meanwhile, the dynamic semantics is defined in terms ofthe state transitions that are carried out by the method invocationsin the diagram. When a message is executed, itmust be consistent with system state, i.e., object diagramand the state diagrams of its related objects. The semanticsclearly captures the consistency between sequence diagramwith class diagram and state diagram. Therefore, it is usefulto develop the model consistent checking functions in UMLCASE tools. And it also can be used to reason about thecorrectness of a design model with respect to a requirementmodel.