research-article

Global consistency checking of distributed models with TReMer+

Authors:

Mehrdad Sabetzadeh,

Shiva Nejati,

Steve Easterbrook,

Marsha ChećhikAuthors Info & Claims

ICSE '08: Proceedings of the 30th international conference on Software engineering

Pages 815 - 818

https://doi.org/10.1145/1368088.1368208

Published: 10 May 2008 Publication History

Get Access

Abstract

We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.

References

[1]

D. Beyer. Relational programming with CrocoPat. In ICSE, pages 807--810, 2006. Tool Paper.

Digital Library

Google Scholar

[2]

G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. A manifesto for model merging. In ICSE Wrkshp on Global Integrated Model Mgmt., 2006.

Digital Library

Google Scholar

[3]

A. Egyed. Instant consistency checking for the UML. In ICSE, pages 381--390, 2006.

Digital Library

Google Scholar

[4]

EPS Graphics2D. http://www.jibble.org/epsgraphics/.

Google Scholar

[5]

Java Graph Visualization and Layout. http://www.jgraph.com/.

Google Scholar

[6]

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. Matching and merging of Statecharts specifications. In ICSE, pages 54--64, 2007.

Digital Library

Google Scholar

[7]

C. Nentwich, W. Emmerich, A. Finkelstein, and E. Ellmer. Flexible consistency checking. ACM TOSEM, 12(1):28--63, 2003.

Digital Library

Google Scholar

[8]

B. Nuseibeh, S. Easterbrook, and A. Russo. Making inconsistency respectable in software development. J. of Sys. and Soft., 56(11), 2001.

Google Scholar

[9]

M. Sabetzadeh and S. Easterbrook. View merging in the presence of incompleteness and inconsistency. RE J., 11(3):174--193, 2006.

Digital Library

Google Scholar

[10]

M. Sabetzadeh and S. Nejati. TReMer: A tool for relationship-driven model merging. In Posters and Research Tools Track of Formal Methods, 2006. No published proceedings.

Google Scholar

[11]

M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In RE, pages 221--230, 2007.

Google Scholar

[12]

R. Salay et. al. An Eclipse-based tool framework for software model management. In OOPSLA Wrkshp on Eclipse Technology eXchange, 2007.

Digital Library

Google Scholar

[13]

S. Uchitel and M. Chechik. Merging partial behavioural models. In FSE, pages 43--52, 2004.

Digital Library

Google Scholar

[14]

A. van Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE TSE, 24(11):908--926, 1998.

Digital Library

Google Scholar

Cited By

View all

Sharbaf MZamani BSunyé G(2022)Conflict management techniques for model merging: a systematic mapping reviewSoftware and Systems Modeling10.1007/s10270-022-01050-922:3(1031-1079)Online publication date: 16-Oct-2022
https://doi.org/10.1007/s10270-022-01050-9
Tröls MMarchezan LMashkoor AEgyed A(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
https://doi.org/10.1007/s10270-022-00984-4
Trols MMashkoor AEgyed A(2021)Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE)10.1109/ICSSP-ICGSE52873.2021.00017(72-82)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00017
Show More Cited By

Index Terms

Global consistency checking of distributed models with TReMer+
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

A Survey of Consistency Checking Techniques for UML Models
ASEA '08: Proceedings of the 2008 Advanced Software Engineering and Its Applications

UML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between ...
Merging and consistency checking of distributed models
Instant and global consistency checking during collaborative engineering
Abstract
Engineering projects involve a variety of artifacts such as requirements, design, or source code. These artifacts, many of which tend to be interdependent, are often manipulated concurrently. To keep artifacts consistent, engineers must ...

Comments

Information & Contributors

Information

Published In

ICSE '08: Proceedings of the 30th international conference on Software engineering

May 2008

558 pages

ISBN:9781605580791

DOI:10.1145/1368088

General Chair:
Wilhelm Schäfer
University of Paderborn
,
Program Chairs:
Matthew B. Dwyer
University of Nebraska
,
Volker Gruhn
University of Leipzig

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: 10 May 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '08

Sponsor:

ICSE '08: International Conference on Software Engineering

May 10 - 18, 2008

Leipzig, Germany

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

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
363
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sharbaf MZamani BSunyé G(2022)Conflict management techniques for model merging: a systematic mapping reviewSoftware and Systems Modeling10.1007/s10270-022-01050-922:3(1031-1079)Online publication date: 16-Oct-2022
https://doi.org/10.1007/s10270-022-01050-9
Tröls MMarchezan LMashkoor AEgyed A(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
https://doi.org/10.1007/s10270-022-00984-4
Trols MMashkoor AEgyed A(2021)Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE)10.1109/ICSSP-ICGSE52873.2021.00017(72-82)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00017
Tröls MMashkoor AEgyed AJuristo N(2021)Team-oriented consistency checking of heterogeneous engineering artifactsProceedings of the 43rd International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion52605.2021.00116(250-251)Online publication date: 25-May-2021
https://dl.acm.org/doi/10.1109/ICSE-Companion52605.2021.00116
Wang CJin ZZhang WZowghi DZhao HJiao W(2021)Activity Diagram Synthesis Using Labelled Graphs and the Genetic AlgorithmJournal of Computer Science and Technology10.1007/s11390-020-0293-936:6(1388-1406)Online publication date: 30-Nov-2021
https://doi.org/10.1007/s11390-020-0293-9
Akiki PMaalouf H(2021)CHECKSUM: tracking changes and measuring contributions in cooperative systems modelingSoftware and Systems Modeling10.1007/s10270-020-00840-320:4(1079-1122)Online publication date: 5-Jan-2021
https://doi.org/10.1007/s10270-020-00840-3
Tröls MMashkoor ADemuth AEgyed A(2020)Ensuring safe and consistent coengineering of cyber‐physical production systems: A case studyJournal of Software: Evolution and Process10.1002/smr.2308Online publication date: 21-Aug-2020
https://doi.org/10.1002/smr.2308
Tröls MMashkoor AEgyed APanach IVanderdonckt JPastor Ó(2019)Collaboratively enhanced consistency checking in a cloud-based engineering environmentProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3319499.3328232(1-6)Online publication date: 18-Jun-2019
https://dl.acm.org/doi/10.1145/3319499.3328232
Tröls MMashkoor AEgyed AHung CPapadopoulos G(2019)Live and global consistency checking in a collaborative engineering environmentProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297454(1776-1785)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297454
Karna AChen YYu HZhong HZhao J(2018)The role of model checking in software engineeringFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-6192-012:4(642-668)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s11704-016-6192-0
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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A Survey of Consistency Checking Techniques for UML Models

Merging and consistency checking of distributed models

Instant and global consistency checking during collaborative engineering

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations