Definition and Implementation of a Semantic Mapping for UML-RT Using a Timed Pi-calculus

摘要

We report on ongoing work to define a formal semantics for UML-RT suitable for execution and analysis. The paper advocates the use of kiltera as an executable, yet formal, specification language for the high-level description and analysis of complex software systems, kiltera is based on a novel process algebra that extends the 7r-calculus with time, distribution and execution via an interpreter based on event simulation. We present a textual abstract syntax for a subset of UML-RT and formally define a semantic mapping that explains UML-RT in terms of kiltera. An initial implementation of the semantic mapping is described. Relevant observations are collected, further work is discussed, and relevant related work is reviewed.