Logical approach : consistency rules between activity diagram and class diagram

• Main Author: Sulaiman, Noraini
• Format: Thesis
• Language: English; English
• Published: 2015
• Subjects: QA Mathematics; QA76 Computer software
• Online Access: http://eprints.utem.edu.my/id/eprint/15892/; https://plh.utem.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=96232

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 depicts the parts of the system are failed to 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 case study that consists of the two models.