Inconsistency between state and sequence diagram

Abstract

UML is an acronym for Unified Modelling Language. It has become de facto the standard for the object-oriented software analysis and design stages in software development. UML is a visual modelling language, and it consists of a set of diagrams. Static diagrams are used to depict static structure of a program, where is dynamic diagrams specify how the control flow(s) of the program should behave. The examples of behavioral diagrams are a Sate diagram, which describes the behavior of objects of a given class, and a Sequence diagram, which describes inter-object interactions in a given scenario. A consistency problem may arise due to the fact that some aspects of the model may be described by more than one diagram. Hence, the consistency of the system description should be checked before implementing the system. This thesis describes an algorithmic approach to a consistency check between UML Sequence and State diagrams. The algorithm we provide automate the validation process which handles complex state diagrams, e.g. diagrams that include forks, joins, and concurrent composite states.