On the evolution of OCL for capturing structural constraints in modelling languages

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

Volumn 5115 LNCS, Issue , 2009, Pages 204-218

  Kolovos, Dimitrios S ^a   Paige, Richard F ^a   Polack, Fiona A C ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; CONCRETE SYNTAX; EXPRESSION LANGUAGES; META MODEL; META-MODELLING; MODELLING ENVIRONMENT; MODELLING LANGUAGE; OBJECT CONSTRAINT LANGUAGE; STRUCTURAL CONSTRAINTS;

ABSTRACTING; QUERY LANGUAGES; SYNTACTICS;

LINGUISTICS;

EID: 77949868460     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11447-2_13     Document Type: Conference Paper

References (19)

1. Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification, http://www.omg.org/cgi-bin/doc?ptc/03-10-04
2. Object Management Group. UML 2.0 OCL Specification, http://www.omg.org/ docs/ptc/03-10-14.pdf
3. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer 7(3), 212-232 (2005)
4. Barnett, M., DeLine, R., Jacobs, B., Fähndrich, M., Leino, K.R.M., Schulte, W., Venter, H.: The Spec# programming system: Challenges and directions. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 144-152. Springer, Heidelberg (2008)
5. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
6. Kolovos, D.S.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), http://www.cs.york.ac.uk/~dkolovos/ epsilon
7. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (EOL). In: Rensink, A.,Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128-142. Springer, Heidelberg (2006)
8. Chiorean, D., Bortes,M., Corutiu, D.: Proposals for aWidespread Use of OCL. In: Proc. Tool Support for OCL and Related Formalisms - Needs and Trends, Models/UML 2005, Montego Bay, Jamaica (October 2005)
9. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 81-95. Springer, Heidelberg (2006)
10. Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006: Proceeding of the 28th international conference on Software engineering, Shanghai, China, pp. 381-390. ACM Press, New York (2006)
11. Eclipse Foundation, http://www.eclipse.org
12. ArgoUML, http://argouml.tigris.org
13. Eclipse.org. Eclipse Modelling Framework, http://www.eclipse.org/emf
14. Sun Microsystems. Meta Data Repository, http://mdr.netbeans.org
15. Epsilon component - Eclipse Generative Modeling Technology (GMT), http://www.eclipse.org/gmt/epsilon
16. Eclipse GMF - Graphical Modeling Framework, http://www.eclipse.org/gmf
17. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall PTR, Englewood Cliffs (2004)
18. openArchitectureWare, http://www.openarchitectureware.org/
19. Jouault, F., Bezívin, J.: Using ATL for Checking Models. In: Proc. International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia (September 2005)