Engineering modelling languages: A precise meta-modelling approach

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

Volumn 2306, Issue , 2002, Pages 159-173

  Clark, Tony ^a   Evans, Andy ^b   Kent, Stuart ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

^c UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SOFTWARE ENGINEERING;

ENGINEERING MODELLING; META-MODELLING; SPECIALISATION; TECHNOLOGY-BASED; UML 2.0;

MODELING LANGUAGES;

EID: 84958764034     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_11     Document Type: Conference Paper

References (20)

1. Bottoni P., Koch M., Parisi-Presicce F., Taentzer G. (2000) Consistency Checking and Visualization of OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 278 -- 293, Springer-Verlag.
2. Clark A., Evans A., Kent S. (2000) Profiles for Language Definition. Presented at the ECOOP pUML Workshop, Nice.
3. Clark A., Evans A., Kent S, Cook S., Brodsky S., (2000) A feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Meta-Modeling Approach. Available at http://www.puml.org/mmt.zip.
4. Clark A., Evans A., Kent S. (2001) Initial submission to the UML 2.0 Infrastructure RFP. Available at http://www.cs.york.ac.uk/puml/papers/uml2submission.pdf
5. Clark A., Evans A., Kent S. (2001) The Specification of a Reference Implementation for UML. Special Issue of L'Objet on Object Modelling, 2001.
6. Clark A., Evans A., Kent S. (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. ETAPS FASE Conference 2001, Genoa.
7. D'Souza D., Wills A. C. (1998) Object Components and Frameworks with UML -- The Catalysis Approach. Addison-Wesley.
8. D’Souza D., Sane A., Birchenough A. (1999) First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns. In France R. & Rumpe B. (eds) UML '99 proceedings volume 1723 LNCS, 265 -- 277, Springer-Verlag.
9. Evans A., Kent S. (1999) Core meta-modelling semantics of UML -- The pUML approach. In France R. & Rumpe B. (eds) UML '99 proceedings volume 1723 LNCS, 140 -- 155, Springer-Verlag.
10. Howse J., Molina F., Kent S., Taylor J. (1999) Reasoning with Spider Diagrams. Proceedings of the IEEE Symposium on Visual Languages '99, 138-145. IEEE CS Press.
11. Hussmann H., Demuth B., Finger F. (2000) Modular Architecture for a Toolset Supporting OCL In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 278 -- 293, Springer-Verlag.
12. Kent S. (1997) Constraint Diagrams: Visualizing Invariants in Object-Oriented Models. In Proceedings of OOPSLA '97, 327-341.
13. UML 2.0 Infrastructure Request for Proposals, available from http://www.omg.org/uml
14. The pUML Home Page http://www.puml.org.
15. Richters M., Gogolla M. (1999) A metamodel for OCL. In France R. & Rumpe B. (eds) UML '99 proceedings volume 1723 LNCS, 156 -- 171, Springer-Verlag.
16. Richters M., Gogolla M. (2000) Validating UML Models and OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 265 -- 277, Springer-Verlag.
17. Richters M., Gogolla M. (2000) A Semantics for OCL pre and post conditions. Presented at the OCL Workshop, UML 2000.
18. Object Management Group (1999) OMG Unified Modeling Language Specification, version 1.3. Available at http://www.omg.org/uml.
19. The UML 2.0 Working Group Home Page http://www.celigent.com/omg/adptf/wgs/uml2wg.html.
20. Warmer J., Kleppe A. (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley.