Regresar

An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T

Abstract:

Although the syntax of UML and UML-RT diagrams is well understood and widely accepted in the industry today, it lacks formal semantics, thus introducing a significant inconsistency risk when employing different kinds of diagrams to describe system's behavior during modelling. It has to be ensured that those different behavioral specifications are consistent, so we present here a consistency demonstration inside UML composite structure diagram. We demonstrate a refinement relation from capsule state machines formal representation to a specification of their inter-communication protocols described as sequence diagrams. A set of transformation rules is proposed to obtain a representation of both kinds of diagrams into the common semantic domain of CSP+T process execution traces. The consistency demonstration is applied to validate a UML-RT model of the Production Cell case study.