Verification of the Correctness in Composed UML Behavioural Diagrams [chapter]

Samir Ouchani, Otmane Ait Mohamed, Mourad Debbabi, Makan Pourzandi
2010 Studies in Computational Intelligence  
The Unified Modeling Language UML 2.0 plays a central role in modern software engineering, and it is considered as the de facto standard for modeling software architectures and designs. Todays systems are becoming more and more complex, and very difficult to deal with. The main difficulty arises from the different ways in modelling each component and the way they interact with each others. At this level of software modeling, providing methods and tools that allow early detection of errors is
more » ... datory. In this paper, a verification methodology of a composition of UML behavioural diagrams (State Machine, Activity Diagram, and Sequence Diagram) is proposed. Our main contribution is the systematic construction of a semantic model based on a novel composition operator. This operator provides an elegant way to define the combination of different kind of UML diagrams. In addition, this operator posses a nice property which allows to handle the verification of large system efficiently. To demonstrate the effectiveness of our approach, a case study is presented.
doi:10.1007/978-3-642-13273-5_11 fatcat:bqr4g347nvdkhlnizwri4io6bq