We present the results of a case study where we investigated a semantic mapping of UML2 activity diagrams to the pi-calculus. Our study was initiated by recent discussions on the role of the pi-calculus for future business-process management systems as well as our interest in developing formal nalysis techniques for activity diagrams.
The study revealed interesting insights into the semantic expressivity of activity diagrams and the semantic nature of the different modeling elements, in particular of object nodes and activity final nodes. We show that for certain types of diagrams, a semantic mapping of object nodes, in particular of pins, to message reading and receiving operations is insufficient and propose an encoding of pins as pi-processes. Our results motivated us to present a novel classification of activity diagrams based on their semantic expressivity.
By: Jana Koehler; Jochen M. Kuester; John Novatnack; Ksenia Ryndina
Published in: RZ3673 in 2006
LIMITED DISTRIBUTION NOTICE:
This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.
Questions about this service can be mailed to reports@us.ibm.com .