{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:51:31Z","timestamp":1725529891084},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642008986"},{"type":"electronic","value":"9783642008993"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_10","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T10:24:54Z","timestamp":1237976694000},"page":"172-191","source":"Crossref","is-referenced-by-count":26,"title":["Deciding Substitutability of Services with Operating Guidelines"],"prefix":"10.1007","author":[{"given":"Christian","family":"Stahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Massuthe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Bretschneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Web Services: Principles and Technology","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P.: Web Services: Principles and Technology. Pearson - Prentice Hall, Essex (2007)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. Informatik-Berichte 222, Humboldt-Universit\u00e4t zu Berlin (2008)","DOI":"10.1007\/978-3-642-00899-3_10"},{"key":"10_CR3","volume-title":"EATCS Monographs on Theoretical Computer Science edn.","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. In: EATCS Monographs on Theoretical Computer Science edn., Springer, Heidelberg (1985)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"10_CR6","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Committee Specification, OASIS (2007)"},{"key":"10_CR7","first-page":"452","volume-title":"QSIC 2005","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Schmidt, K.: Operating Guidelines - An Automata-Theoretic Foundation for the Service-Oriented Architecture. In: Cai, K.Y., Ohnishi, A., Lau, E.M.F. (eds.) QSIC 2005, pp. 452\u2013457. IEEE Computer Society, Los Alamitos (2005)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"10_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"issue":"6","key":"10_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.ipl.2008.07.006","volume":"108","author":"P. Massuthe","year":"2008","unstructured":"Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a Partner? Undecidablity of Partner Existence for Open Nets. Inf. Process. Lett.\u00a0108(6), 374\u2013378 (2008)","journal-title":"Inf. Process. Lett."},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-79230-7_10","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2008","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From Public Views to Private Views \u2013 Correctness-by-Design for Services. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 139\u2013153. Springer, Heidelberg (2008)"},{"key":"10_CR13","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"key":"10_CR14","unstructured":"Schmidt, K.: Controllability of Open Workflow Nets. In: Desel, J., Frank, U. (eds.) EMISA 2005. LNI, vol.\u00a0P-75, pp. 236\u2013249. Bonner K\u00f6llen Verlag (2005)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-75183-0_20","volume-title":"Business Process Management","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral Constraints for Services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 271\u2013287. Springer, Heidelberg (2007)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-72988-4_7","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Behavioral Consistency for B2B Process Integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 81\u201395. Springer, Heidelberg (2007)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-75698-9_14","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Contract Based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 207\u2013222. Springer, Heidelberg (2007)"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1328897.1328471","volume":"43","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. SIGPLAN Not.\u00a043(1), 261\u2013272 (2008)","journal-title":"SIGPLAN Not."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-27813-9_19","volume-title":"Computer Aided Verification","author":"C. Fournet","year":"2004","unstructured":"Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 242\u2013254. Springer, Heidelberg (2004)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol.\u00a0625. Springer, Heidelberg (1992)"},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"issue":"1-2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor. Comput. Sci.\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-75698-9_16","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"F. Bonchi","year":"2007","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web Services. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 240\u2013256. Springer, Heidelberg (2007)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"key":"10_CR25","first-page":"148","volume-title":"WWW 2005","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.: Web service interfaces. In: Ellis, A., Hagino, T. (eds.) WWW 2005, pp. 148\u2013159. ACM, New York (2005)"},{"issue":"3","key":"10_CR26","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, Analysing and Managing Web Service Protocols. Data Knowl. Eng.\u00a058(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"10_CR27","first-page":"192","volume-title":"ICWS 2007","author":"J. Pathak","year":"2007","unstructured":"Pathak, J., Basu, S., Honavar, V.: On Context-Specific Substitutability of Web Services. In: ICWS 2007, pp. 192\u2013199. IEEE Computer Society Press, Los Alamitos (2007)"},{"issue":"4","key":"10_CR28","doi-asserted-by":"publisher","first-page":"14","DOI":"10.4018\/jwsr.2004100102","volume":"1","author":"A. Wombacher","year":"2004","unstructured":"Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.J.: Matchmaking for business processes based on choreographies. Int. J. Web Service Res.\u00a01(4), 14\u201332 (2004)","journal-title":"Int. J. Web Service Res."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T02:24:05Z","timestamp":1558232645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}