Typechecking UML static models

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

Volumn 1723, Issue , 1999, Pages 503-517

  Clark, Tony ^a  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; SEMANTICS;

CLASS DIAGRAMS; CONSISTENCY CHECKING; PARAMETRIC POLYMORPHISM; STATIC MODEL; TYPE THEORY; TYPECHECKING;

UNIFIED MODELING LANGUAGE;

EID: 84947706702     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_36     Document Type: Conference Paper

References (16)

1. Brache G., Odersky M., Stoutamire D. & Wadler P. (1998) Making the future safe for the past: Adding Genericity to the Java Programming Language. in pro-ceedings of the 13th Annual ACM SIGPLAN Conference on Object-Oriented Pro-gramming Systems, Languages and Applications, (OOPSLA 98).
2. Cardelli L. (1984) Basic Polymorphic Type Checking. Science of Computer Pro-gramming, 8(2), 147-72.
3. Cardelli L. & Wegner P. (1985) On understanding types, data abstraction and polymorphism. ACM Computing Surveys. 17(4).
4. Clark, A. N. & Evans, A. S.: Foundations of the Unified Modeling Language. Presented at the Second Northern Formal Methods Workshop, June 14, 1997. Published in the proceedings of the 2nd BCS-FACS Nothern Methods Workshop, Ilkley, 1997. BCS FACS Electronic Workshops in Computing.
5. Clark, A. N. & Evans, A. S.: Semantic Foundations of the Unified Modelling Language. In the proceedings of the First Workshop on Rigorous Object-Oriented Methods: ROOM 1, Imperial College of Science Technology and Medicine, London, June, 1997.
6. Clark, A. N.: A Semantics for Object-Oriented Systems. Proceedings of the Third Northern Formal Methods Workshop. September 1998. BCS FACS Electronic Workshops in Computing, 1999.
7. Clark, A. N.: A Semantic Framework for Object-Oriented Development. Technical Report, Department of Computing, University of Bradford, 1999.
8. Cook, D. & Daniels J.: Designing Object Systems: Object-OrientedModelling with Syntropy, Prentice Hall, 1994.
9. D'Souza, D. & Wills, A.: Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.
10. Goguen, J.: Principles of parameterized programming. In Ted Biggersta and Alan Perlis (Eds.), Software Reusability, Volume I: Concepts and Models, pp. 159-225. Addison Wesley, 1989.
11. Meyer, B.: Genericity Vs. Inheritance. In Meyrowitz N. (Ed.) ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications (OOPSLA), ACM, 1986, pp. 391-405.
12. Meyer, B: Eiffel the Language. Prentice-Hall Object-Oriented Series, 1992.
13. Ohori, A., & Buneman, P.: Static type Inference for Parametric Classes. Proceedings of the 1989 ACM Conference on Object-Oriented Programming Systems Languages and Applications, pp 445-456.
14. Booch G., Jacobson I. & Rumbaugh J.: The Unified Modeling Language User Guide. Addison Wesley Longman, 1998.
15. UML Consortium. Object Constraint Language Specification Version 1.1. Available from http://www.rational.com 1997.
16. Odersky M. & Wadler P. (1997) Pizza into Java: Translating theory into practice. Symposium on Principles of Programming Languages, pp 146-159.