Abstract
This paper presents a semantic framework for a large part of UML, and gives a set of transformations on UML models based on this semantics. These transformations can be used to enhance, rationalise, refine or abstract UML models.
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
Abrial, J., Mussat, L.: Specification and Design of a Transmission Protocol by Successive Refinements using B (1997)
Awad, M., Kuusela, J., Ziegler, J.: Object-oriented Technology for Real-time Systems. Prentice Hall, Englewood Cliffs (1996)
Bicarregui, J.C., Lano, K.C., Maibaum, T.S.E.: Objects, Associations and Subsystems: a hierarchical approach to encapsulation. In: ECOOP 1997. LNCS (1997)
Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a Formalization of the Unified Modeling Language. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 344–366. Springer, Heidelberg (1997)
Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Englewood Cliffs (1994)
Clark, A., Evans, A.: Foundations of the Unified Modeling Language. In: Duke, D., Evans, A. (eds.) BCS FACS - 2nd Northern Formal Methods Workshop. Workshops in Computing. Springer, Heidelberg (1997)
Fiadeiro, J., Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4(3), 239–272 (1992)
France, R., Evans, A., Lano, K.: The UML as a Formal Modelling Notation. In: OOPSLA 1997 Workshop on Object-Oriented Behavioral Semantics (1997)
Goguen, J., Burstall, R.: Introducing Institutions. In: Clarke, Kozen (eds.) Logics of Programs, pp. 221–256. Springer, Heidelberg (1984)
Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, technical report, i-Logix, Inc. (1995)
Lano, K., Goldsack, S., Bicarregui, J., Kent, S.: Integrating VDM + + and Real-Time System Design, Z User Meeting (1997)
Lano, K., Malik, N.: Reengineering Legacy Applications using Design Patterns, STEP 1997. IEEE Computer Society Press, Los Alamitos (1997)
Lano, K., Sanchez, A.: Design of Reactive Control Systems for Event-driven Operations. In: FME 1997. LNCS. Springer, Heidelberg (1997)
Lano, K.: Transformations on Syntropy and UML Models, Technical Report, Formal Underpinnings for Object Technology project, Dept. of Computing, Imperial College (1997)
Lano, K.: Logical Specification of Reactive and Real-Time Systems. Journal of Logic and Computation (1998) (to appear)
Leveson, N.: Safeware: system safety and computers. Addison-Wesley, Reading (1995) ISBN 0-201-11972-2
Ministry of Defence The Procurement of Safety Critical Software in Defence Equipment DEF-STAN 00-55, Issue 1, Part 2. Room 5150, Kentigern House, 65 Brown St., Glasgow G2 8EX (1997)
Wieringa, R., de Jonge, W., Spruit, P.: Roles and Dynamic Subclasses: A Modal Logic Approach, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam (1993)
The UML Notation version 1.1, UML resource center (1997), http://www.rational.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lano, K., Bicarregui, J. (1999). Semantics and Transformations for UML Models. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive