Semantics and transformations for UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1618, Issue , 1999, Pages 107-119

  Lano, K ^a   Bicarregui, J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

LARGE PARTS; SEMANTIC FRAMEWORK; UML MODEL;

UNIFIED MODELING LANGUAGE;

EID: 84957576711     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48480-6_9     Document Type: Conference Paper

References (19)

1. J Abrial, L Mussat. Specification and Design of a Transmission Protocol by Successive Refinements using B, 1997.
2. M Awad, J Kuusela, and Jurgen Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996.
3. J C Bicarregui, K C Lano, T S E Maibaum, Objects, Associations and Subsystems: a hierarchical approach to encapsulation, ECOOP 97, LNCS, 1997.
4. R Breu, U Hinkel, C Hofmann, C Klein, B Paech, B Rumpe, V Thurner, Towards a Formalization of the Unified Modeling Language, ECOOP 97 proceedings, LNCS 1241, Springer-Verlag, 1997.
5. S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994.
6. A Clark and A Evans, Foundations of the Unified Modeling Language. In D Duke and A Evans, editors, BCS FAGS - 2nd Northern Formal Methods Workshop. Workshops in Computing, Springer Verlag, 1997.
7. J Fiadeiro and T Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification, Formal Aspects of Computing 4(3), pp. 239-272, 1992
8. R France, A Evans, K Lano, The UML as a Formal Modelling Notation, OOPSLA 97 Workshop on Object-Oriented Behavioral Semantics, 1997.
9. J Goguen and R Burstall. IntroducingLnstitutions.ln Clarke and Kozen, eds. Logics of Programs, pp. 221-256, Springer-Verlag, 1984.
10. D Harel and A Naamad, The Statemate Semantics of Statecharts, technical report, i-Logix, Inc, 1995.
11. K Lano, S Goldsack, J Bicarregui and S Kent. Integrating VDM+ + and Real-Time System Design, Z User Meeting, 1997.
12. K. Lano, N. Malik, Reengineering Legacy Applications using Design Patterns, STEP '97, IEEE Computer Society Press, 1997.
13. K. Lano, A Sanchez, Design of Reactive Control Systems for Event-driven Operations, FME '97, LNCS, Springer-Verlag, 1997.
14. K. Lano, Transformations on Syntropy and UML Models, Technical Report, "Formal Underpinnings for Object Technology" project, Dept. of Computing, Imperial College, 1997.
15. K Lano, Logical Specification of Reactive and Real-Time Systems, to appear in Journal of Logic and Computation, 1998.
16. N Leveson, Safeware: system safety and computers, Addison-Wesley, 1995. ISBN 0-201-11972-2.
17. 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.
18. R Wieringa, W. de Jonge, P. Spruit, Roles and Dynamic Subclasses: A Modal Logic Approach, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993.
19. The UML Notation version 1.1, UML resource center, http://www.rational.com, 1997.