by Michael A. Tröls, Atif Mashkoor, Alexander Egyed
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.
Reference:
Live and global consistency checking in a collaborative engineering environment (Michael A. Tröls, Atif Mashkoor, Alexander Egyed), In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Cyprus, 2019.
Bibtex Entry:
@Conference{DBLP:conf/sac/TrolsME19,
author = {Michael A. Tröls and Atif Mashkoor and Alexander Egyed},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing (SAC), Limassol, Cyprus},
title = {Live and global consistency checking in a collaborative engineering environment},
year = {2019},
pages = {1776--1785},
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.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/sac/TrolsME19},
crossref = {DBLP:conf/sac/2019},
doi = {10.1145/3297280.3297454},
file = {:Conferences/SAC 2019 - Live and Global Consistency Checking in a Collaborative Environment/Live and Global Consistency Checking in a Collaborative Environment-preprint.pdf:PDF},
keywords = {FWF P25513, FWF P31989, LIT Secure and Correct Systems Lab, SCCH},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
url = {https://doi.org/10.1145/3297280.3297454},
}