Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2007: Model Driven Engineering Languages and Systems pp 136–150Cite as

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs

  • Conference paper

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

Abstract

Consistency management is a major requirement in software engineering. Although this problem has attracted significant attention in the literature, support for inconsistency resolution is still not standard for modeling tools. In this paper, we introduce explicit side-effect expressions for each inconsistency resolution and costs for each inconsistency type. This allows a fine-grained evaluation of each possible inconsistency resolution for a particular inconsistent model. We further show how an inconsistency resolution module for a modeling tool can be designed and implemented based on our approach. We demonstrate the applicability of our approach for resolution of inconsistencies between object life cycles and process models.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IBM Insurance Application Architecture, http://www.ibm.com/industries/financialservices/doc/content/solution/278918103.html

  2. IBM WebSphere Business Modeler. http://www-306.ibm.com/software/integra-tion/wbimodeler/

  3. UML2.0 Superstructure, formal/05-07-04. OMG Document (2005)

    Google Scholar 

  4. Ebert, J., Engels, G.: Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, University of Koblenz-Landau (1997)

    Google Scholar 

  5. Engels, G., Küster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: ESEC 2001. Proceedings of the 8th European Software Engineering Conference, pp. 186–195. ACM Press, New York (2001)

    Google Scholar 

  6. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering 20(8), 569–578 (1994)

    Article  Google Scholar 

  7. Ghezzi, C., Nuseibeh, B.A.: Special Issue on Managing Inconsistency in Software Development (1). IEEE Transactions on Software Engineering 24(11) (November 1998)

    Google Scholar 

  8. Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543–557. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Kappel, G., Schrefl, M.: Object/Behavior Diagrams. In: Proceedings of the 7th International Conference on Data Engineering, Washington, DC, USA, pp. 530–539. IEEE Computer Society, Los Alamitos (1991)

    Google Scholar 

  10. Kleppe, A., Warmer, J.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)

    Google Scholar 

  11. Küster, J.M.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (March 2004)

    Google Scholar 

  12. Mens, T., Van Der Staeten, R., Warny, J.-F.: Graph-Based Tool Support to Improve Model Quality. In: Proceedings of the 1st Workshop on Quality in Modeling co-located with MoDELS 2006, Technical report 0627, Technische Universiteit Eindhoven, pages 47–62 (2006)

    Google Scholar 

  13. Mens, T., Van Der Straeten, R., D’Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200–214. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, USA, May 3-10, 2003, pp. 455–464. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  15. Nickel, U.A., Niere, J., Zündorf, A.: Tool Demonstration: The FUJABA Environment. In: ICSE. Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, pp. 742–745. ACM Press, New York (2000)

    Chapter  Google Scholar 

  16. Nuseibeh, B., Easterbrook, S., Russo, A.: Making Inconsistency Respectable in Software Development. Journal of Systems and Software 58(2), 171–180 (2001)

    Article  Google Scholar 

  17. Ryndina, K., Küster, J.M., Gall, H.: Consistency of Business Process Models and Object Life Cycles. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 80–90. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Lohmann, S., Westfechtel, B., Becker, S., Herold, S.: A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools. Journal of Software and Systems Modeling (to appear, 2007)

    Google Scholar 

  19. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    Google Scholar 

  20. Spanoudakis, G., Zisman, A.: Handbook of Software Engineering and Knowledge Engineering, chapter Inconsistency Management in Software Engineering: Survey and Open Research Issues, pp. 329–380. World Scientific Publishing Co. (2001)

    Google Scholar 

  21. Van Der Straeten, R.: Inconsistency Management in Model-Driven Engineering. PhD thesis, Vrije Universiteit Brussel (September 2005)

    Google Scholar 

  22. Van Der Straeten, R., D’Hondt, M.: Model Refactorings through Rule-Based Inconsistency Resolution. In: SAC. Proceedings of the 2006 ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, pp. 1210–1217. ACM, New York (2006)

    Google Scholar 

  23. Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)

    Google Scholar 

  24. Wagner, R., Giese, H., Nickel, U.: A Plug-In for Flexible and Incremental Consistency Management. In: Proceedings Workshop on Consistency Problems in UML-based Software Development, San Francisco, USA, Technical Report. Blekinge Institute of Technology, San Francisco (October 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Zurich Research Laboratory, Säumerstr. 4, 8803 Rüschlikon, Switzerland

    Jochen M. Küster & Ksenia Ryndina

Authors
  1. Jochen M. Küster
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ksenia Ryndina
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Küster, J.M., Ryndina, K. (2007). Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75209-7_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75208-0

  • Online ISBN: 978-3-540-75209-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation