共 50 条
- [13] A Semantics-Preserving Approach for Extracting OWL Ontologies from UML Class Diagrams DATABASE THEORY AND APPLICATION, 2009, 64 : 122 - 136
- [14] An Extensible Operational Semantics for UML Activity Diagrams SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 360 - 368
- [15] Reasoning with UML class diagrams 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [16] Formalization of the UML Class Diagrams EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [17] A framework for semantics of UML sequence diagrams in PVS JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697
- [18] Assigning Declarative Semantics to Some UML Activity Diagrams and BPMN Diagrams BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2024, 2024, 523 : 65 - 82
- [19] Automatic extraction of OWL ontologies from UML class diagrams: a semantics-preserving approach World Wide Web, 2012, 15 : 517 - 545
- [20] Automatic extraction of OWL ontologies from UML class diagrams: a semantics-preserving approach WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2012, 15 (5-6): : 517 - 545