On the Semantic Foundations of Standard UML 2.0

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

Volumn 3185, Issue , 2004, Pages 181-199

  Selic, Bran V ^a  

^a IBM Rational Software Canada   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

UNIFIED MODELING LANGUAGE;

FORMAL MODEL; RUNTIMES; SEMANTIC CONTENT; SEMANTIC FOUNDATION; UML 2.0; UML SEMANTICS;

SEMANTICS;

EID: 33751057960     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30080-9_6     Document Type: Article

References (12)

1. Berry, G.: The Foundations of Esterel, In: G. Plotkin, C. Stirling and M. Tofte (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge MA (1998)
2. Kleppe, A., Warmer, J.: Unification of Static and Dynamic Semantics of UML: A Study in redefining the Semantics of the UML using pUML Meta Modelling Approach, Klasse Objecten, http://www.cs.york.ac.uk/puml/mmf/KleppeWarmer.pdf, Soest, Netherlands (2003)
3. Ober, L: Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics, Ph.D Thesis at Institut National Polytechnique de Toulouse, Toulouse, France (2004)
4. Object Management Group: MDA Guide (version 1.0.1), OMG document ad/03-06-01, http://www.omg.org/cgi-bin/doc?mda-guide (2003)
5. Object Management Group: UML for Systems Engineering - Request for Proposal, OMG document ad/03-03-41, http://www.omg.org/docs/ad/03-03-41.pdf (2003)
6. Object Management Group: UML 2.0 Infrastructure - Final Adopted Specification, OMG document ad/03-09-15, http://www.omg.org/docs/ad/03-09-15.pdf (2003)
7. Object Management Group: UML 2.0 OCL - Final Adopted Specification, OMG document ad/03-10-14, http://www.omg.org/docs/ad/03-10-14.pdf (2003)
8. Object Management Group: UML 2.0 Superstructure - Final Adopted Specification, OMG document ad/03-08-02, http://www.omg.org/docs/ad/03-08-02.pdf (2003)
9. Peterson, J.: Petri Nets, ACM Computing Surveys, Vol. 9, Issue 3, ACM Press, New York, (1977) 223-252
10. nd ed.), Addison-Wesley, Boston (2004)
11. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling, John Wiley & Sons, New York (1994).
12. Sourrouille, J.L., Caplat, G.: Constraint Checking in UML Modeling, in Proceedings International Conference SEKE'02, ACM-SIGSOFT, (2002) 217-224