共 50 条
- [31] Capturing security requirements in business processes through a UML 2.0 activity diagrams profile [J]. ADVANCES IN CONCEPTUAL MODELING - THEORY AND PRACTICE, PROCEEDINGS, 2006, 4231 : 32 - 42
- [33] Verification method for modelling cooperating processes with coloured sequence diagrams [J]. Proceedings of the 23rd IASTED International Conference on Modelling, Identification, and Control, 2004, : 524 - 528
- [35] Behavioral consistency validation of UML diagrams [J]. FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 118 - 125
- [36] Timing analysis of UML sequence diagrams [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674
- [37] UMLint: Identifying Defects in UML Diagrams [J]. 2011 ASEE ANNUAL CONFERENCE & EXPOSITION, 2011,
- [38] Formalization of UML statechart diagrams in the π-calculus [J]. 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
- [39] Formalizing and Verifying UML Activity Diagrams [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING, 2019, 1085 : 49 - 63