Advertisement
Published in:
2008 | OriginalPaper | Chapter
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
Authors : M. F. van Amstel, M. G. J. van den Brand, Z. Protić, T. Verhoeff
Published in: Theory and Practice of Model Transformations
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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 behavior of distributed systems. UML state machines are suitable for automatic 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 combination 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 transformation of ACP process algebra models into UML state machines.