Transforming process algebra models into UML state machines: Bridging a semantic gap

Abstract. There exist many formalisms for modeling the behavior of (software) systems. These formalisms serve different purposes. Process algebras are used for algebraic and axiomatic reasoning about the be-havior of distributed systems. UML state machines are suitable for au-tomatic software generation. We have developed a transformation from the process algebra ACP into UML state machines to enable automatic software generation from process algebra models. This transformation needs to preserve both behavioral and structural properties. The combi-nation of these preservation requirements gives rise to a semantic gap. It implies that we cannot transform ACP models into UML state machines on a syntactic level only. We address this semantic gap and propose a way of bridging it. To validate our proposal, we have implemented a tool for automatic trans-formation of ACP process algebra models into UML state machines.