Extending OCL to include actions

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

Volumn 1939, Issue , 2000, Pages 440-450

  Kleppe, Anneke ^a   Warmer, Jos ^a  

^a Klasse Objecten   (Netherlands)

Author keywords

Actions; Constraints; Dynamic semantics; Invariants; OCL; Operations; Pre and postconditions; UML

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SEMANTICS;

ACTIONS; CONSTRAINTS; DYNAMIC SEMANTIC; INVARIANTS; OPERATIONS; PRE- AND POSTCONDITIONS;

UNIFIED MODELING LANGUAGE;

EID: 84956971868     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40011-7_32     Document Type: Conference Paper

References (8)

1. OMG Unified Modeling Language Specification, Version 1.3, June 1999
2. Hans-Erik Eriksson and Magnus Penker, Business Modeling with UML, Business Patterns at Work, 2000, Wiley
3. Desmond D’Souza and Alan Wills, Objects, Components and Frameworks with UML, The Catalysis Approach, 1999, Addison-Wesley
4. Steve Cook and John daniels, Designing Object Systems: Object-oriented modeling with Syntropy, 1994, Prentice-Hall
5. Jos Warmer and Anneke Kleppe, The Object Constraint Language, Precise Modeling with UML, 1999, Addison-Wesley
6. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns, Elements of Reusable Object-Oriented Software, 1995, Addison-Wesley
7. James Martin and James J. Odell, Object-Oriented Methods, A Foundation, 1998, Prentice-Hall
8. Brad Cox, Superdistribution: Objects As Property on the Electronic Frontier, 1996, Addison-Wesley