共 50 条
- [1] 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
- [2] The Algorithm of Transformation from UML Sequence Diagrams to the Topological Functioning Model [J]. ENASE 2015 - PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2015, : 377 - 384
- [3] Timing analysis of UML sequence diagrams [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674
- [4] Formalize UML 2 Sequence Diagrams [J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 437 - 440
- [6] Ordering actions in sequence diagrams of UML [J]. ITI 2001: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2001, : 3 - 14
- [7] Analyzing UML Sequence Diagrams with UTP [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 417 - 423
- [8] Interactive exploration of UML sequence diagrams [J]. 3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 8 - 13
- [9] Extending agent UML sequence diagrams [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 150 - 161
- [10] Static generation of UML sequence diagrams [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 31 - 53