Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams

UML has been established as a de facto standard for modeling software. It offers a set of complementary diagram types used to document functional, dynamic and static views of a system. UML diagrams diversification and their multi-view representation can cause inconsistencies among the diagram types used to model the system during the different development phases. This paper presents an automated COSMIC-based approach for checking the consistency between the activity and component diagrams. First, it defines measurement procedures to determine the functional size of both diagrams. Secondly, it proposes a set of heuristics to ensure the consistency in terms of COSMIC-FSM. Third, it presents a tool for measuring the functional size of these diagrams, and then checking their consistency.