Skip to main content
SpringerLink
Log in

Modeling UML sequence diagrams using extended Petri nets

  • Published:
Telecommunication Systems Aims and scope Submit manuscript

Abstract

Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent systems’ requirements. To enhance formal analysis abilities, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams and MARTE stereotypes are proposed respectively. They are proposed both in graphical and formal forms. The soundness of mapping rules is analyzed. The data related issues are handled through colored properties in TCPNIA models, guard functions and operational functions. A mapping rule for state invariant is proposed based on data related information. Through state invariant, complicated control relations can be expressed. Formal definitions for morphing and substitution in TCPNIA models are given. They provide modular and hierarchical modeling methods for TCPINA models. To show the applicability and feasibility of our method, an application example in vehicular ad hoc networks (VANETs) domain is studied.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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.

    Article  Google Scholar 

  4. Wang, Y., & Li, F. (2009). Vehicular ad hoc networks. In Guide to wireless ad hoc networks (pp. 1–23). London: Springer.

    Google Scholar 

  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.

    Google Scholar 

  7. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.

    Article  Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  14. Bernardi, S., & Merseguer, J. (2006). QoS assessment via stochastic analysis. IEEE Internet Computing, 10(3), 32–42.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  26. McMillan, K. L. (1993). Symbolic model checking. Norwell: Kluwer Academic.

    Book  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, 200237, China

    Nianhua Yang, Huiqun Yu, Hua Sun & Zhilin Qian

  2. Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai, 201112, China

    Nianhua Yang

Authors
  1. Nianhua Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huiqun Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hua Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zhilin Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Huiqun Yu.

Additional information

The work was supported by the NSF of China under grants No. 60773094 and 60473055, Shanghai Shuguang Program under grant No. 07SG32.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yang, N., Yu, H., Sun, H. et al. Modeling UML sequence diagrams using extended Petri nets. Telecommun Syst 51, 147–158 (2012). https://doi.org/10.1007/s11235-011-9424-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11235-011-9424-5

Keywords

Search

Navigation