Abstract | ||
---|---|---|
Starting from a methodological approach intended to obtain a correct system specification in CSP+T from a UML-RT model of an RTS, we develop now a systematic procedure to check whether the obtained design is consistent with other views of the same system, such as the ones given by class, composite structure and state machines diagrams. To achieve this objective, a formal semantics of the notational elements of UML-RT according to CSP+T process terms is presented, which guarantees that system requirements are preserved from their initial UML-RT modelling to the final system implementation. As a consequence, the formal support given by the compositional refinement of CSP+T process terms will allow performing the system's software compositional verification. In addition, the derived formal semantic definitions are applied to the Production Cell case study. |
Year | Venue | Keywords |
---|---|---|
2007 | ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION | real-time software systems,UML-RT,formal semantic,formal specification,CSP plus T |
Field | DocType | Citations |
Data mining,Causal consistency,Operational semantics,Sequential consistency,Programming language,Computer science,Consistency model,Semantics | Conference | 1 |
PageRank | References | Authors |
0.40 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luis E. Mendoza Morales | 1 | 14 | 4.86 |
Manuel I. Capel | 2 | 52 | 17.35 |
Kawtar Benghazi Akhlaki | 3 | 80 | 17.92 |