More Web Proxy on the site http://driver.im/

research-article

Live and global consistency checking in a collaborative engineering environment

Authors:

Michael Alexander Tröls,

Alexander EgyedAuthors Info & Claims

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Pages 1776 - 1785

https://doi.org/10.1145/3297280.3297454

Published: 08 April 2019 Publication History

Abstract

During software and systems engineering, engineers have to rely on different engineering tools in order to capture different kinds of artifacts, such as requirement specifications, design models or code. Even though the artifacts that engineers capture with these tools are interdependent, the tools have limited abilities to detect inconsistencies among them. Today no approach exists that is able to provide live inconsistency feedback of engineering artifacts --- captured and maintained in different engineering tools --- without disrupting the engineers' workflow. The work presented in this paper introduces a novel approach for live, multi-tool, consistency checking where engineers continue to use their respective tools and receive inconsistency feedback across their tools' artifacts in a live manner. The approach uses a cloud-based engineering platform to replicate the tool's artifacts and to detect inconsistencies there. Within the cloud, engineers may link these artifacts and define cross-tool consistency rules. The approach was validated through an empirical study and two industrial case studies to demonstrate usefulness, correctness and scalability.

References

[1]

J. Aldrich, C. Chambers, and D. Notkin. 2002. Architectural reasoning Archjava. ECOOP (2002), 334--367.

Digital Library

[2]

D. Cassou, E. Balland, C. Consel, and J. Lawall. 2011. Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. In Proceedings of the 33rd International Conference on Software Engineering (ICSE '11). ACM, New York, NY, USA, 431--440.

Digital Library

[3]

A. Demuth, R. Kretschmer, A. Egyed, and D. Maes. 2016. Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report. 32nd International Conference on Software Maintenance and Evolution (2016), 529--538.

[4]

A. Demuth, M. Riedl-Ehrenleitner, and A. Egyed. 2016. Efficient detection of inconsistencies in a multi-developer engineering environment. In 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE). 590--601.

Digital Library

[5]

A. Demuth, M. Riedl-Ehrenleitner, A. Noehrer, P. Hehenberger, K. Zeman, and A. Egyed. 2015. DesignSpace - An Infrastructure for Multi-User/Multi-Tool Engineering. (2015), 1486--1491.

Digital Library

[6]

A. Egyed. 2011. Automatically Detecting and Tracking Inconsistencies in Software Design Models. IEEE Transactions on Software Engineering 37, 2 (2011), 188--204.

Digital Library

[7]

A. Egyed, K. Zeman, P. Hehenberger, and A. Demuth. 2018. Maintaining Consistency across Engineering Artifacts. IEEE Computer (2018), 28 -- 35.

[8]

M. Fagan. 1976. Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal (1976), 182 -- 211.

Digital Library

[9]

A. Finkelstein. 2000. A Foolish Consistency: Technical Challenges in Consistency Management. In Database and Expert Systems Applications, Mohamed Ibrahim, Josef Küng, and Norman Revell (Eds.). Springer Berlin Heidelberg, 1--5.

Digital Library

[10]

A. C. W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. 1994. Inconsistency Handling in Multiperspective Specifications. IEEE Trans. Softw. Eng. 20, 8 (Aug. 1994), 569--578.

Digital Library

[11]

P. Fradet, D. Le Métayer, and M. Périn. 1999. Consistency Checking for Multiple View Software Architectures. SIGSOFT Softw. Eng. Notes 24, 6 (1999), 410--428.

Digital Library

[12]

M. Gardner. 1970. The fantastic combinations of John Conway's new solitaire game "life". Scientific American 223 (1970), 120--123.

[13]

A. Ghabi and A. Egyed. 2012. Exploiting Traceability Uncertainty between Architectural Models and Code. In 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture. 171--180.

Digital Library

[14]

H. Koenig and Z. Diskin. 2016. Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. ECMFA (2016), 19--35.

Digital Library

[15]

Sabetzadeh M., Nejati S., and Easterbrook S. 2008. Global consistency checking of distributed models with TReMer+. ICSE08 (2008), 815--818.

Digital Library

[16]

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelsteiin. 2002. Xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Trans. Internet Technol. 2, 2 (May 2002), 151--185.

