Reflections on the object constraint language

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

Volumn 1618, Issue , 1999, Pages 162-172

  Hamic, Ali ^a   Civcllo, Franco ^a   Howse, John ^a   Kent, Stuart ^a   Mitchell, Richard ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES; SEMANTICS;

CLASS MODELS; OBJECT CONSTRAINT LANGUAGE; OBJECT CREATION; STATE MODELS; TEXTUAL LANGUAGE;

UNIFIED MODELING LANGUAGE;

EID: 50649116514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, UK (1994)
2. D'Souza, D., Wills, A.: Extending Fusion: practical rigor and refinement. R. Malan et al., 00 Development at Work, Prentice Hall (1996)
3. D'Souza, D., Wills, A.: Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, to appear 1998. Draft and other related material available at http:/Avww.trireme.com/catalysis
4. Fowler, M., Scott, K.: UML Distilled. Addison-Wesley (1997)
5. Guttag, J., Horning, J.: Larch: Languages and Tools for Formal Specifications. Springer-Verlag (1993)
6. Hamie, A., Howse, J., Kent, S.: Navigation Expressions in Object-Oriented Modelling. Lecture Notes in Computer Science, Vol. 1382. Springer-Verlag (1998) 123-137
7. Hamie, A., Howse, J., Kent, S.: Compositional Semantics for Object-Oriented Models. In Duke, D. and Evans A., editors, 3rd Northern Formal Methods Workshop, electronic Workshops in Computing, UK, Springer-Verlag (1998)
8. Meyer, B.: Eiffel the Language. Prentice Hall (1992)
9. Jones, B. C: Systematic Software Development using VDM. Prentice Hall (1990)
10. Kent, S.: UML: What does it all mean? 1 day tutorial at ETAPS'98, Lisbon, Portugal. Notes available from http://www.it.brighton.ac.uk/staff/Stuart.Kent (1998)
11. Rational Software Corporation: The Unified Modeling Language Version 1.1. Available from http://www.rational.com (1997)
12. Rational Software Corporation: The Object Constraint Language Specification, Version 1.1. Available from http://www.rational.com (1997)
13. Rumbaugh, J., Blaha, M., Premerali, W., Eddy, F, Lorensen, W: Object-Oriented Modelling and Design. Prentice Hall (1991)
14. Spivey, M.: The Z Notation. 2nd ed. Prentice Hall, UK (1992)