Abstract
The paper presents STAIRS, an approach to the compositional development of UML interactions supporting the specification of mandatory as well as potential behavior. STAIRS has been designed to facilitate the use of interactions for requirement capture as well as test specification. STAIRS assigns a precise interpretation to the various steps in incremental system development based on an approach to refinement known from the field of formal methods, and provides thereby a foundation for compositional analysis. An interaction may characterize three main kinds of traces. A trace may be (1) positive in the sense that it is valid, legal or desirable, (2) negative meaning that it is invalid, illegal or undesirable, or (3) considered irrelevant for the interaction in question. This categorization corresponds well with that of testing where the verdict of a test execution is either pass, fail or inconclusive. The basic increments in system development are structured into three kinds referred to as supplementing, narrowing and detailing. Supplementing categorizes inconclusive traces as either positive or negative. Narrowing reduces the set of positive traces to capture new design decisions or to match the problem more adequately. Detailing involves introducing a more detailed description without significantly altering the externally observable behavior.
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
Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17, 507–533 (1995)
Broy, M., Stølen, K.: Specification and development of interactive systems: Focus on streams, interfaces and refinement. Springer, Heidelberg (2001)
Combes, P., Pickin, S., Renard, B., Olsen, F.: MSCs to express service requirements as properties on an SDL model: application to service interaction detection. In: Proc. 7th SDL Forum (SDL 1995), pp. 243–256. North-Holland, Amsterdam (1995)
Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Proc. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293–311. Kluwer, Dordrecht (1999)
Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play in/playout approach. To appear in Software and System Modeling (2003)
Haugen, Ø.: Using MSC-92 effectively. In: Proc. 7th SDL Forum (SDL 1995), pp. 37–49. North-Holland, Amsterdam (1995)
Haugen, Ø.: MSC-2000 interaction diagrams for the new millennium. Computer Networks 35, 721–732 (2001)
Haugen, Ø., Møller-Pedersen, B., Weigert, T.: Structural Modeling with UML 2.0. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real, Kluwer, Dordrecht (2003)
Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1, 271–282 (1972)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)
Jones, C.B.: Systematic software development using VDM. Prentice-Hall, Englewood Cliffs (1986)
Milner, R.: An algebraic definition of simulation between programs. In: Proc. International Joint Conference on Artificial Intelligence, pp. 481–489. Kaufmann, San Francisco (1971)
OMG, Unified Modeling Language: Superstructure. OMG ad/03-04-01 (2003)
Reniers, M.A.: Message Sequence Chart: Syntax and Semantics. PhD thesis, Departement of Computer Science, Eindhoven University of Technology (1998)
Z.120, Message Sequence Charts (MSC). Rudolph, E. (ed.) ITU (1993)
Z. 120 Annex B, Algebraic Semantics of Message Sequence Charts. Mauw, S. (ed.) ITU (1994)
Z. 120 Annex B, Formal Semantics of Message Sequence Charts. Mauw, S. et al. (eds.) ITU (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haugen, Ø., Stølen, K. (2003). STAIRS – Steps To Analyze Interactions with Refinement Semantics. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-45221-8_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20243-1
Online ISBN: 978-3-540-45221-8
eBook Packages: Springer Book Archive