Abstract
Sequence Diagrams (SDs) offer an intuitive and visual way of describing expected behaviour of Object Oriented (OO) software. They focus on modelling the method calls among participants of a software system at runtime. This is an essential difference from its ancestor, basic Message Sequence Charts (bMSCs), which are mainly used to model the exchange of asynchronous messages. Since method calls are regarded as synchronous messages in the Unified Modelling Language (UML) Version 2.0, synchronous messages play a significantly more important role in SDs than in bMSCs. However, the effect of this difference has not been fully explored in previous work on the semantics of SDs. One important aim of this paper is to identify the differences between SDs and bMSCs. We observe that using traditional semantics to interpret SDs may not interpret SDs correct under certain circumstances. Consequently, we propose a new method to interpret SDs which uses thread tags to deal with identified problems.
Chapter PDF
Similar content being viewed by others
References
Alur, R., Holzmann, G., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools 17(2), 70–77 (1996)
Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: Proceedings of the 3rd Intl. Workshop on Critical Systems Development with UML, pp. 85–99, Lisbon, Portugal, Technische Universität München (2004)
Caromel, D., Klauser, W., Vayssiere, J.: Towards seamless computing and metacomputing in Java. Concurrency Practice and Experience 10(11-13), 1043–1061 (1998)
Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (7, 2001)
Grabowski, J., Graubmann, P., Rudolph, E.: Towards a petri net based semantics definition for message sequence charts. In: Proceedings of SDL’93 - Using Objects, pp. 179–190, Darmstadt, Germany, North-Holland (1993)
Grosu, R., Smolka, S.A.: Safety-liveness semantics for UML 2.0 sequence diagrams. In: Proceedings of the Fifth International Conference on Application of Concurrency to System Design, pp. 6–14. IEEE Computer Society Press, Los Alamitos, CA, USA (2005)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Software and Systems Modeling 4(4), 355–357 (2005)
Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, pp. 13–20 (2006)
ITU-T. ITU-T Recommendation Z.120 Annex B: Formal semantics of message sequence charts (4, 1998)
Jonsson, B., Padilla, G.: An execution semantics for MSC-2000. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 365–378. Springer, Heidelberg (2001)
Kafura, D.G., Lee, K.H.: Inheritance in actor based concurrent object-oriented languages. The Computer Journal 32(4), 297–304 (1989)
Ladkin, P.B., Leue, S.: What do message sequence charts mean. In: Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, pp. 301–316, Boston, MA, USA, North-Holland (1993)
Lavender, R.G., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. Pattern Languages of Program Design, pp. 483–499 (1996)
Lund, M.S., Stølen, K.: A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 380–395. Springer, Heidelberg (2006)
Mitchell, B.: Resolving race conditions in asynchronous partial order scenarios. IEEE Transactions on Software Engineering 31(9), 767–784 (2005)
Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. The Computer Journal 37(4), 269–277 (1994)
Nierstrasz, O.: Regular types for active objects. In: Proceedings of the Eighth Annual Conference on Object-oriented Programming Systems, Languages, and Applications, pp. 1–15, Washington, DC, USA (1993)
OMG. Unified Modeling Language: Superstructure (8, 2005)
Selic, B.V.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 181–199. Springer, Heidelberg (2004)
Storrle, H.: Semantics of interactions in UML 2.0. In: Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments, pp. 129–136, Los Alamitos, CA, USA (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Dan, H., Hierons, R.M., Counsell, S. (2007). Thread–Based Analysis of Sequence Diagrams. In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)