Formal specification of object-oriented meta-modelling

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

Volumn 1783, Issue , 2000, Pages 193-207

  Övergaard, Gunnar ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; OBJECT ORIENTED PROGRAMMING; SEMANTICS; VISUAL LANGUAGES;

ABSTRACT SYNTAX; DEVELOPMENT PROJECT; DYNAMIC SEMANTIC; HIGH-LEVEL DESIGN; LANGUAGE SPECIFICATION; OBJECT ORIENTED; SYSTEM DEVELOPMENT; WELL FORMEDNESS RULES;

UNIFIED MODELING LANGUAGE;

EID: 84945300310     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_14     Document Type: Conference Paper

References (19)

1. G. Booch. Object-Oriented Design with Applications. Redwood City, 1991.
2. E.H. Dürr and J. van Katwijk. VDM++ - A Formal Speci_cation Language for Object-oriented Designs. In Computer Systems and Software Engineering. Proceedings of CompEuro'92, pages 214-219. IEEE Computer Society Press, 1992.
3. Electronic Industries Association, 2500 Wilson Blvd. Arlington, VA 22201. EIA/IS-107: CDIF/Framework for Modeling and Extensibility, 1997. http://www.eia.org/eig/cdif/how-to-obtain-standards.html.
4. International Telecommunication Union (ITU), Place des Nations, CH-1211 Geneva 20, Switzerland. Recommendation Z.100 (03/93) - CCITT specification and description language (SDL), 1993. http://www.itu.int/itudoc/itut/ rec/z.html.
5. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
6. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Soft- ware Engineering: A Use Case Driven Approach. Addison-Wesley, 1993.
7. C. B. Jones. A pi-calculus Semantics for an Object-Based Design Notation. In E. Best, editor, CONCUR'93: 4th International Conference on Concurrency Theory Lecture Notes in Computer Science 715. Springer-Verlag, 1993.
8. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I. Information and Computation, 100:1-40, 1992.
9. Meta Object Facility (MOF) Specification, September 1997. On-line documentation: http://www.omg.org/pub/docs/ad/97-08-f14,15g.pdf.
10. Object Management Group, Framingham Corporate Center, 492 Old Connecticut Path, Framingham MA 01701-4568. OMG Unified Modeling Language Specification, version 1.3, June 1999. http://www.omg.org/cgi-bin/doc?ad/99-06-08.
11. G. Övergaard. A Formal Approach to Relationships in the Unified Modeling Language. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT'98 Workshop on Precise Semantics for Software Modeling Techniques, pages 91-108. Technische Universität, München, Germany, TUM-I9803, April 1998.
12. G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language. In R. France and B. Rumpe, editors, Proceedings of UML'99 -The Unified Modeling Language: Beyond the Standard, Lecture Notes in Computer Science 1723, pages 99-115. Springer-Verlag, 1999.
13. G. Övergaard and K. Palmkvist. A Formal Approach to Use cases and Their Relationships. In P.-A. Muller and J. Bézivin, editors, Proceedings of the Unified Modeling Language: UML'98: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.
14. A. Pope. The Corba Reference Guide: Understanding the Common Object Request Broker Architecture. Addison-Wesley, 1998.
15. T. Reenskaug, P. Wold, and O. A. Lehne. Working with Objects: The O Oram Software Engineering Method. Manning Publications, 1996.
16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object- Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, 1991.
17. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
18. S. Stepney, R. Barden, and D. Cooper. Object Orientation in Z. Springer-Verlag, 1992.
19. D. Walker. Objects in the π-Calculus. Information and Computation, 116:253-271, 1995.