Skip to main content
SpringerLink
Log in
SpringerLink
Log in

When Can We Trust a Third Party?

A Soundness Perspective

  • Chapter
Transactions on Petri Nets and Other Models of Concurrency VIII

Part of the book series: Lecture Notes in Computer Science ((TOPNOC,volume 8100))

Abstract

Organizations often do not want to reveal the way a product is created or a service is delivered. As a consequence, if two organizations want to cooperate, they contact a trusted third party. Each specifies how it wants to communicate with the other party. The trusted third party then needs to assure that the two organizations cooperate correctly. In this paper, we study requirements on trusted third parties to ensure correct cooperation between the different organizations.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, 1–31 (2010)

    Google Scholar 

  3. van der Aalst, W.M.P., van Hee, K.M., Massuthe, P., Sidorova, N., van der Werf, J.M.E.M.: Compositional Service Trees. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 283–302. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal 53(1), 90–106 (2010)

    Article  Google Scholar 

  5. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services – Concepts, Architectures and Applications. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  6. Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., Wąsowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 43–58. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  7. Beisiegel, M., Khand, K., Karmarkar, A., Patil, S., Rowley, M.: Service Component Architecture Assembly Model Specification Version 1.1 (2010)

    Google Scholar 

  8. Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305–319. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1994)

    Google Scholar 

  10. van Hee, K.M., Keiren, J., Post, R., Sidorova, N., van der Werf, J.M.E.M.: Designing case handling systems. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency I. LNCS, vol. 5100, pp. 119–133. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. van Hee, K.M., Sidorova, N., Voorhoeve, M., van der Werf, J.M.E.M.: Generation of database transactions with petri nets. Fundamenta Informaticae 93(1-3), 171–184 (2009)

    MathSciNet  MATH  Google Scholar 

  13. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)

    Google Scholar 

  14. Mehandjiev, N., Grefen, P.W.P.J. (eds.): Dynamic Business Process Formation for Instant Virtual Enterprises. Springer, Berlin (2010)

    Google Scholar 

  15. Mooij, A.j., Stahl, C., Voorhoeve, M.: Relating fair testing and accordance for service replaceability. J. Log. Algebr. Program. 79(3-5), 233–244 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol. 4. Springer, Berlin (1985)

    MATH  Google Scholar 

  17. Rosa-Velardo, F., de Frutos-Escrig, D., Marroquín-Alonso, O.: On the expressiveness of Mobile Synchronizing Petri nets. In: Proceedings of the International Workshop on Security and Concurrency (SecCo 2005). ENTCS, vol. 1, pp. 77–94. Elsevier (2007)

    Google Scholar 

  18. van der Werf, J.M.E.M.: Compositional design and verification of component-based information systems. PhD thesis, Technische Universiteit Eindhoven (2011)

    Google Scholar 

  19. Wolf, K.: Does My Service Have Partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  20. Wolf, K.: Decidability Issues for Decentralized Controllability of Open Nets. In: 17th German Workshop on Algorithms and Tools for Petri Nets, vol. 643, pp. 124–129. CEUR-WS (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Kees M. van Hee, Natalia Sidorova & Jan Martijn E. M. van der Werf

Authors
  1. Kees M. van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Natalia Sidorova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Martijn E. M. van der Werf
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science, Newcastle University, NE1 7RU, Newcastle upon Tyne, UK

    Maciej Koutny

  2. Department of Mathematics and Computer Science, Eindhoven University of Technology, 5600, Eindhoven, MB, The Netherlands

    Wil M. P. van der Aalst

  3. School of Electrical, Electronic and Computer Engineering, Newcastle University, NE1 7RU, Newcastle upon Tyne, UK

    Alex Yakovlev

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

van Hee, K.M., Sidorova, N., van der Werf, J.M.E.M. (2013). When Can We Trust a Third Party?. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds) Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science, vol 8100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40465-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40465-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40464-1

  • Online ISBN: 978-3-642-40465-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation