@inproceedings{ca5c30964567458dbf33aeab62a310ad,
title = "A formal framework to generate XPDL specifications from UML activity diagrams",
abstract = "The XML Process Definition Language (XPDL) is a standardized language allowing process definitions interchange between a variety of tools ranging from workflow management systems to modeling and simulation tools. On the other hand, UML activity diagrams offer a convenient notation to depict synthetic and intuitive views of systems that facilitate stakeholder communication. However, there is currently no tool able to animate activity diagrams using workflow management systems. Moreover, despite standardization efforts, diagram interchange across different modeling tools remains an issue. Hence, transforming UML activity diagrams into XPDL specifications would preserve stakeholder communication while enabling animation tool support. This paper presents a formal and optimal transformation of UML activity diagrams into XPDL specifications. This mapping is described through a set of formal translation rules defined from the UML activity metamodel to the XPDL metamodel. We demonstrate that the defined mapping process preserves some structural properties specified on the translated UML activity diagram.",
keywords = "Correctness proofs, Transformations, UML activity diagrams, XPDL language",
author = "Nicolas Guelfi and Amel Mammar",
year = "2006",
month = jan,
day = "1",
doi = "10.1145/1141277.1141566",
language = "English",
isbn = "1595931082",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1224--1231",
booktitle = "Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing",
note = "2006 ACM Symposium on Applied Computing ; Conference date: 23-04-2006 Through 27-04-2006",
}