International Journal on Advanced Science, Engineering and Information Technology, Vol. 9 (2019) No. 2, List of accepted papers, DOI:10.18517/ijaseit.9.2.7581

Logical Approach: Consistency Rules between Activity Diagram and Class Diagram

Noraini Sulaiman, Sharifah Sakinah Syed Ahmad, Sabrina Ahmad


Requirements validation especially models validation has gained quite an interest from a lot of researchers. The research regarding the consistency checking is proliferating from time to time. Several of techniques, approaches, and methods have been proposed to cater the issues of requirements inconsistency, especially in models validation. UML modelling has been used widely in software development industry. The varied of UML models that representing the system in different viewpoints but somehow relate to each other make them inextricable from one model to another. Hence, the inconsistency becomes inevitable. The models will be inconsistent if there are overlapping elements of diverse models that depict the parts of the system are failed to the cooperative. In this paper, we focused on the consistency rules between two models; activity and class diagrams by converting the rules into logical predicates and the logical predicates will be evaluated using a sample of a case study that consists of the two models.


Logical Approach; Consistency Rules; Activity Diagram.

Viewed: 119 times (since Sept 4, 2017)

cite this paper