共 50 条
- [1] Towards formal verification of UML diagrams based on graph transformation [J]. PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 180 - 187
- [2] AUTOMATIC BRIDGE BETWEEN BPMN MODELS AND UML ACTIVITY DIAGRAMS BASED ON GRAPH TRANSFORMATION [J]. COMPUTER SCIENCE-AGH, 2022, 23 (03): : 411 - 447
- [3] Specifying and verifying UML activity diagrams via graph transformation [J]. GLOBAL COMPUTING, 2005, 3267 : 18 - 33
- [4] From UML 2 Sequence Diagrams to State Machines by Graph Transformation [J]. JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
- [6] From UML Class Diagrams to Aspect-Oriented Class Diagrams Using Graph Transformation [J]. 2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 458 - 463
- [7] A tool for automatic transformation between SOFL class specifications and UML diagrams [J]. PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 105 - +
- [8] From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation [J]. INFORMATION AND SOFTWARE TECHNOLOGIES, 2012, 319 : 199 - 209
- [9] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
- [10] Transformation rules for UML class diagrams [J]. UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 92 - 106