Using OCL beyond specifications

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-7, Issue , 2001, Pages 57-68

  Chiorean, Dan ^a  

^a BABE BOLYAI UNIVERSITY   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

REAL EXAMPLE; RIGOROUS MODEL;

MODELING LANGUAGES;

EID: 85134582740     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. BoldSoft MDE AB - Model Run, http://www.boldsoft.com
2. Chiorean D., Cojocari D. - Implementation of OCL Support in UML CASE Tools - the ROCASE Experience; Objectives, Proposals, Perspectives - The ISM'01 International Conference, http://www.fee.vutbr.cz/UIVT/ism/pdf/chiorean.pdf
3. Clark T., Evans A., Kent S., Brodsky S., Cook S. - A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach, http://www.cs.york.ac.uk/puml/mmf/index.html
4. Cook S., Daniels J. - “Designing Object Systems; Object-Oriented Modelling with Syntropy” - Prentice Hall, 1994
5. Cook S, Kleppe A et all - Defining the Context of OCL Expression - in UML'99, Second International Conference, Fort Collins USA, page.372-383
6. Daniels J., Chessman J.,- UML Components - A simple Process for Specifying Component-Based Software - Addison Wesley 2001
7. http://dresden-ocl.sourceforge.net/index.html
8. Kleppe A, Warmer J. - Extending OCL to Include Actions - in UML'00, Third International Conference, York, England, page.440-450
9. Bertrand Meyer - “Object-Oriented Software Construction - second edition” - Prentice Hall 1997
10. http://www.klasse.nl/ocl/ocl-issues.pdf
11. UML 1.4 Draft Specification - February 2001 - 01-02-14.pdf - http://uml.sh.com
12. Warmer J, Kleppe A. - “The Object Constraint Language” - Addison Wesley 1999
13. http://www.sdgnews.com/uml2001_002/uml2001_002.htm
14. http://www.db.informatik.uni-bremen.de/projects/USE