共 50 条
- [1] Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL [J]. ENTERPRISE INTEROPERABILITY, IWEI 2012, 2012, 122 : 129 - 145
- [2] Transformation of UML Activity Diagram for Enhanced Reasoning [J]. PROCEEDINGS OF THE FUTURE TECHNOLOGIES CONFERENCE (FTC) 2018, VOL 2, 2019, 881 : 466 - 482
- [3] RETRACTED: From UML 2.0 Activity Diagram to YAWL: The Control-flow Aspect (Retracted Article) [J]. 2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11 : 1751 - 1758
- [4] The BPM to UML activity diagram transformation using XSLT [J]. DATESO 2009 - DATABASES, TEXTS, SPECIFICATIONS, OBJECTS: PROCEEDINGS OF THE 9TH ANNUAL INTERNATIONAL WORKSHOP, 2009, 471 : 119 - 129
- [5] A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation [J]. 10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 612 - 617
- [8] The Formal Semantics of an UML Activity Diagram [J]. Advances in Manufacturing, 2004, (03) : 322 - 327
- [9] UML Activity Diagram To Event-B: A Model Transformation Approach Based on the Institution Theory [J]. 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 823 - 829
- [10] Mapping UML Activity Diagram into Z Notation [J]. INNOVATIVE DATA COMMUNICATION TECHNOLOGIES AND APPLICATION, ICIDCA 2021, 2022, 96 : 301 - 318