Research On Consistency Of Sequence Diagram And State Diagram

UML has become the standard for the object-oriented software analysis and design stages in software development. Software development process can be described as using UML as models in different views or at different abstraction levels. These models can be used during the entire development process from capturing requirements to implementing code. A consistency problem may arise due to the fact that the different models have overlap aspects when they describe the same system. As a consequence, the handing of (in) consistency between diagrams or, more generally between submodels, is an issue of major importance.Because the consistency issues of classes and behavior models are derived from the difference of static and dynamic models, the solution is generally finding a common semantic domain, mapping the aspects leading to consistency problems, specifying consistency conditions, locating and analyzing the potential inconsistencies. Two orthogonal classifications of consistency are Horizontal consistency and Vertical consistency. Horizontal consistency is related to consistency among diagrams within a giver model, typically with a development phase. Vertical consistency is concerning consistency between different models typically at different development phases.With the development of the standard of UML, people have paid more attention to the consistency between models of UML. Especially, after 2000, more and more experts have studied on the consistency. Gregor Engels using meta-model rules transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. In this way, Vertical consistency and Horizontal consistency are solved. OCL also used to express the consistency constraint. Hassan Gomaa describes the COMET method for designing real-time and distributed applications, which integrates object-oriented and concurrency concepts and uses the UML notation. Now, the way based on mathematical paradigms, to formalize sequence diagrams...