research-article

Supporting automatic model inconsistency fixing

Authors:

Masato Takeichi,

Hong MeiAuthors Info & Claims

ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Pages 315 - 324

https://doi.org/10.1145/1595696.1595757

Published: 24 August 2009 Publication History

Abstract

Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures". When users update some parts of the model and cause inconsistency, a fixing procedure dynamically propagates the update to other parts to fix the inconsistency. Existing fixing procedures are manually implemented, which requires a lot of efforts and the correctness of a fixing procedure is not guaranteed.

In this paper we propose a new language, Beanbag, to support the development of fixing procedures. A Beanbag program defines and checks a consistency relation similarly to OCL, but the program can also be executed in a fixing mode, taking user updates on the model and producing new updates to make the model satisfy the consistency relation. In this way Beanbag significantly eases the development of fixing procedures. In addition, a Beanbag program is also guaranteed to be correct with respect to the three correctness properties we define. We evaluate Beanbag over a set of MOF and UML consistency relations and the result shows that Beanbag is useful in practice.

References

[1]

M. Antkiewicz and K. Czarnecki. Design space of heterogeneous synchronization. In Proc. 2nd GTTSE, pages 3--46, 2007.

[2]

R. Balzer. Tolerating inconsistency. In Proc. 13th ICSE, pages 158--165, 1991.

Digital Library

[3]

A. Egyed. Fixing inconsistencies in UML design models. In Proc. 29th ICSE, pages 292--301, 2007.

Digital Library

[4]

A. Egyed, E. Letier, and A. Finkelstein. Generating and evaluating choices for fixing inconsistencies in UML design models. In Proc. 23rd ASE, pages 99--108, 2008.

Digital Library

[5]

B. Elkarablieh, I. Garcia, Y. L. Suen, and S. Khurshid. Assertion-based repair of complex data structures. In Proc. 22nd ASE, pages 64--73, 2007.

Digital Library

[6]

A. C. W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng., 20(8):569--578, 1994.

Digital Library

[7]

J. N. Foster, M. B. Greenwald, C. Kirkegaard, B. C. Pierce, and A. Schmitt. Schema-directed data synchronization. Technical Report MS-CIS-05-02, University of Pennsylvania, 2005. Supersedes MS-CIS-03-42.

[8]

J. Grundy, J. Hosking, and W. B. Mugridge. Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng., 24(11):960--981, 1998.

Digital Library

[9]

T. Hettel, M. Lawley, and K. Raymond. Model synchronisation: Definitions for round-trip engineering. In Proc. 1st International Conference on Model Transformation, pages 31--45, 2008.

Digital Library

[10]

N. Liu, J. Hosking, and J. Grundy. Maramatatau: Extending a domain specific visual language meta tool with a declarative constraint mechanism. In Proc. VL/HCC, 2007.

Digital Library

[11]

C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In Proc. 25th ICSE, pages 455--464, 2003.

Digital Library

[12]

Object Management Group. Object constraint language specification 2.0. http://www.omg.org/spec/OCL/2.0, 2006.

[13]

Object Management Group. XML metadata interchange specification. http://www.omg.org/docs/formal/07-12-01.pdf, 2007.

[14]

Object Management Group. MOF query / views / transformations specification 1.0. http://www.omg.org/docs/formal/08-04-03.pdf, 2008.

[15]

OMG. MetaObject Facility specification. http://www.omg.org/docs/formal/02-04-03.pdf, 2002.

[16]

D. Ruiz-Gonzalez, N. Koch, C. Kroiss, J.-R. Romero, and A. Vallecillo. Viewpoint synchronization of UWE models. In Proc. 5th International Workshop on Model-Driven Web Engineering, pages 46--60, 2009.

[17]

A. Schürr and F. Klar. 15 years of triple graph grammars. In Proc. 4th ICGT, pages 411--425, 2008.

Digital Library

[18]

H. Song, Y. Sun, L. Zhou, and G. Huang. Towards instant automatic model refinement based on OCL. In Proc. 14th APSEC, pages 167--174, 2007.

Digital Library

[19]

P. Stevens. Bidirectional model transformations in QVT: Semantic issues and open questions. In Proc. 10th MoDELS, pages 1--15, 2007.

Digital Library

[20]

R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML models. In Proc. 6th UML, pages 326--340, 2003.

[21]

E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.

[22]

Y. Xiong. The Beanbag website. http://www.ipl.t.u-tokyo.ac.jp/~xiong/beanbag.html.

[23]

Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei. Towards automatic model synchronization from model transformations. In Proc. 22nd ASE, pages 164--173, 2007.

Digital Library

Cited By

