Formal semantics and reasoning about UML class diagram

Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006

Volumn , Issue , 2007, Pages 51-59

  Szlenk, Marcin ^a  

^a WARSAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEMANTICS; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

CLASS DIAGRAM; FORMAL SEMANTICS; SOFTWARE SYSTEMS;

FORMAL METHODS;

EID: 34848917548     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPCOS-RELCOMEX.2006.27     Document Type: Conference Paper

References (8)

1. UML 2.0 Superstructure Specification (formal/05-07-04). Object Management Group, 2005.
2. Tony Clark, Andy Evans, Paul Sammut, and James Willans. Applied Metamodelling: A Foundation for Language Driven Development. Xactium, 2004.
3. Martin Fowler and Kendall Scott. UML Distilled: A Brief Guide to the Standard Object Modeling Language, Second Edition. Addison-Wesley, Boston, 2000.
4. Gonzalo Génova, Juan Llorens, and Paloma Martínez. The meaning of multiplicity of n-ary association in UML. Software and Systems Modeling, 2(2):86-97, 2002.
5. Craig Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Second Edition. Prentice Hall, Englewood Cliffs, NJ, 2001.
6. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual, Second Edition. Addison-Wesley, 2004.
7. Marcin Szlenk. Formal Semantics and Reasoning about UML Conceptual Class Diagram (in Polish). PhD Thesis, Warsaw University of Technology, 2005.
8. Bhuvan Unhelkar. Verification and Validation for Quality of UML 2.0 Models. Wiley-Interscience, 2005.