Article Logical Approach: Consistency Rules between Activity Diagram...

In my UNCR (UNIVERSAL NOTATION FOR CONSISTENCY RULES) notation, these four consistency rules from Table III would take the form: 1. CcAi; 2. ApCc; 3. AvCch; 4. AvCch. All these rules have already been proposed by Chanda, J., Kanjilal, A., Sengupta, S., Bhattacharya, S. in the publication "Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach" from 2009. The third and fourth have already been proposed by Sapna, P., G., Mohanty, H. in the publication Ensuring Consistency in Relational Repository of UML Models from 2007. The second, third and fourth were proposed by Xianhong, L. in the publication "Identification and Check of Inconsistencies between UML Diagrams" from 2013. These are so-called consistency rules very popular in the literature. And in the design of software architecture, the most used rule is BuAv, and more specifically: Bu«scenarios»An«start»(v+|i+)+n«stop». It is simply a visualization of the business use case in the form of a scenario model in the activity diagram.