Skip to main content
SpringerLink
Log in

Compositional Process Model Synthesis Based on Interface Patterns

  • Conference paper
  • First Online:
Tools and Methods of Program Analysis (TMPA 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 779))

Included in the following conference series:

  • 684 Accesses

Abstract

Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the so-called state space explosion problem, when the size of the system reachability set grows exponentially on the number of interacting agents. To overcome this problem several approaches to construct correct models of interacting agents in a compositional way were proposed in the literature. They define different properties and conditions to ensure correct behavior of interacting agents. Checking these conditions may be in its turn quite a problem.

In this paper we propose patterns for correct composition of component models. For justifying these patterns we use special net morphisms. However, to apply patterns the user does not need to be familiar with the underlying theory.

This work is supported by the Basic Research Program at the National Research University Higher School of Economics and Russian Foundation for Basic Research, project No. 16-01-00546.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bednarczyk, M.A., Bernardinello, L., Caillaud, B., Pawłowski, W., Pomello, L.: Modular system development with pullbacks. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 140–160. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44919-1_12

    Chapter  Google Scholar 

  2. Bednarczyk, M.A., Borzyszkowski, A.M.: General morphisms of petri nets (Extended Abstract). In: Wiedermann, J., van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 190–199. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48523-6_16

    Chapter  Google Scholar 

  3. Bernardinello, L., Mangioni, E., Pomello, L.: Local state refinement and composition of elementary net systems: an approach based on morphisms. In: Koutny, M., Aalst, W.M.P., Yakovlev, A. (eds.) Transactions on Petri Nets and Other Models of Concurrency VIII. LNCS, vol. 8100, pp. 48–70. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40465-8_3

    Chapter  Google Scholar 

  4. Bernardinello, L., Monticelli, E., Pomello, L.: On preserving structural and behavioural properties by composing net systems on interfaces. Fundamenta Informaticae 80(1–3), 31–47 (2007)

    MathSciNet  MATH  Google Scholar 

  5. Bernardinello, L., Pomello, L., Scaccabarozzi, S.: Morphisms on marked graphs. In: Moldt, D., Rlke, H. (eds.) International Workshop on Petri Nets and Software Engineering (PNSE 2014). CEUR Workshop Proceedings, No. 1160, pp. 113–127. CEUR-WS.org (2014)

    Google Scholar 

  6. Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: Web service composition based on petri nets: review and contribution. In: Lacroix, Z., Ruckhaus, E., Vidal, M.-E. (eds.) RED 2012. LNCS, vol. 8194, pp. 83–122. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45263-5_5

    Chapter  Google Scholar 

  7. Feng, X.-N., Liu, Q., Wang, Z.: A web service composition modeling and evaluation method used petri net. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb 2006. LNCS, vol. 3842, pp. 905–911. Springer, Heidelberg (2006). https://doi.org/10.1007/11610496_125

    Chapter  Google Scholar 

  8. Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference, vol. 17, pp. 191–200. Australian Computer Society, Inc. (2003)

    Google Scholar 

  9. Lomazova, I.A.: Interacting workflow nets for workflow process re-engineering. Fundamenta Informaticae 101(1–2), 59–70 (2010)

    MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

  11. Pomello, L., Rozenberg, G., Simone, C.: A survey of equivalence notions for net based systems. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 410–472. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55610-9_180

    Chapter  Google Scholar 

  12. Pomello, L., Bernardinello, L.: Formal tools for modular system development. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 77–96. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27793-4_5

    Chapter  Google Scholar 

  13. Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer Publishing Company, Incorporated (2013)

    Book  MATH  Google Scholar 

  14. Winskel, G.: Petri nets, morphisms and compositionality. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 453–477. Springer, Heidelberg (1986). https://doi.org/10.1007/BFb0016226

    Chapter  Google Scholar 

  15. Xu, K., Ma, B.: A petri net based execution engine for web service composition. In: Huang, Z., Liu, C., He, J., Huang, G. (eds.) WISE 2013. LNCS, vol. 8182, pp. 181–193. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54370-8_16

    Chapter  Google Scholar 

  16. Zhang, Z.l., Hong, F., Xiao, H.j.: A colored petri net-based model for web service composition. J. Shanghai Univ.(Engl. Edition) 12(4), 323–329 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Research University Higher School of Economics, 20 Myasnitskaya Ulitsa, 101000, Moscow, Russia

    Roman A. Nesterov & Irina A. Lomazova

Authors
  1. Roman A. Nesterov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roman A. Nesterov .

Editor information

Editors and Affiliations

  1. St. Petersburg Polytechnic University, St. Petersburg, Russia

    Vladimir Itsykson

  2. University of Pennsylvania, Philadelphia, Pennsylvania, USA

    Andre Scedrov

  3. FRC CSC, Moscow, Russia

    Victor Zakharov

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nesterov, R.A., Lomazova, I.A. (2018). Compositional Process Model Synthesis Based on Interface Patterns. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds) Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779. Springer, Cham. https://doi.org/10.1007/978-3-319-71734-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-71734-0_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-71733-3

  • Online ISBN: 978-3-319-71734-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation