Abstract
Domain-specific languages become more and more important these days as they facilitate the close collaboration of domain experts and software developers. One effect of this general tendency is the increasing number of UML profiles. UML itself as a popular modeling language is capable of modeling all kinds of systems but it is often inefficient due to its wide-spectrum approach. Profiles tailor the UML to a specific domain and can hence be seen as domain-specific dialects of UML. At the moment, they mainly introduce new terminology, often in combination with OCL constraints which describe the new constructs more precisely. As most tools do not support validation of OCL expressions let alone supplementing profiles with OCL constraints, it is difficult to check if models based on a profile comply to this profile. A related problem is checking whether constraints in the profile contradict constraints in the UML specification. In this paper, it is shown how to complete these tasks with the tool USE. As an example, a profile from the railway control systems domain is taken which describes the use of its modeling elements strictly my means of OCL. Models based on this profile serve as a foundation for automated code generation and require unambiguous meaning.
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
Baar, T., Chiorean, D., Correa, A., Gogolla, M., Hußmann, H., Patrascoiu, O., Schmitt, P.H., Warmer, J.: Tool Support for OCL and Related Formalisms - Needs and Trends. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 1–9. Springer, Heidelberg (2006)
Bauerdick, H., Gogolla, M., Gutsche, F.: Detecting OCL Traps in the UML 2.0 Superstructure. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) Proceedings 7th International Conference Unified Modeling Language (UML’2004). LNCS, vol. 3273, pp. 188–197. Springer, Heidelberg (2004)
Berkenkötter, K., Hannemann, U.: Modeling the railway control domain rigorously with a uml 2.0 profile. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 398–411. Springer, Heidelberg (2006)
Evans, A.: Domain Specific Languages and MDA (2006), http://www.xactium.com
Gogolla, M., Favre, J.-M., Büttner, F.: On Squeezing M0, M1, M2, and M3 into a Single Object Diagram. Technical Report LGL-REPORT-2005-001, Ecole Polytechnique Fédérale de Lausanne (2005)
Object Management Group. MDA Guide Version 1.0.1 (June 2003)
Object Management Group. OCL 2.0 Specification, version 2.0 (June 2005), http://www.omg.org/docs/ptc/05-06-06.pdf
Object Management Group. Unified Modeling Language: Superstructure, version 2.0 (July 2005), http://www.omg.org/docs/formal/05-07-04.pdf
Object Management Group. Unified Modeling Language (UML) Specification: Infrastructure, version 2.0 (July 2005), http://www.omg.org/docs/ptc/04-10-14.pdf
Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification (January 2006), http://www.omg.org/docs/formal/06-01-01.pdf
Pachl, J.: Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (2002)
Peleska, J., Berkenkötter, K., Drechsler, R., Große, D., Hannemann, U., Haxthausen, A.E., Kinder, S.: Domain-specific formalisms and model-driven development for railway control systems. In: TRain workshop at SEFM2005, September 2005 (2005)
Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints (Ph.D. thesis, Universität Bremen). BISS Monographs, vol. 14. Logos Verlag, Berlin (2002)
Warmer, J., Kleppe, A.: Object Constraint Language 2.0. MITP-Verlag, Bonn (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Berkenkötter, K. (2007). OCL-Based Validation of a Railway Domain Profile. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)