共 50 条
- [2] Modeling UML sequence diagrams using extended Petri nets Telecommunication Systems, 2012, 51 : 147 - 158
- [4] Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets PROCEEDINGS OF THE 2009 WRI GLOBAL CONGRESS ON INTELLIGENT SYSTEMS, VOL IV, 2009, : 285 - 289
- [5] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
- [6] Test Generation from UML Sequence Diagrams 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 245 - 250
- [7] From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation E-TECHNOLOGIES AND NETWORKS FOR DEVELOPMENT, 2011, 171 : 318 - 328
- [8] The many meanings of UML 2 Sequence Diagrams: a survey Software & Systems Modeling , 2011, 10 : 489 - 514
- [10] Analyzing UML Sequence Diagrams with UTP FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 417 - 423