{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:19:50Z","timestamp":1725743990120},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404641"},{"type":"electronic","value":"9783642404658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40465-8_6","type":"book-chapter","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T00:58:46Z","timestamp":1375664326000},"page":"106-122","source":"Crossref","is-referenced-by-count":0,"title":["When Can We Trust a Third Party?"],"prefix":"10.1007","author":[{"given":"Kees M.","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Martijn E. M.","family":"van der Werf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"doi-asserted-by":"crossref","unstructured":"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\u201331 (2010)","key":"6_CR2","DOI":"10.1007\/s00165-010-0161-4"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-02424-5_17","volume-title":"Applications and Theory of Petri Nets","author":"W.M.P. Aalst van der","year":"2009","unstructured":"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.\u00a05606, pp. 283\u2013302. Springer, Heidelberg (2009)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal\u00a053(1), 90\u2013106 (2010)","journal-title":"The Computer Journal"},{"key":"6_CR5","volume-title":"Web Services \u2013 Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services \u2013 Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"S.S. Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 43\u201358. Springer, Heidelberg (2012)"},{"unstructured":"Beisiegel, M., Khand, K., Karmarkar, A., Patil, S., Rowley, M.: Service Component Architecture Assembly Model Specification Version 1.1 (2010)","key":"6_CR7"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1994)","key":"6_CR9"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-89287-8_8","volume-title":"Transactions on Petri Nets and Other Models of Concurrency I","author":"K.M. Hee van","year":"2008","unstructured":"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.\u00a05100, pp. 119\u2013133. Springer, Heidelberg (2008)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K.M. Hee van","year":"2003","unstructured":"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.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"6_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-2009-0095","volume":"93","author":"K.M. Hee van","year":"2009","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M., van der Werf, J.M.E.M.: Generation of database transactions with petri nets. Fundamenta Informaticae\u00a093(1-3), 171\u2013184 (2009)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"6_CR13","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"volume-title":"Dynamic Business Process Formation for Instant Virtual Enterprises","year":"2010","unstructured":"Mehandjiev, N., Grefen, P.W.P.J. (eds.): Dynamic Business Process Formation for Instant Virtual Enterprises. Springer, Berlin (2010)","key":"6_CR14"},{"issue":"3-5","key":"6_CR15","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.jlap.2009.12.001","volume":"79","author":"A.j. Mooij","year":"2010","unstructured":"Mooij, A.j., Stahl, C., Voorhoeve, M.: Relating fair testing and accordance for service replaceability. J. Log. Algebr. Program.\u00a079(3-5), 233\u2013244 (2010)","journal-title":"J. Log. Algebr. Program."},{"key":"6_CR16","series-title":"Monographs in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol.\u00a04. Springer, Berlin (1985)"},{"doi-asserted-by":"crossref","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D., Marroqu\u00edn-Alonso, O.: On the expressiveness of Mobile Synchronizing Petri nets. In: Proceedings of the International Workshop on Security and Concurrency (SecCo 2005). ENTCS, vol.\u00a01, pp. 77\u201394. Elsevier (2007)","key":"6_CR17","DOI":"10.1016\/j.entcs.2005.05.048"},{"unstructured":"van der Werf, J.M.E.M.: Compositional design and verification of component-based information systems. PhD thesis, Technische Universiteit Eindhoven (2011)","key":"6_CR18"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"K. Wolf","year":"2009","unstructured":"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.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"unstructured":"Wolf, K.: Decidability Issues for Decentralized Controllability of Open Nets. In: 17th German Workshop on Algorithms and Tools for Petri Nets, vol.\u00a0643, pp. 124\u2013129. CEUR-WS (2010)","key":"6_CR20"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40465-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T11:24:54Z","timestamp":1596281094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40465-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404641","9783642404658"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40465-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}