[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

OCL-Based Validation of a Railway Domain Profile

  • Conference paper
Models in Software Engineering (MODELS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4364))

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. Evans, A.: Domain Specific Languages and MDA (2006), http://www.xactium.com

  5. 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)

    Google Scholar 

  6. Object Management Group. MDA Guide Version 1.0.1 (June 2003)

    Google Scholar 

  7. Object Management Group. OCL 2.0 Specification, version 2.0 (June 2005), http://www.omg.org/docs/ptc/05-06-06.pdf

  8. Object Management Group. Unified Modeling Language: Superstructure, version 2.0 (July 2005), http://www.omg.org/docs/formal/05-07-04.pdf

  9. Object Management Group. Unified Modeling Language (UML) Specification: Infrastructure, version 2.0 (July 2005), http://www.omg.org/docs/ptc/04-10-14.pdf

  10. Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification (January 2006), http://www.omg.org/docs/formal/06-01-01.pdf

  11. Pachl, J.: Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (2002)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Warmer, J., Kleppe, A.: Object Constraint Language 2.0. MITP-Verlag, Bonn (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen, P.O. Box 330 440, 28334 Bremen, Germany

    Kirsten Berkenkötter

Authors
  1. Kirsten Berkenkötter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Kühne

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation