UML Model Consistency Checker Using The Object State Machine Ahmed Fawzy Shosha

Supervisor: Mahmoud Allam

Thesis (M.A.)—Nile University, Egypt, 2009 .

"Includes bibliographical references"

Contents:
CHAPTER II BACKGROUND ....................................................................................... 14
2.1. Software design verification ........................................................................... 14
2.2. Behavioral modeling ...................................................................................... 16
2.3. Sequence diagram ........................................................................................... 18
2.4. State machine diagram ................................................................................... 19
2.5. Object Constraint Language (OCL) ............................................................... 20
2.6. Consistency management ............................................................................... 21
2.7. Diagram interchanging ................................................................................... 23
CHAPTER III LITRETURE REVIEW ............................................................................ 25
3.1. Analysis Parameters ....................................................................................... 25
3.2. Summary of MCC Techniques ....................................................................... 26
3.3. Engels et al. ...................................................................................................... 27
3.4. Liu et al. .......................................................................................................... 28
3.5. Grischick ........................................................................................................ 30
3.6. Graaf and Deursen ................................................................................................ 32
3.7. Murthy et al. .................................................................................................. 33
3.8. Yasser Kotb et al. .............................................................................................. 34
CHAPTER IV MODEL CONSISTENCY CHECKER FRAMWORK ........................... 35
4.1. MCC framework component design .............................................................. 35
4.2. Consistency types: .......................................................................................... 37
4.3. Consistency management ............................................................................... 38
4.4. Simulation and model checker component ..................................................... 39
vii
4.4.1. Simulation and inconsistency checking algorithm with state Machine ...... 39
4.4.2. Simulation and inconsistency checking algorithm without state machine . 42
4.4.3. Consistency Checker for a workflow of diagrams ...................................... 46
4.5. MCC framework flow chart ........................................................................... 49
4.6. Types of discovered inconsistencies .............................................................. 52
4.7. MCC comparison table ................................................................................... 53
CHAPTER V IMPLEMENTATION AND CASE STUDY ............................................ 55
5.1. UML SMCC architecture ............................................................................... 57
5.2. UML SMCC features ..................................................................................... 58
5.2.1. Consistency checker of single sequence diagram ...................................... 59
5.2.2. Consistency checking for a group of diagrams ........................................... 60
5.3. UML MCC case study .................................................................................... 61
5.3.1. Consistency checker for a single sequence diagram ................................... 63
5.3.2. Consistency checker for a workflow of diagrams ...................................... 64

Abstract:
Modelling has been an essential part of engineering, art and construction for centuries. Complex software designs that would be difficult to describe in a textual way can readily be depicted through diagrams. Modelling provides three key benefits: visualization, complexity management and clear communication.
UML (Unified Modelling language) is a standardized general-purpose modelling language that provides a family of diagrams that describe the structure and behaviour of the software systems.
Discovering inconsistencies and/or incompleteness in UML design models is a very critical problem in software modelling as it affects the correctness of software systems being built on these inconsistent and/or incomplete models.
The goal of this research is to develop a practical framework for model consistency checker to discover errors and/or inconsistency in UML models.
Our model consistency checker has been applied to behaviour view of UML that described by sequence diagrams and state machine diagrams.

Text in English, abstracts in English and Arabic