Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets.
Vu Van DocHuynh Quyet ThangNguyen Trong BachPublished in: INISCOM (2018)
Keyphrases
- sequence diagrams
- petri net
- unified modelling language
- class diagrams
- uml models
- state machines
- activity diagrams
- petri net model
- discrete event systems
- manufacturing systems
- embedded real time systems
- intermediate representation
- model based testing
- colored petri nets
- knowledge based systems
- stochastic petri net
- class diagram
- software engineering
- fuzzy petri net
- service composition
- regression testing
- ims ld
- production rules