共 50 条
[21]
OCL as the query language for UML model execution
[J].
COMPUTATIONAL SCIENCE - ICCS 2008, PT 3,
2008, 5103
:311-320
[22]
Temporal Interval Modeling for UML Activity Diagrams
[J].
KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2,
2016,
:199-203
[23]
Scrutinizing UML Activity Diagrams
[J].
INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY,
2009,
:59-67
[24]
HOL-OCL: A formal proof environment for UML/OCL
[J].
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS,
2008, 4961
:97-+
[25]
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants
[J].
JOURNAL OF OBJECT TECHNOLOGY,
2022, 21 (03)
[26]
Incremental Verification of UML/OCL Models
[J].
JOURNAL OF OBJECT TECHNOLOGY,
2020, 19 (03)
:1-16
[27]
UML/OCL and refinement
[J].
18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011),
2011,
:149-158
[28]
Automatic translation UML activity diagrams to Petri net
[J].
2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON),
2015,
[29]
Validation of UML static diagrams using B
[J].
SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2,
2005,
:915-920