Abstract
The Object Constraint Language (OCL) is part of the Unified Modelling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants and pre- and postconditions. This chapter explains the functionality of the UML Specification Environment USE, which allows to validate and verify UML and OCL descriptions. The paper shows that central safety properties of the BART system can be expressed with OCL. Test cases embodying central aspects of the BART system can be formulated within the USE system. It can be shown that the safety properties are satisfied by the test cases examined.
Chapter responsible.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
[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 European Workshop on Logics in AI (JELIA), LNCS 1919, pages 21–36. Springer-Verlag, 2000.
Boldsoft. The Boldsoft OCL Tool Model Run. www.boldsoft.com, Boldsoft, Stockholm, 2002.
G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 1994.
M. Gogolla and M. Richters. Development of UML Descriptions with USE. In A Min Tjoa, Hassan Shafazand, and K. Badie, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA’2002). Springer, Berlin, LNCS, 2002.
H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 278–293. Springer, 2000.
I. Jacobsen, M. Christerson, P. Jonsson, and G. G. Overgaard. Object-Oriented Software Engineering. Addison-Wesley, 1992.
OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document formal/03-03-01, www.omg.org.
[RBP+91]_J. Rumbaugh, M. Blah, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.
M. Richters and M. Gogolla. A Metamodel for OCL. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML’99), pages 156–171. Springer, Berlin, LNCS 1723, 1999.
M. Richters and M. Gogolla. OCL-Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43–69. Springer, Berlin, LNCS 2263, 2001.
M. Richters. A UML-based Specification Environment, 2001. http://www.db.informatik.uni-bremen.de/projects/USE.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
P. Ziemann and M. Gogolla. Validating OCL specifications with the USE tool-an example based on the BART case study. In Thomas Arts and Wan Fokkink, editors, Proc. 8th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS’2003), volume 80 of ENTCS. Elsevier, 2003.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Kluwer Academic Publishers
About this chapter
Cite this chapter
Gogolla, M., Ziemann, P. (2004). Checking BART Test Scenarios with UML’s Object Constraint Language. In: Kordon, F., Lemoine, M. (eds) Formal Methods for Embedded Distributed Systems. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7997-4_5
Download citation
DOI: https://doi.org/10.1007/1-4020-7997-4_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7996-2
Online ISBN: 978-1-4020-7997-9
eBook Packages: Springer Book Archive