Definition of Consistency Rules between UML Use Case and Activity Diagram

Noraini Ibrahim,Rosziati Ibrahim,Mohd Zainuri Saringat,Dzahar Mansor,Tutut Herawan
DOI: https://doi.org/10.1007/978-3-642-20998-7_58
2011-01-01
Abstract:Consistency is the situation where two or more overlapping elements of different diagrams that describe the behavior of system are jointly satisfiable. It is one of the attributes to measure the quality of UML model. Even though the research on consistency between diagrams is rapidly increased, there is still lack of research of consistency driven by use case. Therefore, this paper will define elements of use case and activity diagram, also consistency between them using logic approach. Based on an example of UML model consists of both diagrams, we show how the diagrams fulfilled our proposed consistency rules. Furthermore, the elements involved in the consistency rules are detected and formally reasoned.
What problem does this paper attempt to address?