A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice
Category
Academic article
Language
English
Author(s)
- Mass Soldal Lund
- Ketil Stølen
Affiliation
- University of Oslo
- SINTEF
Year
2006Published in
Lecture Notes in Computer Science (LNCS)
ISSN
0302-9743
Publisher
Springer
Volume
4085
Page(s)
380 - 395