OclType - A type or metatype?

Electronic Notes in Theoretical Computer Science

Volumn 102, Issue , 2004, Pages 63-75

  Flake, Stephan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

OCL Standard Library; Powertype

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SCIENCE; DIGITAL LIBRARIES; MATHEMATICAL MODELS; PROBLEM SOLVING; STANDARDS;

OCL STANDARD LIBRARY; POWERTYPE; STANDARD LIBRARY; UML;

METADATA;

EID: 23844518141     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.09.004     Document Type: Conference Paper

References (6)

1. T. Baar and R. Hähnle. An Integrated Metamodel for OCL Types. In R. France et al., editors, Proc. of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA, 2000.
2. A. D. Brucker and B. Wolff. HOL-OCL: Experiences, Consequences and Design Choices. In UML 2002 - 5th International Conference, Dresden, Germany, September/October 2002, volume 2460 of LNCS, pages 196-211. Springer, 2002.
3. S. Flake and W. Müller. Semantics of State-Oriented Expressions in the Object Constraint Language. In 15th Internat'l Conf. on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco, USA, pages 142-149. Knowledge Systems Institute, USA, July 2003.
4. A. Ivner, J. Högström, S. Johnston, D. Knox, and P. Rivett. Response to the UML2.0 OCL RIP, Version 1.6 (Submitters: Boldsoft, Rational, IONA, Adaptive Ltd., et al.). OMG Document ad/03-01-07, January 2003.
5. OMG, Object Management Group. Unified Modeling Language 1.5 Specification. OMG Document formal/03-03-01, March 2003.
6. M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, Bremen, Germany, 2001.