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

被引：0

作者：

Sellami, Asma ^{[1
]}

Haoues, Mariem ^{[1
]}

Ben-Abdallah, Hanene ^{[2
]}

机构：

[1] Univ Sfax, Mir Cl Lab, Sfax, Tunisia

[2] King Abdulaziz Univ, FCIT, Jeddah, Saudi Arabia

来源：

EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013 | 2013年 / 417卷

关键词：

Functional Size Measurement; COSMIC-ISO/IEC; 19761; UML Activity Diagram; UML Component Diagram; Consistency Rules;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：48 / 63

页数：16