Logical approach : consistency rules between activity diagram and class diagram
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 incons...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 语言: | English English |
| 出版: |
2015
|
| 主题: | |
| 在线阅读: | http://eprints.utem.edu.my/id/eprint/15892/1/LOGICAL%20APPROACH%20CONSISTENCY%20RULES%20BETWEEN%20ACTIVITY%20DIAGRAM%20AND%20CLASS%20DIAGRAM%20%2824%20pgs%29.pdf http://eprints.utem.edu.my/id/eprint/15892/2/Logical%20approach%20%20consistency%20rules%20between%20activity%20diagram%20and%20class%20diagram.pdf |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| 总结: | 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. |
|---|