Bilal AMayr-Dorn CEgyed A(2024)Supporting Engineering Process Compliance via Generation of Detailed Guidance ActionsProceedings of the 2024 International Conference on Software and Systems Processes10.1145/3666015.3666019(87-97)Online publication date: 4-Sep-2024
https://dl.acm.org/doi/10.1145/3666015.3666019
Bilal AMayr‐Dorn CEgyed A(2024)Ranking guidance actions to support engineers in fulfilling process constraintsJournal of Software: Evolution and Process10.1002/smr.2729Online publication date: 21-Sep-2024
https://doi.org/10.1002/smr.2729
Lin XHua BFan Q(2022)On the Security of Python Virtual Machines: An Empirical Study2022 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME55016.2022.00028(223-234)Online publication date: Oct-2022
https://doi.org/10.1109/ICSME55016.2022.00028
Show More Cited By

Index Terms

Supporting automatic model inconsistency fixing
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. Context specific languages
      1. Specialized application languages

Recommendations

A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I

In feature models' construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. Several approaches have been proposed to detect inconsistencies, but few ...
Incremental inconsistency detection with low memory overhead

Ensuring models' consistency is a key concern when using a model-based development approach. Therefore, model inconsistency detection has received significant attention over the last years. To be useful, inconsistency detection has to be sound, ...
Formal Foundations of Consistency in Model-Driven Development
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Abstract
Models are abstractions used to precisely represent specific aspects of a system in order to make work easier for engineers. This separation of concerns naturally leads to a proliferation of models, and thus to the challenge of ensuring that all ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

August 2009

408 pages

ISBN:9781605580012

DOI:10.1145/1595696

General Chair:
Hans van Vliet
VU University Amsterdam, The Netherlands
,
Program Chair:
Valerie Issarny
INRIA-Paris-Rocquencourt, France

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESEC/FSE09

Sponsor:

ESEC/FSE09: Joint 12th European Software Engineering Conference

August 24 - 28, 2009

Amsterdam, The Netherlands

Acceptance Rates

ESEC/FSE '09 Paper Acceptance Rate 32 of 217 submissions, 15%;

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
484
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)4

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bilal AMayr-Dorn CEgyed A(2024)Supporting Engineering Process Compliance via Generation of Detailed Guidance ActionsProceedings of the 2024 International Conference on Software and Systems Processes10.1145/3666015.3666019(87-97)Online publication date: 4-Sep-2024
https://dl.acm.org/doi/10.1145/3666015.3666019
Bilal AMayr‐Dorn CEgyed A(2024)Ranking guidance actions to support engineers in fulfilling process constraintsJournal of Software: Evolution and Process10.1002/smr.2729Online publication date: 21-Sep-2024
https://doi.org/10.1002/smr.2729
Lin XHua BFan Q(2022)On the Security of Python Virtual Machines: An Empirical Study2022 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME55016.2022.00028(223-234)Online publication date: Oct-2022
https://doi.org/10.1109/ICSME55016.2022.00028
He XHu ZMeng N(2022)A theoretic framework of bidirectional transformation between systems and modelsScience China Information Sciences10.1007/s11432-020-3276-565:10Online publication date: 27-Sep-2022
https://doi.org/10.1007/s11432-020-3276-5
Marchezan LKretschmer RAssunção WReder AEgyed A(2022)Generating repairs for inconsistent modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-00996-022:1(297-329)Online publication date: 4-Apr-2022
https://dl.acm.org/doi/10.1007/s10270-022-00996-0
Ohrndorf MPietsch CKelter UGrunske LKehrer T(2021)History-based Model Repair RecommendationsACM Transactions on Software Engineering and Methodology10.1145/341901730:2(1-46)Online publication date: 3-Jan-2021
https://dl.acm.org/doi/10.1145/3419017
Kretschmer RKhelladi DLopez-Herrejon REgyed A(2021)Consistent change propagation within modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00823-420:2(539-555)Online publication date: 1-Apr-2021
https://dl.acm.org/doi/10.1007/s10270-020-00823-4
Weidmann NAnjorin A(2021)Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear ProgrammingFormal Aspects of Computing10.1007/s00165-021-00557-033:6(1115-1145)Online publication date: 24-Aug-2021
https://dl.acm.org/doi/10.1007/s00165-021-00557-0
Stevens P(2020)Maintaining consistency in networks of models: bidirectional transformations in the largeSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00736-x19:1(39-65)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.1007/s10270-019-00736-x
Orejas FPino ENavarro M(2020)Incremental Concurrent Model Synchronization using Triple Graph GrammarsFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_14(273-293)Online publication date: 25-Apr-2020
https://dl.acm.org/doi/10.1007/978-3-030-45234-6_14
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents