skip to main content
10.1145/1866272.1866279acmotherconferencesArticle/Chapter ViewAbstractPublication PagesmdiConference Proceedingsconference-collections
research-article

Specifying overlaps of heterogeneous models for global consistency checking

Published: 03 October 2010 Publication History

Abstract

Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a mutlimodel, and its elements partial or local models. Since partial models overlap, they may be consistent or inconsistent wrt. a set of global constraints.
We present a framework for specifying overlaps between partial models and defining their global consistency. An advantage of the framework is that heterogeneous consistency checking is reduced to the homogeneous case yet merging partial metamodels into one global metamodel is not needed. We illustrate the framework with examples and sketch a formal semantics for it based on category theory.

References

[1]
}}M. Alanen and I. Porres. Difference and union of models. In UML, pages 2--17, 2003.
[2]
}}G. Antoniol, G. Canfora, G. Casazza, A. De Lucia, and E. Merlo. Recovering traceability links between code and documentation. IEEE Transactions on Software Engineering, 28(10):970--983, 2002.
[3]
}}M. Barr and C. Wells. Category theory for computing science. Prentice Hall, 1995.
[4]
}}P. Bernstein and R. Pottinger. Merging models based on given correspondences. In VLDB, 2003.
[5]
}}B. Cadish and Z. Diskin. Heterogenious view integration via sketches and equations. In ISMIS, pages 603--612, 1996.
[6]
}}Z. Diskin. Model synchronization, mappings, tile algebra, and categories. In GTTSE'09. Springer. To appear.
[7]
}}S. M. Easterbrook and M. Chechik. A framework for multi-valued reasoning over inconsistent viewpoints. In ICSE, pages 411--420, 2001.
[8]
}}A. Egyed. Heterogeneous view integration and its automation. PhD thesis, University of Southern California, 2000.
[9]
}}A. Egyed. Instant consistency checking for the UML. In ICSE, pages 381--390, 2006.
[10]
}}A. Egyed. Fixing inconsistencies in UML design models. In ICSE, pages 292--301, 2007.
[11]
}}H. Ehrig, K. Ehrig, U. Prange, and G. Taenzer. Fundamentals of Algebraic Graph Transformation. 2006.
[12]
}}H. Ehrig, R. Heckel, G. Taentzer, and G. Engels. A combined reference model - and view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering, 7:457--477, 1997.
[13]
}}J. L. Fiadeiro and T. S. E. Maibaum. Interconnecting formalisms: Supporting modularity, reuse and incrementality. In SIGSOFT FSE, pages 72--80, 1995.
[14]
}}J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of ACM, 39(1):95--146, 1992.
[15]
}}B. Jacobs. Categorical logic and type theory. Elsevier Science Publishers, 1999.
[16]
}}S. Jurack and G. Taentzer. Towards composite model transformations using distributed graph transformation concepts. In MoDELS, pages 226--240, 2009.
[17]
}}H. Liang, Z. Diskin, J. Dingel, and E. Posse. A general approach for scenario integration. In MoDELS, pages 204--218, 2008.
[18]
}}H. Liefke and S. Davidson. View maintenance for hierarchical semistructured data. In DaWaK, pages 114--125, 2000.
[19]
}}C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In ICSE, pages 455--464, 2003.
[20]
}}B. Nuseibeh, J. Kramer, and A. Finkelstein. Viewpoints: meaningful relationships are difficult! In ICSE, pages 676--683, 2003.
[21]
}}M. Sabetzadeh and S. M. Easterbrook. View merging in the presence of incompleteness and inconsistency. Requir. Eng., 11(3):174--193, 2006.
[22]
}}M. Sabetzadeh, S. Nejati, S. Liaskos, S. M. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In RE, pages 221--230. IEEE, 2007.
[23]
}}S. Spaccapietra and C. Parent. View integration: A step forward in solving structural conflicts. IEEE Trans. Knowl. Data Eng., 6(2):258--274, 1994.
[24]
}}R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML Models. In UML, pages 326--340, 2003.
[25]
}}J. Warmer and A. Kleppe. The Object Constraint Language. Precise modeling with UML. Addison-Wesley, 2000.

Cited By

View all
  • (2023)Fulfilling Industrial Needs for Consistency among Engineering ArtifactsProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00028(246-257)Online publication date: 17-May-2023
  • (2022)Multidisciplinary variability management for cyber-physical production systemsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547063(23-28)Online publication date: 12-Sep-2022
  • (2021)Leveraging SPARQL Queries for UML Consistency CheckingInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402150017031:04(635-654)Online publication date: 18-May-2021
  • Show More Cited By

Index Terms

  1. Specifying overlaps of heterogeneous models for global consistency checking

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    MDI '10: Proceedings of the First International Workshop on Model-Driven Interoperability
    October 2010
    111 pages
    ISBN:9781450302920
    DOI:10.1145/1866272
    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]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 03 October 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Research-article

    Conference

    MDI '10

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

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

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)Fulfilling Industrial Needs for Consistency among Engineering ArtifactsProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00028(246-257)Online publication date: 17-May-2023
    • (2022)Multidisciplinary variability management for cyber-physical production systemsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547063(23-28)Online publication date: 12-Sep-2022
    • (2021)Leveraging SPARQL Queries for UML Consistency CheckingInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402150017031:04(635-654)Online publication date: 18-May-2021
    • (2020)Fixing state change inconsistency with self regulating particle swarm optimizationSoft Computing10.1007/s00500-020-05124-yOnline publication date: 3-Jul-2020
    • (2019)Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2019.00-18(23-33)Online publication date: Sep-2019
    • (2019)How to Live with Inconsistencies in Industrial Model-Based Development Practice2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C.2019.00098(642-647)Online publication date: Sep-2019
    • (2019) Design and validation of Cyber-Physical Systems through model abstraction * 2019 International Symposium on Systems Engineering (ISSE)10.1109/ISSE46696.2019.8984475(1-8)Online publication date: Oct-2019
    • (2019)Heterogeneous megamodel management using collection operatorsSoftware & Systems Modeling10.1007/s10270-019-00738-9Online publication date: 22-Jun-2019
    • (2018)Multimodel correspondence through inter-model constraintsCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3191715(9-17)Online publication date: 9-Apr-2018
    • (2018)Variants and Versions Management for Models with Integrated Consistency PreservationProceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3168365.3168377(3-10)Online publication date: 7-Feb-2018
    • 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