Abstract
In UML 2.0 sequence diagrams have been considerably extended and are now fundamentally better structured. Interactions in sequence diagrams can be structured using so-called interaction fragments, including alt (alternative behaviour), par (parallel behaviour), neg (forbidden behaviour), assert (mandatory behaviour) and ref (reference another diagram). The operator ref in particular greatly improves the way diagrams can be decomposed. In previous work we have given a semantics to a subset of sequence diagrams using labelled event structures, a true-concurrent model that naturally captures alternative and parallel behaviour. In this paper, we expand that work to address refinement and show how to obtain a refined model by means of a powerful categorical construction over two categories of labelled event structures. The underlying motivation for this work is reasoning and verification of complex scenario-based inter-object behavioural models. We conclude the paper with a discussion on future work.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ITU: Recommendation Z.120: Message Sequence Chart (MSC) (1999)
Küster-Filipe, J.: Modelling concurrent interactions. Theoretical Computer Science 351(2) (2006); Algebraic Methodology and Software Technology Special Issue
Reniers, M.: Message Sequence Charts:Syntax and Semantics. PhD thesis, Eindhoven University of Technology (1998)
OMG: UML 2.0 Superstructure Specification. document ptc/04-10-02 (2004), available from www.uml.org
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science. Semantic Modelling, vol. 4, pp. 1–148. Oxford Science (1995)
Vaandrager, F.: A simple definition for parallel composition of prime event structures. Technical Report CS-R8903, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands (1989)
Küster-Filipe, J.: Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technische Universität Braunschweig, Germany (2000)
Cengarle, M., Knapp, A.: Operational semantics of UML 2.0 interactions. Technical Report TUM-I0505, Institut für Informatik, TU München (2005)
Haugen, Ø., Husa, K., Runde, R., Stølen, K.: STAIRS towards formal design with sequence diagrams. Journal of Software and System Modeling 4(4), 355–357 (2005)
Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bowles, J.K.F. (2006). Decomposing Interactions. In: Johnson, M., Vene, V. (eds) Algebraic Methodology and Software Technology. AMAST 2006. Lecture Notes in Computer Science, vol 4019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11784180_16
Download citation
DOI: https://doi.org/10.1007/11784180_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35633-2
Online ISBN: 978-3-540-35636-3
eBook Packages: Computer ScienceComputer Science (R0)