TY - GEN
T1 - Safety-liveness semantics for UML 2.0 sequence diagrams
AU - Grosu, Radu
AU - Smolka, Scott A.
PY - 2005
Y1 - 2005
N2 - We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without compromising refinement? Our solution relies on a rather obvious idea, but to our knowledge has not been used before in this context: that bad and good sequence diagrams in the UML standard should be regarded as safety and liveness properties, respectively. Proceeding in this manner, we obtain a semantics that essentially complements the set of behaviors associated with the set of sequence diagrams, thereby allowing us to use the standard notion of refinement as language inclusion. We show that refinement in this setting is compositional with respect to sequential composition, alternative composition, parallel composition, and star+ composition.
AB - We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without compromising refinement? Our solution relies on a rather obvious idea, but to our knowledge has not been used before in this context: that bad and good sequence diagrams in the UML standard should be regarded as safety and liveness properties, respectively. Proceeding in this manner, we obtain a semantics that essentially complements the set of behaviors associated with the set of sequence diagrams, thereby allowing us to use the standard notion of refinement as language inclusion. We show that refinement in this setting is compositional with respect to sequential composition, alternative composition, parallel composition, and star+ composition.
UR - https://www.scopus.com/pages/publications/33746238173
U2 - 10.1109/ACSD.2005.31
DO - 10.1109/ACSD.2005.31
M3 - Conference contribution
AN - SCOPUS:33746238173
SN - 0769523633
SN - 9780769523637
T3 - Proceedings - International Conference on Application of Concurrency to System Design, ACSD
SP - 6
EP - 14
BT - Proceedings - Fifth International Conference on Application of Concurrency to System Design, ACSD 2005
T2 - 5th International Conference on Application of Concurrency to System Design, ACSD 2005
Y2 - 7 June 2005 through 9 June 2005
ER -