Checking the Consistency between UCM and PSM Using a Graph-Based Method

Checking the consistency in component models at design phase is essential in component-based software engineering (CBSE). In our previous work, we proposed an approach for verifying automatically the matching between protocol state machines (PSMs) and the use case map (UCM), using the B method. Due...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet-Ha Nguyen
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Consistency Database systems Deductive databases Educational institutions Gears graph-based method Parallel processing Programming Protocols PSM Software engineering Software systems UCM Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!