Paper Info
Title
Safe and Constructive Design with UML Components.
Abstract
Component Based Software Development (CBSD) is an established paradigm to build systems from reusable and loosely coupled units. However, it is still a challenge to ensure, in a scalable way, that desired properties hold for component integration. We present a component based model for UML, including a metamodel, well-formedness conditions and a formal semantics via translation into BRIC. We use (our previous work on) BRIC as an underlying (and totally hidden) component development framework so that our approach benefits from all the formal infrastructure developed for BRIC using CSP (Communicating Sequential Processes). Component composition, specified via UML structural diagrams, ensures, by construction, adherence to classical concurrent properties: our focus is on the preservation of deadlock freedom. Partial automated support is developed as a plug-in to the Astah modelling tool. We illustrate our overall approach with two case studies.
Year
Venue
Field
2018
SBMF
Programming language,Unified Modeling Language,Constructive,Computer science,Communicating sequential processes,Deadlock,Component-based software engineering,Metamodeling,Semantics of logic,Scalability
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
10
3
Name
Order
Citations
PageRank
Flávia Falcão100.68
Lucas Lima2193.79
Augusto Sampaio350143.38