共 50 条
- [1] Towards a semi automatic assessment of UML diagrams by graph transformation 2014 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2014, : 674 - 679
- [2] Specifying and verifying UML activity diagrams via graph transformation GLOBAL COMPUTING, 2005, 3267 : 18 - 33
- [3] Assigning Declarative Semantics to Some UML Activity Diagrams and BPMN Diagrams BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2024, 2024, 523 : 65 - 82
- [4] Towards formal verification of UML diagrams based on graph transformation PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 180 - 187
- [5] Transformation between BPMN and BPEL based on graph grammar 2014 INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT, 2014,
- [6] A tool for automatic transformation between SOFL class specifications and UML diagrams PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 105 - +
- [7] Aspect Diagrams for UML Activity Models APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2008, 5088 : 329 - 344
- [8] Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, ICAISC 2017, PT II, 2017, 10246 : 589 - 598
- [9] Automatic Translation of UML Sequence Diagrams into PEPA Models QUANTITATIVE EVALUATION OF SYSTEMS: QEST 2008, PROCEEDINGS, 2008, : 205 - 214