Skip to main content
Springer Nature Link
Log in

OCL Support in an Industrial Environment

  • Conference paper
Models in Software Engineering (MODELS 2006)

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

Abstract

In this paper, we report on our experiences integrating OCL evaluation support in an industrial-strength (meta-)modeling infrastructure. We focus on the approach taken to improve efficiency through what we call impact analysis of model changes to decrease the number of necessary (re-)evaluations. We show how requirements derived from application scenarios have led to design decisions that depart from or resp. extend solutions found in (academic) literature.

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. Object Management Group: MDA Guide (June 2003)

    Google Scholar 

  2. Object Management Group: Meta Object Facility (MOF) Specification (April 2002), http://www.omg.org/docs/formal/02-04-03.pdf

  3. Object Management Group: OCL 2.0 Specification (ptc/2005-06-06) (June 2005)

    Google Scholar 

  4. Object Management Group: UML 2.0 Superstructure Specification (pct/03-08-02) (August 2003)

    Google Scholar 

  5. Cabot, J., Teniente, E.: Determining the Structural Events that May Violate an Integrity Constraint. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) Proc. 7th Int. Conf. on the Unified Modeling Language (UML’04). LNCS, vol. 3273, pp. 173–187. Springer, Heidelberg (2004)

    Google Scholar 

  6. Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL constraint. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 48–62. Springer, Heidelberg (2005)

    Google Scholar 

  7. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Giese, M., Hähnle, R., Larsson, D.: Rule-based simplification of OCL constraints. In: Workshop on OCL and Model Driven Engineering at UML2004, pp. 84–89 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SAP Research, CEC Karlsruhe, 76131 Karlsruhe, Germany

    Michael Altenhofen

  2. SAP Research, CEC Brisbane, Brisbane, Australia

    Thomas Hettel

  3. SAP AG, 69190 Walldorf, Germany

    Stefan Kusterer

Authors
  1. Michael Altenhofen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Hettel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Kusterer
    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

Altenhofen, M., Hettel, T., Kusterer, S. (2007). OCL Support in an Industrial Environment. 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_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69489-2_21

  • 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