Synthesis of state machine diagrams from communication diagrams using Petri nets | Innovations in Systems and Software Engineering Skip to main content
Springer Nature Link
Log in

Synthesis of state machine diagrams from communication diagrams using Petri nets

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

Service-oriented architecture is an architecture style to build up a large-scale networked system composed of a set of components or functions, each of which is called a service. A problem to construct behavioral models of services from given global interaction specifications, called choreography, is known as the choreography realization problem. The constructed model is still an intermediate model in the process of system developments; the model will be corrected, modified, and enhanced further by designers. Therefore, we also have to consider readability of the constructed model. In this paper, we proposed a method to construct state machine models from choreographies described by a set of communication diagrams using Petri nets. The proposed method will try to use the composite states and the orthogonal regions of UML state machines for the readability.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Booch G, Rumbaugh J, Jacobson I (2005) The unified modeling language user guide, 2nd edn. Addison-Wesley, Reading

    Google Scholar 

  2. Bultan T, Fu X (2008) Specification of realizable service conversations using collaboration diagrams. Serv Oriented Comput Appl 2(1): 27–39

    Article  Google Scholar 

  3. Damm W, Harel D (2001) Lscs: breathing life into message sequence charts. Formal Methods Syst Des 19: 45–80

    Article  MATH  Google Scholar 

  4. Decker G, Weske M (2007) Local enforceability in interaction Petri nets. In: Proceedings of 5th international conference on business process management, pp 305–319

  5. Erl T (2004) Service-oriented architecture. Prentice-Hall, Englewood Cliffs

    Google Scholar 

  6. Hanson JE, Nandi P, Levine DW (2002) Conversation-enabled web services for agents and e-business. In: Proceedings of the international conference on internet computing, pp 791–796

  7. Harel D, Kugler H, Pnueli A (2005a) Synthesis revisited: generating statechart models from scenario-based requirements. In: Proceedings of formal methods. Lecture notes on computer science, vol 3393, pp 309–324

  8. Harel D, Kugler H, Pnueli A (2005b) Synthesis revisited: generating statechart models from scenario-based requirements. In: Proceedings of formal methods. Lecture notes on computer science, vol 3393, pp 1–16

  9. Leue S, Mehrmann L, Rezai M (1998) Synthesizing ROOM models from message sequence chart specifications. Technical report 98-06. Department of Electrical and Computer Engineering, University of Waterloo

  10. Liang H, Dingel J, Diskin Z (2006) A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of 5th international workshop on scenarios and state machines: models, algorithms and tools, pp 5–11

  11. Lorenz R, Juhás G (2006) Towards synthesis of Petri nets from scenarios. In: Proceedings of ICATPN 2006. Lecture notes on computer science, vol 4024, pp 302–321

  12. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541–580

    Article  Google Scholar 

  13. OMG (2009) OMG unified modeling language. Superstructure version 2.2. object modeling group

  14. Rumbaugh J, Jacobson I, Booch G (2004) The unified modeling language reference manual, 2nd edn. Addison-Wesley, Reading

    Google Scholar 

  15. Salaün G, Bultan T (2009) Realizability of choreographies using process algebra encodings. In: Proceedings of integrated formal methods. Lecture notes on computer science, vol 5423, pp 167–182

  16. Selic B, Gullekson G, Ward PT (1994) Real-time object-oriented modeling. Wiley, New York

    MATH  Google Scholar 

  17. Su J, Bultan T, Fu X, Zhao X (2007) Towards a theory of Web service choreographies. In: Proceedings of the 4th international workshop on Web services and formal methods, pp 1–16

  18. Whittle J, Schumann J (2000) Generating statechart designs from scenarios. In: Proceedings of 22nd international conference on software engineering, pp 314–323

Download references

Author information

Authors and Affiliations

  1. Osaka University, Osaka, Japan

    Toshiyuki Miyamoto & Hiroyuki Kurahata

  2. Osaka Gas Information System Research Institute, Osaka, Japan

    Taku Fujii & Ryoji Hosokawa

Authors
  1. Toshiyuki Miyamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hiroyuki Kurahata
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Taku Fujii
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ryoji Hosokawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Toshiyuki Miyamoto.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Miyamoto, T., Kurahata, H., Fujii, T. et al. Synthesis of state machine diagrams from communication diagrams using Petri nets. Innovations Syst Softw Eng 6, 39–46 (2010). https://doi.org/10.1007/s11334-009-0104-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-009-0104-5

Keywords

Search

Navigation