Abstract
STAIRS is a method for the compositional development of interactions in the setting of UML 2.0. In addition to defining denotational trace semantics for the main aspects of interactions, STAIRS focuses on how interactions may be developed through successive refinement steps. In this tutorial paper, we concentrate on explaining the practical relevance of STAIRS. Guidelines are given on how to create interactions using the different STAIRS operators, and how these may be refined. The pragmatics is illustrated by a running example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: Proc. 3rd Int. Wsh. Critical Systems Development with UML (CSDUML 2004), Technical report TUM-I0415, pp. 85–99. Institut für Informatik, Technische Universität München (2004)
Damm, W., Harel, D.: LSC’s: Breathing life into message sequence charts. In: Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999) (1999)
Grosu, R., Smolka, S.A.: Safety-liveness semantics for UML sequence diagrams. In: Proc. 5th Int. Conf. on Applications of Concurrency to System Design (ACSD 2005), pp. 6–14 (2005)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling 22(4), 349–458 (2005)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: Why timed sequence diagrams require three-event semantics. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 1–25. Springer, Heidelberg (2005)
Harel, D., Marelly, R.: Come, Let’s Play.: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer, Heidelberg (2003)
Haugen, Ø., Stølen, K.: STAIRS — Steps to analyze interactions with refinement semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 388–402. Springer, Heidelberg (2003)
International Telecommunication Union. Recommendation Z.120 — Message Sequence Chart (MSC) (1999)
Krüger, I.H.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
Kruchten, P.: The Rational Unified Process, 3rd edn. Addison-Wesley, Reading (2004)
Object Management Group. UML Superstructure Specification, v. 2.0, document: formal/05-07-04 edition (2005)
Runde, R.K., Haugen, Ø., Stølen, K.: How to transform UML neg into a useful construct. In: Norsk Informatikkonferanse NIK 2005, pp. 55–66, Tapir (2005)
Runde, R.K., Haugen, Ø., Stølen, K.: Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing 12(2), 157–188 (2005)
Refsdal, A., Runde, R.K., Stølen, K.: Underspecification, inherent nondeterminism and probability in sequence diagrams. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 138–155. Springer, Heidelberg (2006)
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
Runde, R.K., Haugen, Ø., Stølen, K. (2006). The Pragmatics of STAIRS. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2005. Lecture Notes in Computer Science, vol 4111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11804192_5
Download citation
DOI: https://doi.org/10.1007/11804192_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36749-9
Online ISBN: 978-3-540-36750-5
eBook Packages: Computer ScienceComputer Science (R0)