skip to main content
10.1145/1368088.1368158acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Detecting model inconsistency through operation-based model construction

Published: 10 May 2008 Publication History

Abstract

Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system specification. Detecting and resolving structural inconsistencies between these models is then critical. In this article we propose to represent models by sequences of elementary construction operations, rather than by the set of model elements they contain. Structural and methodological consistency rules can then be expressed uniformly as logical constraints on such sequences. Our approach is meta-model independent, allowing us to deal with consistency between different models whatever their kind. We have validated our approach by building a Prolog engine that detects violations of structural and methodological constraints specified on UML 2.1 models and requirement models. This engine has been integrated into two contemporary UML-based modelling environments, Eclipse EMF and Rational Software Architect (RSA).

References

[1]
Azureus Java Open Source Project, http://azureus.sourceforge.net/
[2]
Balzer, R. Tolerating inconsistency. In: Proc. Int'l Conf. Software Engineering (ICSE), ACM (1991) 158--165
[3]
Egyed, A. Instant Consistency Checking for the UML. Proc. Int'l Conf. Software Engineering (ICSE), pp. 381--390, ACM, 2006
[4]
Egyed. A. Fixing Inconsistencies in UML Design Models. Proc. Int'l Conf. Software Engineering (ICSE), pp. 292--301, ACM, 2007
[5]
Elaasar, M. Briand, L. An Overview of UML Consistency Management, Carleton Technical Report SCE-04-18, August 2004.
[6]
Finkelstein, A. Spanoudakis, G. Till, D. Managing Interference, Joint Proc. Sigsoft `96 Workshops - Specifications '96, ACM Press, pp. 172--174.
[7]
Finkelstein, A. et al. Inconsistency Handling in Multiperspective Specifications, IEEE Transactions on Software Engineering, Vol.20, N°8, August 1994, pp569--577
[8]
Lippe, E. Van Oosterom, N. Operation-Based Merging. Proc. ACM SIGSOFT Symp. Software Development Environments. 17(5). 1992, pp. 78--87
[9]
Mens, T. Van Der Straeten, R. D'Hondt, M. Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis, Proc. Models 2006, Volume 4199 of Lecture Notes in Computer Science., Springer-Verlag (2006), pp. 200--214.
[10]
Nentwich, C. Capra, L. Emmerich, W. Finkelstein, A. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2 (2). pp. 151--185. ISSN 15335399.
[11]
OMG, MDA Guide v1.0.1, 2003, omg/03-06-01
[12]
OMG, MOF 2.0, 2006, formal/06-01-01
[13]
OMG, UML 2.1 Superstructure, 2006, ptc/06-01-02
[14]
OMG, OCL Object Constraint Language v2.0, formal/06-05-01
[15]
Saito, Y. Shapiro, M. Optimistic Replication, ACM Computing Surveys, Vol. 37, No. 1, March 2005, pp. 42--81.
[16]
Selic, B. The Pragmatics of Model-Driven Development, IEEE Software, Volume 20, Issue 5 (September 2003), pp. 19--24.
[17]
Spanoudakis, G. Zisman, A. Inconsistency Management in Software Engineering: Survey and Open Research Issues, World Scientific Publishing, Handbook of SE & KE, Volume 1 (2001), pp. 329--380.
[18]
Van Der Straeten, R. Mens, T. Simmonds, J. Jonckers, V. Using description logics to maintain consistency between UML models. Proc. UML 2003. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) pp. 326--340.

Cited By

View all
  • (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
  • (2024)Tracing and Fixing Inconsistencies in Clone-and-Own Tabular Data ModelsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672595(191-202)Online publication date: 2-Sep-2024
  • (2024)MG+: Towards Efficient Context Inconsistency Detection by Minimized Link GenerationSoftware Testing, Verification and Reliability10.1002/stvr.189935:1Online publication date: 13-Oct-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '08: Proceedings of the 30th international conference on Software engineering
May 2008
558 pages
ISBN:9781605580791
DOI:10.1145/1368088
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: 10 May 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. consistency
  2. logic
  3. meta-model
  4. model

Qualifiers

  • Research-article

Conference

ICSE '08
Sponsor:

Acceptance Rates

ICSE '08 Paper Acceptance Rate 56 of 370 submissions, 15%;
Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (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
  • (2024)Tracing and Fixing Inconsistencies in Clone-and-Own Tabular Data ModelsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672595(191-202)Online publication date: 2-Sep-2024
  • (2024)MG+: Towards Efficient Context Inconsistency Detection by Minimized Link GenerationSoftware Testing, Verification and Reliability10.1002/stvr.189935:1Online publication date: 13-Oct-2024
  • (2023)An Action-based Model to Handle Cloning and Adaptation in Tabular Data ApplicationsProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608991(201-212)Online publication date: 28-Aug-2023
  • (2022)Analyzing model changes with LoupeProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561564(519-528)Online publication date: 23-Oct-2022
  • (2022)Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00013(13-24)Online publication date: Oct-2022
  • (2022)Feature-based insight for forks in social coding platformsInformation and Software Technology10.1016/j.infsof.2021.106679140:COnline publication date: 22-Apr-2022
  • (2022)Generating repairs for inconsistent modelsSoftware and Systems Modeling10.1007/s10270-022-00996-022:1(297-329)Online publication date: 4-Apr-2022
  • (2022)Instant and global consistency checking during collaborative engineeringSoftware and Systems Modeling10.1007/s10270-022-00984-421:6(2489-2515)Online publication date: 8-Apr-2022
  • (2022)Feature Location in Software Variants Toward Software Product Line EngineeringHandbook of Re-Engineering Software Intensive Systems into Software Product Lines10.1007/978-3-031-11686-5_1(3-30)Online publication date: 5-Jul-2022
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media