Modeling UML sequence diagrams using extended Petri nets

Telecommunication Systems

Volumn 51, Issue 2-3, 2012, Pages 147-158

  Yang, Nianhua ^a,b   Yu, Huiqun ^a   Sun, Hua ^a   Qian, Zhilin ^a  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SHANGHAI KEY LABORATORY OF COMPUTER SOFTWARE EVALUATING AND TESTING   (China)

Author keywords

Mapping rule; MARTE; Petri net; Sequence diagram; UML

Indexed keywords

MAPPING RULES; MARTE; MODELING AND ANALYSIS; SEQUENCE DIAGRAMS; TIMED COLORED PETRI NET; UML; UML SEQUENCE DIAGRAMS; VEHICULAR ADHOC NETWORKS (VANETS);

EMBEDDED SYSTEMS; MAPPING; MARKUP LANGUAGES; PETRI NETS; VEHICULAR AD HOC NETWORKS;

UNIFIED MODELING LANGUAGE;

EID: 84875819108     PISSN: 10184864     EISSN: 15729451     Source Type: Journal    
DOI: 10.1007/s11235-011-9424-5     Document Type: Article

References (28)

1. OMG (2003). MDA guide version 1.0.1. http://www.omg.org/cgi-bin/doc?omg/ 03-06-01.
2. OMG (2007). UML superstructure v2.1.2. http://www.omg.org/spec/UML/2.1.2/ Superstructure/PDF.
3. Mattsson, A.; Lundell, B.; Lings, B.; & Fitzgerald, B. (2009). Linking model-driven development and software architecture: A case study. IEEE Transactions on Software Engineering, 35(1), 83-93.
4. Wang, Y.; & Li, F. (2009). Vehicular ad hoc networks. In Guide to wireless ad hoc networks (pp. 1-23). London: Springer.
5. OMG (2008). UML profile for MARTE, beta 2. http://www.omgmarte.org/ Specification.htm.
6. Bernardi, S.; Merseguer, J.; & Petriu, D. C. (2009). A dependability profile within MARTE. Software and Systems Modeling, 11, 33. doi: 10.1007/s10270-009-0128-1.
7. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580.
8. Yang, N.; & Yu, H. (2010). Modeling and verification of embedded systems using timed colored Petri net with inhibitor arcs. Journal of East China University of Science and Technology, 36(3), 411-417.
9. Yang, N.; Yu, H.; & Sun, H. (2011). Model checking timed colored Petri nets with inhibitor arcs. Computer Science, 38(1), 170-176 (in Chinese).
10. Yang, N.; Yu, H.; Sun, H.; & Qian, Z. (2010). Modeling UML sequence diagrams using extended Petri nets. In The international conference on information science and applications (ICISA 2010), Seoul, Korea, April 21-23, 2010 (Vol. 2, pp. 596-603). Los Alamitos: IEEE Computer Society.
11. OMG (2008). MOF 2.0 Query/View/Transformation (QVT) specification.
12. Andrade, E.; Maciel, P.; Callou, G.; & Nogueira, B. (2009). A methodology for mapping sysML activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In Proceedings of the third international conference on digital society (ICDS 2009), Cancun, Mexico, February 1-7, 2009 (pp. 266-271). Los Alamitos: IEEE Computer Society.
13. Bernardi, S.; & Merseguer, J. (2007). Performance evaluation of UML design with stochastic well-formed nets. Journal of Systems and Software, 80(11), 1843-1865.
14. Bernardi, S.; & Merseguer, J. (2006). QoS assessment via stochastic analysis. IEEE Internet Computing, 10(3), 32-42.
15. Andrade, E.; Maciel, P.; Callou, G.; Nogueira, B.; & Araújo, C. (2009). Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In Proceedings of the 2009 ACM symposium on applied computing, Waikiki Beach, Honolulu, Hawaii, USA, March 9-12, 2009 (pp. 377-381). New York: ACM.
16. Amorim, L.; Maciel, P.; Nogueira, M.; Barreto, R.; & Tavares, E. (2005). A methodology for mapping live sequence chart to coloured Petri net. In IEEE international conference on systems, man and cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005 (Vol. 4, pp. 2999-3004). Los Alamitos: IEEE Computer Society.
17. López-Grao, J. P.; Merseguer, J.; & Campos, J. (2004). From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. ACM SIGSOFT Software Engineering Notes, 29(1), 25-36.
18. Staines, T. S. (2008). Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. In Proceedings of the 15th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2008), Belfast, Northern Ireland, March 31-April 4, 2008 (pp. 191-200). Los Alamitos: IEEE Computer Society.
19. Thierry-Mieg, Y.; & Hillah, L.-M. (2008). UML behavioral consistency checking using instantiable Petri nets. Innovations in Systems and Software Engineering, 4(3), 293-300.
20. Ameedeen, M. A.; & Bordbar, B. (2008). A model driven approach to represent sequence diagrams as free choice Petri nets. In Proceedings of the 12th international IEEE enterprise distributed object computing conference, Munich, Germany, September 15-19, 2008 (pp. 213-221). Los Alamitos: IEEE Computer Society.
21. Ameedeen, M. A.; Bordbar, B.; & Anane, R. (2009). A model driven approach to the analysis of timeliness properties. In Lecture Notes in Computer Science: Vol. 5562. 5th European conference on model driven architecture - foundations and applications (ECMDA-FA 2009), Enschede, The Netherlands, June 23-26, 2009 (pp. 221-236). Berlin: Springer.
22. Fernandes, J. M.; Tjell, S.; Jorgensen, J. B.; & Ribeiro, O. (2007). Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net. In Proceedings of the sixth international workshop on scenarios and state machines, Minneapolis, MN, USA, May 20-26, 2007. Los Alamitos: IEEE Computer Society. doi: 10.1109/SCESM.2007.1.
23. Li, G.; & Yao, S. (2009). Research on mapping algorithm of UML sequence diagrams to object Petri nets. In Global congress on intelligent systems, Xiamen, China, May 9-21, 2009 (Vol. 4, pp. 285-289). Los Alamitos: IEEE Computer Society.
24. OMG (2005). UML profile for schedulability, performance, and time, v1.1. http://www.omg.org/cgi-bin/doc?formal/2005-01-02.
25. Clarke, E. M.; Emerson, E. A.; & Sistla, A. P. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2), 244-263.
26. McMillan, K. L. (1993). Symbolic model checking. Norwell: Kluwer Academic.
27. Xu, D.; He, X.; & Deng, Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering, 28(10), 984-996.
28. Jejurikar, R.; & Gupta, R. (2006). Energy-aware task scheduling with task synchronization for embedded real-time systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(6), 1024-1037.