Evolution of the UML Interactions Metamodel
- 1 January 2013
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Approach to Formalizing UML Sequence DiagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Formalize UML 2 Sequence DiagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Model Checking of UML 2.0 InteractionsPublished by Springer Science and Business Media LLC ,2007
- Assert and negate revisitedPublished by Association for Computing Machinery (ACM) ,2006
- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory ChoiceLecture Notes in Computer Science, 2006
- STAIRS towards formal design with sequence diagramsSoftware and Systems Modeling, 2005
- Why Timed Sequence Diagrams Require Three-Event SemanticsLecture Notes in Computer Science, 2005
- Comparing UML 2.0 Interactions and MSC-2000Lecture Notes in Computer Science, 2005
- STAIRS – Steps To Analyze Interactions with Refinement SemanticsLecture Notes in Computer Science, 2003
- A Formal Semantics for UML InteractionsLecture Notes in Computer Science, 1999