Modeling UML sequence diagrams using extended Petri nets

2010 International Conference on Information Science and Applications, ICISA 2010

Volumn , Issue , 2010, Pages

  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

EXTENDED PETRI NET; FORMAL ANALYSIS; FORMAL DEFINITION; HIERARCHICAL MODELING; MAPPING RULE; MAPPING RULES; MODELING AND ANALYSIS; MORPHING; OPERATIONAL FUNCTIONS; SEQUENCE DIAGRAMS; TIMED COLORED PETRI NET; UML PROFILES; UML SEQUENCE DIAGRAMS;

EMBEDDED SYSTEMS; GRAPH THEORY; INFORMATION SCIENCE; MAPPING; MARKUP LANGUAGES; PETRI NETS; REAL TIME SYSTEMS;

UNIFIED MODELING LANGUAGE;

EID: 77954428875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICISA.2010.5480384     Document Type: Conference Paper

References (24)

1. OMG, "MDA guide version 1.0.1," 2003, http://www.omg.org/ cgibin/doc?omg/03-06-01.
2. OMG, "UML superstructure, v2.1.2," 2007, http://www.omg.org/ spec/UML/2.1.2/Superstructure/PDF.
3. A. Mattsson, B. Lundell, B. Lings and B. Fitzgerald, "Linking model-driven development and software architecture: A case study," IEEE Transactions on Software Engineering, vol. 35, no. 1, 2009, pp. 83-93.
4. OMG, "UML profile for MARTE, beta 2," 2008, http://www.omgmarte.org/Specification.htm.
5. S. Bernardi, J. Merseguer and D.C. Petriu, "A dependability profile within MARTE," Software and Systems Modeling, 2009; DOI 10.1007/s10270-009-0128-1.
6. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, 1989, pp. 541-580.
7. Y. Nian-hua and Y. Hui-qun, "Model checking timed colored Petri nets with inhibitor arcs," acta electronica sinica, 2009 (in Chinese). (under reviewing)
8. N. Yang and H. Yu, "Modeling and scheduling real-time embedded systems using timed colored Petri nets with inhibitor arcs," Proc. Conference on Future Computing (CFC2010), 2010. (under reviewing)
9. OMG, "MOF 2.0 Query/View/Transformation (QVT) specification," 2008, http://www.omg.org.
10. E. Andrade, P. Maciel, G. Callou and B. Nogueira, "A methodology for mapping sysML activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints," Proc. Proceedings of the 2009 Third International Conference on Digital Society, IEEE Computer Society, 2009, pp. 266-271.
11. S. Bernardi and J. Merseguer, "Performance evaluation of UML design with stochastic well-formed nets," Journal of Systems and Software, vol. 80, no. 11, 2007, pp. 1843-1865.
12. S. Bernardi and J. Merseguer, "QoS assessment via stochastic analysis," IEEE Internet Computing, vol. 10, no. 3, 2006, pp. 32-42.
13. E. Andrade, P. Maciel, G. Callou, B. Nogueira and C. Araújo, "Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints," Proc. Proceedings of the 2009 ACM symposium on Applied Computing, ACM, 2009, pp. 377-381.
14. L. Amorim, P. Maciel, M. Nogueira, R. Barreto and E. Tavares, "A methodology for mapping live sequence chart to coloured Petri net," Proc. IEEE International Conference on Systems, Man and Cybernetics, IEEE Computer Society, 2005, pp. 2999-3004.
15. J.P. López-Grao, J. Merseguer and J. Campos, "From UML activity diagrams to stochastic Petri nets: Application to software performance engineering," ACM SIGSOFT Software Engineering Notes, vol. 29, no. 1, 2004, pp. 25-36.
16. T.S. Staines, "Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets," Proc. Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, IEEE Computer Society, 2008, pp. 191-200.
17. Y. Thierry-Mieg and L.-M. Hillah, "UML behavioral consistency checking using instantiable Petri nets," Innovations in Systems and Software Engineering, vol. 4, no. 3, 2008, pp. 293-300.
18. M.A. Ameedeen and B. Bordbar, "A model driven approach to represent sequence diagrams as free choice Petri nets," Proc. Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, IEEE Computer Society, 2008, pp. 213-221.
19. M.A. Ameedeen, B. Bordbar and R. Anane, "A model driven approach to the analysis of timeliness properties," Lecture Notes in Computer Science, vol. 5562, Springer, 2009, pp. 221-236.
20. J.M. Fernandes, S. Tjell, J.B. Jorgensen and O. Ribeiro, "Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net," Proc. Proceedings of the Sixth International Workshop on Scenarios and State Machines, IEEE Computer Society, 2007.
21. G. Li and S. Yao, "Research on mapping algorithm of UML sequence diagrams to object Petri nets," Proc. Global Congress on Intelligent Systems, IEEE computer society, 2009, pp. 285-289.
22. OMG, "UML profile for schedulability, performance, and time, v1.1," 2005, http://www.omg.org/cgi-bin/doc?formal/2005-01-02.
23. Y. Wang and F. Li, "Vehicular ad hoc networks," Guide to wireless ad hoc networks, Computer communications and networks, Springer, 2009, pp. 1-23.
24. UPPAAL, 2009, http://www.uppaal.com/.