Abstract
OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation pre- and postconditions, class invariants) of such models. The applicability and utility of OCL can be assessed by applying it to realistic applications and by investigating its capabilities both in terms of language characteristics and tool support. With this in mind, in this paper we model functional requirements for the Mondex Smart Card Application using UML Diagrams, demonstrate how system invariants as well as operation pre- and post-conditions are specified in OCL, and explore the degree to which OCL tool support can be used to create and validate these models. Moreover, we discuss how these pre- and post-conditions can be validated, in part by discussing how test cases can be selected from the OCL specifications created.
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
Gogolla, M., Richters, M.: Using the UML Specification Environment(USE) (2002), http://citeseer.ist/psu.edu/531031.html
Introduction to Mondex Purse Operation, Tech. report., Mondex International Limited (1999), https://mol.mastercard.net/mol/molbe/public/login/ebusiness/smart_cards/mondex/
Woodcock, J., Banach, R.: The Verification Grand Challenge, Computer Society of India Communications (2007)
Stepney, S., Cooper, D., Woodcock, J.: An Electronic Purse: Specification, Refinement and Proof. Oxford University Computing Laboratory, Tech Report (2000)
Sendall, S., Strohmeier, A.: Specifying System Behaviour in UML, Technical Report DI/00/343, EPFL (2000)
Warmer, J., Kleppe, A.: The Object Constraint Language, Getting Your Models Ready for MDA, Wesley (2003)
Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, Springer, Heidelberg (2003)
Gogolla, M., Buettner, M., Richters, M.: USE:UML Specification Environment for Validating UML and OCL, Science of Computer Programming (2006)
Korel, B., Al-Yami, A.M.: Assertion-oriented automated test data generation. In: Proceedings of the 18th International Conference on Software Engineering (ICSE), pp. 71–80. IEEE, Los Alamitos (1996)
The Object Constraint Language (viewed 06/2007), http://www.um.es/giisw/ocltools/ocl.htm
Baar, T., Chiorean, D., Correa, A., Gogolla, M., Hussmann, H., Patrascoiu, O., Schmitt, P.H., Warmer, J.: Tool Support for OCL and Related Formalism - Needs and Trends, Technical Report, MODELS 2005 (2005), http://www.db.informatik.uni-bremen.de/publications/Baar_2005_OCLWS.ps
Kassios, I.T.: Dynamic Frames: Support for Framing, Dependencies and Sharing without Restrictions, In: FM 2006, pp. 208-283 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aydal, E.G., Paige, R.F., Woodcock, J. (2008). Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In: Giese, H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69073-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-69073-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69069-6
Online ISBN: 978-3-540-69073-3
eBook Packages: Computer ScienceComputer Science (R0)