Skip to main content
SpringerLink
Log in
Book cover

International Conference on the Unified Modeling Language

UML 1999: «UML»’99 — The Unified Modeling Language pp 503–517Cite as

Typechecking UML Static Models

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1723))

Abstract

UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking for type consistency of static models involves both inclusion and parametric polymorphism. This paper defines a semantics of type consistency in terms of a type theory for UML static models. The type theory is shown to be correct with respect to a value semantics for OCL. The existence of a consistency checking algorithm for UML static models is established.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 proceedings of the 13th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, (OOPSLA 98).

    Google Scholar 

  2. Cardelli L. (1984) Basic Polymorphic Type Checking. Science of Computer Programming, 8(2), 147–72.

    Article  MathSciNet  Google Scholar 

  3. Cardelli L. & Wegner P. (1985) On understanding types, data abstraction and polymorphism. ACM Computing Surveys. 17(4).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  7. Clark, A. N.: A Semantic Framework for Object-Oriented Development. Technical Report, Department of Computing, University of Bradford, 1999.

    Google Scholar 

  8. Cook, D. & Daniels J.: Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, 1994.

    Google Scholar 

  9. D’Souza, D. & Wills, A.: Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.

    Google Scholar 

  10. Goguen, J.: Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis (Eds.), Software Reusability, Volume I: Concepts and Models, pp. 159–225. Addison Wesley, 1989.

    Google Scholar 

  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.

    Google Scholar 

  12. Meyer, B: Eiffel the Language. Prentice-Hall Object-Oriented Series, 1992.

    Google Scholar 

  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.

    Google Scholar 

  14. Booch G., Jacobson I. & Rumbaugh J.: The Unified Modeling Language User Guide. Addison Wesley Longman, 1998.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Bradford, West Yorkshire, UK, BD7 1DP

    Tony Clark

Authors
  1. Tony Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, Fort Collins, CO, 80523-1873, USA

    Robert France

  2. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Clark, T. (1999). Typechecking UML Static Models. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-46852-8_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66712-4

  • Online ISBN: 978-3-540-46852-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation