Abstract:To cope with the increasing complexity of developing and maintaining modern (software) systems, multiple abstractions (models) of the same system can be established and used to allow different domain experts to collaborate and contribute their respective expertise. This divide-and-conquer, model-based approach requires, however, support for a concurrent engineering process, i.e., providing a means of checking, restoring, and ensuring the consistency of all involved and concurrently maintained models. The task of providing such support is often referred to as consistency management. Although there exist various approaches to consistency management and numerous (industrial) case studies described in the literature on bidirectional transformations (bx), there is currently no uniform description of diverse but related industrial applications of model synchronisation and other forms of consistency management. This makes it challenging to detect similarities and differences related to requirements, constraints, applied techniques and tools. It is thus difficult to compare and transfer knowledge gained from (successful) projects to other bx approaches or even other bx tools for the same general approach. In this paper, therefore, we propose a description language for envisioned scenarios in the problem domain of consistency management, as well as a complementary description language for solution strategies in terms of method fragments and method patterns in the solution domain of Model-Driven Engineering (MDE). Our work is inspired by previous research in the bx and MDE communities, and is also based on our collective experience from over ten years of investigating a series of application scenarios in the industry automation section together with Siemens AG as an industrial partner. [Abridged due to arXiv]

Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts

Instant and global consistency checking during collaborative engineering

A Consistency Checking Approach for System Architecture

Towards behavioral consistency in heterogeneous modeling scenarios

A system architecture ensuring consistency among distributed, heterogeneous information models for civil infrastructure projects

An Algebraic Approach For Managing Inconsistencies In Software Processes

Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.

MATHEMATICAL ENGINEERING TECHNICAL REPORTS On-Site Synchronization of Software Artifacts

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

Supporting heterogeneous distributed substantiation of common generic structures in collaborative design

Challenges in aligning requirements engineering and verification in a large-scale industrial context

Research on Data Synchronization Consistency Comparison System Based on Computer Heterogeneous Database

Maintaining Time and Space Consistencies in Hybrid CAD Environments: Framework and Algorithms

Concurrency Control and Consistency Maintenance: A Case Study in Collaborative Engineering Graphics Design System

A Tool-Supported Review Approach To Detecting Structural Consistency Violations

Object-Centric Conformance Alignments with Synchronization (Extended Version)

The Verification Technique of Complex Tasks' Nonfunctional Specifications in Software Crowdsourcing

Identifying Coordination Problems in Software Development: Finding Mismatches between Software and Project Team Structures

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.