Real-Time Simulation Technologies: Principles, Methodologies, and Applications

12 Consistency Management of UML Models

Emilia Farcas, Ingolf H. Krüger and Massimiliano Menarini

CONTENTS

12.1 Introduction

12.1.1 Multiview Models and Consistency Challenges

12.1.2 Inconsistency Example

12.1.3 Outline

12.2 State of the Art in Consistency and Semantics

12.2.1 UML Model Consistency Requirements

12.2.2 Consistency Checking

12.2.3 Semantics

12.3 Solving UML Consistency

12.3.1 Queries and Constraints Semantics

12.3.1.1 Notational Preliminaries and System Formalization

12.3.1.2 Abstract Specification Language

12.3.1.3 Specification Language Semantics

12.3.2 Notion of Consistency

12.3.3 Example of Consistency Management

12.4 Discussion

12.5 Summary and Outlook

Acknowledgments

References

12.1 Introduction

Model-based engineering ...