{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:02:51Z","timestamp":1774915371523,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642019173","type":"print"},{"value":"9783642019180","type":"electronic"}],"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-01918-0_2","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T02:29:47Z","timestamp":1242872987000},"page":"42-88","source":"Crossref","is-referenced-by-count":65,"title":["Service Interaction: Patterns, Formalization, and Analysis"],"prefix":"10.1007","author":[{"given":"Wil M. P.","family":"van der Aalst","sequence":"first","affiliation":[]},{"given":"Arjan J.","family":"Mooij","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W., ter Hofstede, A.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)"},{"key":"2_CR2","volume-title":"Web Services Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer, Berlin (2004)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.: Service Interaction Patterns. In: van der Aalst, W., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/11841760_32","volume-title":"Business Process Management","author":"G. Decker","year":"2006","unstructured":"Decker, G., Puhlmann, F., Weske, M.: Formalizing Service Interactions. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 414\u2013419. Springer, Heidelberg (2006)"},{"key":"2_CR5","volume-title":"Enterprise Integration Patterns","author":"G. Hohpe","year":"2003","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley Professional, Reading (2003)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/978-3-540-76848-7_49","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"N. Mulyar","year":"2007","unstructured":"Mulyar, N., Aldred, L., van der Aalst, W.: The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 735\u2013753. Springer, Heidelberg (2007)"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Communications of the ACM\u00a040(5), 80\u201391 (1997)","journal-title":"Communications of the ACM"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/EDOC.2006.50","volume-title":"International Enterprise Distributed Object Computing Conference (EDOC 2006)","author":"J. Zaha","year":"2006","unstructured":"Zaha, J., Dumas, M., ter Hofstede, A., Barros, A., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. In: International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 45\u201355. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"2_CR9","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C., Khalaf, R., Koenig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 (OASIS Standard). WS-BPEL TC OASIS (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"3","key":"2_CR11","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"},{"key":"2_CR12","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR14","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","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. EATCS Monographs in Theoretical Computer Science, vol.\u00a04. Springer, Berlin (1985)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"van der Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"2_CR16","series-title":"Professional Computing Series","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison Wesley, Reading (1995)"},{"key":"2_CR17","unstructured":"Mulyar, N.: Patterns for Process-Aware Information Systems: An Approach Based on Colored Petri Nets. Ph.D thesis, Eindhoven University of Technology, Eindhoven (2009)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W., ter Hofstede, A., Edmond, D.: Workflow Resource Patterns: Identification, Representation and Tool Support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11568322_23","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"N. Russell","year":"2005","unstructured":"Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow Data Patterns: Identification, Representation and Tool Support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol.\u00a03716, pp. 353\u2013368. Springer, Heidelberg (2005)"},{"key":"2_CR20","volume-title":"A Pattern Language: Towns, Building and Construction","author":"C. Alexander","year":"1977","unstructured":"Alexander, C.: A Pattern Language: Towns, Building and Construction. Oxford University Press, Oxford (1977)"},{"key":"2_CR21","unstructured":"Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. BPM Center Report BPM-06-22, BPMcenter.org (2006)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/11767138_20","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2006","unstructured":"Russell, N., van der Aalst, W., ter Hofstede, A.: Workflow Exception Patterns. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 288\u2013302. Springer, Heidelberg (2006)"},{"key":"2_CR23","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"2_CR24","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. In: Proceedings of the 2nd South-East European Workshop on Formal Methods 2005 (SEEFM 2005), Ohrid, Republic of Macedonia (2005)"},{"key":"2_CR25","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1109\/QSIC.2005.47","volume-title":"Proceedings of the Fifth International Conference on Quality Software (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, M.F. (eds.) Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pp. 452\u2013457. IEEE Computer Society, Los Alamitos (2005)"},{"key":"2_CR27","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":"2_CR28","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-69132-7","volume-title":"ToPNoC II 2008","author":"K. Wolf","year":"2008","unstructured":"Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II 2008. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2008)"},{"key":"2_CR30","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)"},{"key":"2_CR31","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":"2_CR32","series-title":"Lecture Notes in Computer Science","first-page":"172","volume-title":"ToPNoC\u00a0II 2008","author":"C. Stahl","year":"2008","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC\u00a0II 2008. LNCS, vol.\u00a05460, pp. 172\u2013191. Springer, Heidelberg (2008)"},{"key":"2_CR33","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":"2_CR34","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."},{"issue":"2","key":"2_CR35","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.: Inheritance of Behavior. Journal of Logic and Algebraic Programming\u00a047(2), 47\u2013145 (2001)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"3","key":"2_CR36","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R., Weijland, W.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"key":"2_CR37","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. Aalst van der","year":"2008","unstructured":"van der Aalst, W., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From Public Views to Private Views: Correctness-by-Design for Services. In: Dumas, M., Heckel, H. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 139\u2013153. Springer, Heidelberg (2008)"},{"key":"2_CR38","unstructured":"Gierds, C., Mooij, A., Wolf, K.: Specifying and generating behavioral service adapters based on transformation rules. Preprints CS-02-08, Institut fur Informatik, Universitat Rostock (2008)"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 415\u2013429. Springer, Heidelberg (2005)"},{"issue":"1","key":"2_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci.\u00a0105, 73\u201394 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Motahari Nezhad, H., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proc. WWW, pp. 993\u20131002 (2007)","DOI":"10.1145\/1242572.1242706"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.scico.2005.10.009","volume":"61","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Canal, C., Pimentel, E.: On the semantics of software adaptation. Science of Computer Programming\u00a061, 136\u2013151 (2006)","journal-title":"Science of Computer Programming"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Mooij, A., Voorhoeve, M.: Proof techniques for adapter generation. In: Proc. WS-FM (2008)","DOI":"10.1007\/978-3-642-01364-5_13"},{"key":"2_CR47","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)"},{"issue":"4","key":"2_CR48","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"34","author":"C. Canal","year":"2008","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Model-based adaptation of behavioral mismatching components. IEEE Transactions on Software Engineering\u00a034(4), 546\u2013563 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of service protocols using process algebra and on-the-fly reduction techniques. In: Proc. ICSOC, pp. 84\u201399 (2008)","DOI":"10.1007\/978-3-540-89652-4_10"},{"issue":"1","key":"2_CR50","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data & Knowledge Engineering\u00a064(1), 38\u201354 (2008)","journal-title":"Data & Knowledge Engineering"},{"key":"2_CR51","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes. In: Proc. Modellierung. Lecture Notes in Informatics (LNI), vol.\u00a0P-127, pp. 57\u201372 (2008)"},{"issue":"6","key":"2_CR52","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. Information Processing Letters\u00a0108(6), 374\u2013378 (2008)","journal-title":"Information Processing Letters"},{"key":"2_CR53","volume-title":"Advanced Microelectronics","author":"J. Cortadella","year":"2002","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Logic synthesis of asynchronous controllers and interfaces. In: Advanced Microelectronics. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T04:02:16Z","timestamp":1558324936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}