The definition of transitive closure with OCL - Limitations and applications

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

Volumn 2890, Issue , 2003, Pages 358-365

  Baar, Thomas ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; RECONFIGURABLE HARDWARE; SEMANTICS;

EXPRESSIVE POWER; FIRST ORDER LOGIC; OBJECT CONSTRAINT LANGUAGE; TRANSITIVE CLOSURE; UML 2.0; UML METAMODEL; WELL FORMEDNESS RULES;

COMPUTER CIRCUITS;

EID: 35248897702     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (5)

1. B. Beckert, U. Keller, and P. H. Schmitt. Translating the Object Constraint Language into first-order predicate logic. In Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, 2002.
2. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.
3. OMG. OMG Unified Modeling Language Specification. Technical Report OMG-UML Version 1.4, Object Mangagement Group, September 2001.
4. M. Richters. A precise approach to validating UML models and OCL constraints. PhD thesis, Bremer Institut für Sichere Systeme, Universität Bremen, Lagos-Verlag, Berlin, 2001.
5. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.