Skip to main content
SpringerLink
Log in

Development of UML Descriptions with USE

  • Conference paper
  • First Online:
Book cover EurAsia-ICT 2002: Information and Communication Technology (EurAsia-ICT 2002)

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

Included in the following conference series:

Abstract

The Object Constraint Language OCL is part of the Unified Modeling Language UML. Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to describe system structure by invariants and system behavior by pre- and postconditions. This paper explains the functionality of the UML Specification Environment USE which allows to validate and verify UML and OCL descriptions. The paper also uses a new approach to handle UML statecharts by OCL pre- and postconditions.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABB+00]_W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I.P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proc. 8th Europ. Workshop Logics in AI (JELIA), LNCS 1919, pages 21–36. Springer, 2000.

    Google Scholar 

  2. J. Álvarez, A. Evans, and P. Sammut. Mapping between levels in the metamodel architecture. In M. Gogolla and C. Kobryn, editors, Proc. 4th Int. Conf. UML (UML’2001), pages 34–46. Springer, LNCS 2185, 2001.

    Google Scholar 

  3. G. Georg and J. Bieman. Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Proc. UML’2001 Workshop on Rigorous Development, pages 69–70. LNI, German Informatics Society, 2001.

    Google Scholar 

  4. M. Gogolla and M. Richters. USE Specification Text for the Traffic Light Case Study. ftp://ftp.informatik.uni-bremen.de/local/db/papers/trali.use, 2002.

  5. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, LNCS 1939, pages 278–293. Springer, 2000.

    Google Scholar 

  6. OMG, editor. OMG Unified Modeling Language Specification, Version 1.4. OMG, September 2001. http://www.omg.org.

  7. M. Richters and M. Gogolla. A Metamodel for OCL. In R. France and B. Rumpe, editors, Proc. 2nd Int. Conf. UML (UML’99), pages 156–171. Springer, LNCS 1723, 1999.

    Google Scholar 

  8. M. Richters and M. Gogolla. OCL-Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, pages 43–69. Springer, Berlin, LNCS 2263, 2001.

    Google Scholar 

  9. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Bremen, Germany

    Martin Gogolla & Mark Richters

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Richters
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Mathematics and Computer Science Computer Science Department, Shahid Bahonar University, 22 Bahman Bulvard, Kerman, Iran

    Hassan Shafazand

  2. Fraunhofer IPSI, Dolivostr. 15, 64293, Darmstadt, Germany

    Hassan Shafazand

  3. Institute of Software Technology, Vienna University of Technology, Favoritenstr. 9/188, 1040, Vienna, Austria

    A. Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M., Richters, M. (2002). Development of UML Descriptions with USE. In: Shafazand, H., Tjoa, A.M. (eds) EurAsia-ICT 2002: Information and Communication Technology. EurAsia-ICT 2002. Lecture Notes in Computer Science, vol 2510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36087-5_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-36087-5_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00028-0

  • Online ISBN: 978-3-540-36087-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation