共 50 条
- [3] Modeling UML sequence diagrams using extended Petri nets [J]. Telecommunication Systems, 2012, 51 : 147 - 158
- [4] Compositional semantics for UML 2.0 sequence diagrams using Petri nets [J]. SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
- [5] Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets [J]. PROCEEDINGS OF THE 2009 WRI GLOBAL CONGRESS ON INTELLIGENT SYSTEMS, VOL IV, 2009, : 285 - 289
- [6] 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
- [7] Modelling the unexpected behaviours of embedded software using UML sequence diagrams [J]. ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1, 2006, : 257 - 262
- [8] Timing analysis of UML sequence diagrams [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674
- [10] Formalize UML 2 Sequence Diagrams [J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 437 - 440