Multi-View Consistency Checking

Engineering is a collaborative effort involving many stakeholders. Yet its day-to-day operations cater to the needs of individuals. Complex and multi-disciplinary problems are broken down to tasks that individual engineers are able to solve with the tools and methods available to them. Thereby, it is common for companies to use a variety of tools - for example, software engineers use tools for requirements capture, specification, design/architecture, programming, or testing; tools that are often fundamentally different from those used by mechanical, electrical, aeronautical or systems engineers. But not only the tools differ, but also the knowledge that developers capture and maintain within these tools. We speak of artifacts. Examples of such artifacts are requirements, model elements, code classes/methods, hardware components, computations, use cases, and many more. Yet, while artifacts captured in tools are syntactically and semantically diverse, they are dependent. Together, these artifacts describe the engineering problem, process, and solution; and inconsistencies may arise if engineers manipulate these artifacts separately. Consistency check mechanisms are state of the art. However, little support exists for detecting inconsistencies in a multi-tool, multi-view environment. This proposed work will develop a novel methodology for detecting multi-view, cross-tool inconsistencies even if different engineers work on these artifacts at the same time or at different times, even if engineers are willing to share these artifacts with select other engineers as opposed to publishing them for all to see. We propose to investigate a number of possible views that may arise during engineering and how these views influence consistency checking. These views may include individual tools (tool views), which engineers may combine to cover all tools a single engineer is using (engineer views) or any arbitrary grouping of tools that a team of engineers is using (group views). The approach aims to provide scalable, up-to-date inconsistency feedback for these views concurrently while engineers are continuously creating, modifying, and deleting artifacts in their respective tools. Empirical evaluations and case studies will demonstrate the scalability and usefulness of the proposed work. Ultimately, the primary goal of this work is to give developers more freedom as to whether, when, how, and how much inconsistency feedback they want to receive.

Engineering is a team effort involving many people, but the daily work focuses on solving individual tasks. Engineers break down complex problems into smaller tasks, using specialized tools that vary by field-software engineers use coding and testing tools, while mechanical or electrical engineers use different ones. These tools store important pieces of information, called artifacts, such as requirements, designs, code, hardware components, and calculations. Although these artifacts are different, they are connected, and changes to one can affect others. If engineers work on them separately, inconsistencies can arise. This work introduced a new method to detect inconsistencies across different tools and viewpoints, even when multiple engineers work on artifacts at different times or with limited access. The approach provides real-time, scalable feedback on inconsistencies and helps manage conflicts that naturally occur in collaboration. Case studies have shown its effectiveness, ultimately giving engineers more control over when and how they receive inconsistency alerts.