Defining precise semantics for UML

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

Volumn 1964, Issue , 2000, Pages 113-122

  Bruel, Jean Michel ^a   Lilius, Johan ^b   Moreira, Ana ^c   France, Robert B ^d  

^a UNIVERSITÉ DE PAU ET DES PAYS DE L'ADOUR   (France)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^d Department of Environmental and Radiological Health Sciences   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

UML SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 84937418850     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44555-2_10     Document Type: Conference Paper

References (20)

1. Using profiles to re-architect the UML (Tony Clark, A. Evans, S. Kent)
2. Projection Diagram – The Unified Approach at a glance (A. Bhagwat)
3. Towards a Semantics for Behavioural Model Elements (R. J. Back, et al)
4. Building the Bridge between syntax and semantics of UML collaborations (M. Cibran, et al)
5. Dependency relations between UML models (C. Pons, et al)
6. Towards model checking OCL (D. Distefano, et al)
7. Mechanical analysis of UML statemachines and class diagrams (F. Kamm üller, S. Helke)
8. On types, instances, and classes in UML (G. Genilloud, A. Wegmann)
9. Defining precise semantics for UML (G. Fuster)
10. Towards an UML-based object-oriented modeling tool for an internet integrated formalization process (E. Grant, et al)
11. Using BOOM framework for formal specification of the UML (G. Övergaard)
12. Changing UML metamodel in order to represent concern separation (J. L. Herrero, et al)
13. Difficulties in defining Precise Semantics for UML (I. Ober)
14. Metamodels for Static Conceptual Modelling of Information Systems (R. Laleau, F. Polack)
15. An attempt to introduce OCL (M. Anlauf)
16. An Algebraic semantics for UML Supporting its multiview approach (G. Reggio, et al)
17. Semantics of relationships (J.-P. Rethore)
18. Category theoretic approaches of representing precise UML semantics (J. Smith, et al).
19. Formalization of the UML metamodel: an approach based upon the fourlayer metamodelling architecture (M. N. Terrasse)
20. On the relationship between UML sequence diagrams and state diagrams (J. Whittle)