Digital Library

[17]

J. Nielsen. 1993. Usability Engineering. (1993).

Digital Library

[18]

S. Reiss. 2006. Incremental Maintenance of Software Artifacts. IEEE Transactions on Software Engineering 32 (10 2006), 682--697.

Digital Library

[19]

M. Riedl-Ehrenleitner. 2013. Model-and-Code Consistency Checking. Master's thesis. Johannes Kepler University.

[20]

N. Ubayashi, J. Nomura, and T. Tamai. 2010. Archface: A contract place where architectural design and code meet together. 2010 ACM/IEEE 32nd International Conference on Software Engineering 1 (01 2010), 75--84.

Digital Library

Cited By

Sharbaf MZamani BSunyé G(2022)Conflict management techniques for model merging: a systematic mapping reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01050-922:3(1031-1079)Online publication date: 16-Oct-2022
https://dl.acm.org/doi/10.1007/s10270-022-01050-9
Tröls MMarchezan LMashkoor AEgyed A(2022)Instant and global consistency checking during collaborative engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-00984-421:6(2489-2515)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10270-022-00984-4
Tröls MMashkoor AEgyed AHung CHong JBechini ASong E(2021)Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environmentProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442127(1572-1575)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442127
Show More Cited By

Index Terms

Live and global consistency checking in a collaborative engineering environment

Index terms have been assigned to the content through auto-classification.

Recommendations

Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment
SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing

Engineering artifacts share interdependent properties, which must be kept consistent during the engineering process. Existing works propose the unification of heterogeneous artifacts in a single collaborative engineering environment where artifacts are ...
Collaboratively enhanced consistency checking in a cloud-based engineering environment
EICS '19: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Software systems engineering involves many engineers, often from different engineering disciplines. Efficient collaboration among these engineers is a vital necessity. Tool support for such collaboration is often lacking, especially with regards to ...
Multifaceted consistency checking of collaborative engineering artifacts
MODELS '19 Companion: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion

In modern day engineering projects, different engineers collaborate on creating a vast multitude of different artifacts such as requirements, design specifications and code. While these artifacts are strongly interdependent, they are often treated in ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

April 2019

2682 pages

ISBN:9781450359337

DOI:10.1145/3297280

Conference Chairs:
Chih-Cheng Hung
Kennesaw State University, Marietta, Georgia
,
George A. Papadopoulos
University of Cyprus, Nicosia, Cyprus

Copyright © 2019 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

SAC '19

Sponsor:

SIGAPP

SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing

April 8 - 12, 2019

Limassol, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
137
Total Downloads

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

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sharbaf MZamani BSunyé G(2022)Conflict management techniques for model merging: a systematic mapping reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01050-922:3(1031-1079)Online publication date: 16-Oct-2022
https://dl.acm.org/doi/10.1007/s10270-022-01050-9
Tröls MMarchezan LMashkoor AEgyed A(2022)Instant and global consistency checking during collaborative engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-00984-421:6(2489-2515)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10270-022-00984-4
Tröls MMashkoor AEgyed AHung CHong JBechini ASong E(2021)Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environmentProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442127(1572-1575)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442127
Trols MMashkoor AEgyed A(2021)Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment2021 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.00018(83-93)Online publication date: May-2021
https://doi.org/10.1109/ICSSP-ICGSE52873.2021.00018
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
Cerny TWalker ASvacina JBushong VDas DFrajtak KBures MTisnovsky P(2020)Mapping Study on Constraint Consistency Checking in Distributed Enterprise SystemsProceedings of the International Conference on Research in Adaptive and Convergent Systems10.1145/3400286.3418257(167-174)Online publication date: 13-Oct-2020
https://dl.acm.org/doi/10.1145/3400286.3418257
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
Winkler DKathrein LMeixner KStaufer PPauditz MBiffl S(2019)Towards a Hybrid Process Model Approach in Production Systems EngineeringSystems, Software and Services Process Improvement10.1007/978-3-030-28005-5_26(339-354)Online publication date: 22-Aug-2019
https://doi.org/10.1007/978-3-030-28005-5_26

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