Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients

Date

2023

Advisors

Journal Title

Journal ISSN

ISSN

DOI

Volume Title

Publisher

IEEE

Type

Conference

Peer reviewed

Yes

Abstract

The Unified Modeling Language (UML) is the industrial de-facto standard for designing systems. It has been used widely in many industrial applications. However, the lack of formal semantics for UML makes it unsuitable for formal verification. As such, UML is limited when it comes to the design of safety/security critical systems where faults can cause damages to people, properties, or the environment. This paper proposes an attempt to define a formal semantics for the UML activity diagrams. An algorithm is proposed that translates an activity diagram into a process in a Calculus of Context-aware Ambients (CCA). This process can then be formally analysed using the tool support for CCA. Hence, errors can be detected and fixed early during the system development life-cycle. The pragmatics of the proposed approach is demonstrated using a case study in e-commerce.

Description

The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.

Keywords

UML, activity diagram, CCA, formal analysis, semantics, process calculus, context-awareness, ccaPL

Citation

Siewe, F. (2023) Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients

Rights

Research Institute

Cyber Technology Institute (CTI)