{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:10:35Z","timestamp":1742386235565,"version":"3.40.1"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T00:00:00Z","timestamp":1327968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1007\/s10270-012-0229-0","type":"journal-article","created":{"date-parts":[[2012,1,30]],"date-time":"2012-01-30T09:30:06Z","timestamp":1327915806000},"page":"489-515","source":"Crossref","is-referenced-by-count":3,"title":["Design for service compatibility"],"prefix":"10.1007","volume":"12","author":[{"given":"Georg","family":"Grossmann","sequence":"first","affiliation":[]},{"given":"Michael","family":"Schrefl","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,31]]},"reference":[{"issue":"6","key":"229_CR1","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/j.datak.2008.12.002","volume":"68","author":"M. De Backer","year":"2009","unstructured":"De Backer M., Snoeck M., Monsieur G., Lemahieu W., Dedene G.: A scenario-based verification technique to assess the compatibility of collaborative business processes. Data Knowl. Eng. 68(6), 531\u2013551 (2009)","journal-title":"Data Knowl. Eng."},{"issue":"3","key":"229_CR2","doi-asserted-by":"crossref","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. 58(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"229_CR3","doi-asserted-by":"crossref","unstructured":"Bichler, P., Preuner, G., Schrefl, M.: Workflow transparency. In: Proceedings of CAiSE. LNCS, vol. 1250, pp. 423\u2013436. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63107-0_30"},{"key":"229_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional specification of web services via behavioural equivalence of nets: a case study. In: Petri Nets, pp. 52\u201371 (2008)","DOI":"10.1007\/978-3-540-68746-7_8"},{"key":"229_CR5","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Proceedings of TES, pp. 15\u201328. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"229_CR6","unstructured":"Briol, P.: BPMN 2.0 Distilled. lulu.com (2010)"},{"issue":"1","key":"229_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11761-008-0022-7","volume":"2","author":"T. Bultan","year":"2008","unstructured":"Bultan T., Fu X.: Specification of realizable service conversations using collaboration diagrams. Int. J. Service-Oriented Comput. Appl. 2(1), 27\u201339 (2008)","journal-title":"Int. J. Service-Oriented Comput. Appl."},{"key":"229_CR8","doi-asserted-by":"crossref","unstructured":"Cavallaro, L., Di Nitto, E.: An approach to adapt service requests to actual service interfaces. In: Proceedings of SEAMS Workshop, pp. 129\u2013136. ACM (2008)","DOI":"10.1145\/1370018.1370041"},{"key":"229_CR9","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman R.M., Dumas M., Ouyang C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50, 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"229_CR10","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60\u201366. Springer, Berlin (1982)","DOI":"10.1007\/978-1-4612-5695-3_12"},{"key":"229_CR11","doi-asserted-by":"crossref","unstructured":"Dong, W.-L., Yu, H., Zhang, Y.-B.: Testing BPEL-based web service composition using high-level Petri Nets. In: Proceedings of EDOC, pp. 441\u2013444 (2006)","DOI":"10.1109\/EDOC.2006.59"},{"key":"229_CR12","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Grefen, P.W.P.J., Till, S.: Structured service composition. In: Proceedings of BPM. LNCS, vol. 4102, pp. 97\u2013112. Springer, Berlin (2006)","DOI":"10.1007\/11841760_8"},{"key":"229_CR13","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services. Proc. ICWS, pp. 738\u2013741. IEEE Press (2004)","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"229_CR14","doi-asserted-by":"crossref","unstructured":"Genrich, H.J.: Predicate transition nets. In: Petri Nets: Central Models and their Properties. LNCS, vol. 254, pp. 207\u2013247. Springer, Berlin (1981)","DOI":"10.1007\/BFb0046841"},{"key":"229_CR15","doi-asserted-by":"crossref","unstructured":"Gong, X., Liu, J., Zhang, M., Hu, J.: Formal analysis of services compatibility. In: Proceedings of COMPSAC, pp. 243\u2013248. IEEE Press (2009)","DOI":"10.1109\/COMPSAC.2009.141"},{"key":"229_CR16","doi-asserted-by":"crossref","unstructured":"Grossmann, G., Stumptner, M., Schrefl, M.: Model driven orchestration: design for service compatibility. In: Proceedings of MODELS. LNCS, vol. 6395, pp. 17\u201331. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16129-2_3"},{"issue":"3","key":"229_CR17","first-page":"155","volume":"200","author":"N. Guermouche","year":"2008","unstructured":"Guermouche N., Perrin O., Ringeissen C.: Timed specification for web services compatibility analysis. ENTCS 200(3), 155\u2013170 (2008)","journal-title":"ENTCS"},{"key":"229_CR18","doi-asserted-by":"crossref","unstructured":"Haller, A., Oren, E., Kotinurmi, P.: An ontology for internal and external business processes. In: Proceedings of WWW Conference, pp. 1055\u20131056. ACM (2006)","DOI":"10.1145\/1135777.1136012"},{"key":"229_CR19","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based model for web service composition. In: Proceedings of ADC, pp. 191\u2013200. ACS (2003)"},{"key":"229_CR20","doi-asserted-by":"crossref","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: Proceedings of BPM. LNCS, vol. 3649, pp. 220\u2013235 (2005)","DOI":"10.1007\/11538394_15"},{"key":"229_CR21","doi-asserted-by":"crossref","unstructured":"Kappel, G., Schrefl, M.: Object\/behavior diagrams. In: Proceedings IEEE ICDE, pp. 530\u2013539. IEEE Press (1991)","DOI":"10.1109\/ICDE.1991.131502"},{"key":"229_CR22","doi-asserted-by":"crossref","unstructured":"Kappel, G., Schrefl, M.: Using an object-oriented diagram technique for the design of information systems. In: Proceedings of the International Working Conference on Dynamic Modelling of Information Systems, pp. 121\u2013164. Elsevier (1991)","DOI":"10.1016\/B978-0-444-88923-2.50008-2"},{"key":"229_CR23","doi-asserted-by":"crossref","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Proceedings of CAiSE. LNCS, vol. 1789, pp. 431\u2013445. Springer, Berlin (2000)","DOI":"10.1007\/3-540-45140-4_29"},{"key":"229_CR24","doi-asserted-by":"crossref","unstructured":"Kindler, E., Martens, A., Reisig, W.: Inter-operability of workflow applications: local criteria for global soundness. In: Proceedings of BPM. LNCS, vol. 1806, pp. 235\u2013253 (2000)","DOI":"10.1007\/3-540-45594-9_15"},{"key":"229_CR25","doi-asserted-by":"crossref","unstructured":"Lang, P., Obermair, W., Schrefl, M.: Modeling business rules with situation\/activation diagrams. In: Proceedings IEEE ICDE, pp. 455\u2013464. IEEE Press (1997)","DOI":"10.1109\/ICDE.1997.582006"},{"key":"229_CR26","doi-asserted-by":"crossref","unstructured":"Leymann, F.: Workflow-based coordination and cooperation in a service world. In: Proceedings of OTM. LNCS, vol. 4275, pp. 2\u201316 (2006)","DOI":"10.1007\/11914853_2"},{"issue":"3","key":"229_CR27","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1109\/TSMCA.2010.2093884","volume":"41","author":"X. Li","year":"2011","unstructured":"Li X., Fan Y., Sheng Q.Z., Maamar Z., Zhu H.: A Petri Net approach to analyzing behavioral compatibility and similarity of web services. IEEE Trans. Syst. Man Cybern. A 41(3), 510\u2013521 (2011)","journal-title":"IEEE Trans. Syst. Man Cybern. A"},{"key":"229_CR28","doi-asserted-by":"crossref","unstructured":"Liang, Q., Huhns, M.N.: Ontology-based compatibility checking for web service configuration management. In: Proceedings of ICSOC. LNCS, vol. 5364, pp. 407\u2013421. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89652-4_31"},{"issue":"1","key":"229_CR29","doi-asserted-by":"crossref","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 Knowl. Eng. 64(1), 38\u201354 (2008)","journal-title":"Data Knowl. Eng."},{"key":"229_CR30","first-page":"12","volume":"65","author":"A. Martens","year":"2003","unstructured":"Martens A.: On compatibility of web services. Petri Net Newslett. 65, 12\u201320 (2003)","journal-title":"Petri Net Newslett."},{"key":"229_CR31","unstructured":"Massuthe, P., Wolf, K.: An algorithm for matching nondeterministic services with operating guidelines. In: The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings. IBFI Dagstuhl (2006)"},{"key":"229_CR32","doi-asserted-by":"crossref","unstructured":"Moser, S., Martens, A., H\u00e4bich, M., M\u00fclle, J.: A hybrid approach for generating compatible WS-BPEL partner processes. In: Proceedings of BPM. LNCS, vol. 4102, pp. 458\u2013464. Springer, Berlin (2006)","DOI":"10.1007\/11841760_39"},{"key":"229_CR33","unstructured":"OMG: Business Process Modeling Notation Specification (BPMN) 2.0, January 2011. OMG Document Number: formal\/2011-01-03 (2011)"},{"issue":"2-3","key":"229_CR34","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang C., Verbeek E., van der Aalst Wil M.P., Breutel S., Dumas M., ter Hofstede A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"11","key":"229_CR35","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou M.P., Traverso P., Dustdar S., Leymann F.: Service-oriented computing: state of the art and research challenges. IEEE Comput. 40(11), 38\u201345 (2007)","journal-title":"IEEE Comput."},{"issue":"3","key":"229_CR36","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","volume":"16","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou M.P., van den Heuvel W.-J.: Service oriented architectures: approaches, technologies and research issues. VLDB J. 16(3), 389\u2013415 (2007)","journal-title":"VLDB J."},{"key":"229_CR37","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Upper Saddle River (1981)"},{"issue":"1","key":"229_CR38","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl M., Stumptner M.: Behavior-consistent specialization of object life cycles. ACM TOSEM 11(1), 92\u2013148 (2002)","journal-title":"ACM TOSEM"},{"issue":"1","key":"229_CR39","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/TASE.2008.916747","volume":"6","author":"W. Tan","year":"2009","unstructured":"Tan W., Fan Y., Zhou M.: A Petri Net-based method for compatibility analysis and composition of web services in business process execution language. IEEE Trans. Autom. Sci. Eng. 6(1), 94\u2013106 (2009)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"229_CR40","doi-asserted-by":"crossref","unstructured":"Tan, W., Rao, F., Fan, Y., Zhu, J.: Compatibility analysis and mediation-aided composition for BPEL services. In: Proceedings of the 12th International Conference on Database Systems for Advanced Applications (DASFAA\u201907), pp. 1062\u20131065. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71703-4_105"},{"key":"229_CR41","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Weske, M.: The P2P approach to interorganizational workflows. In: Proceedings of CAiSE. LNCS, vol. 2068, pp. 140\u2013156. Springer, Berlin, May 2001","DOI":"10.1007\/3-540-45341-5_10"},{"key":"229_CR42","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R.M., Weske, M.: Deciding behaviour compatibility of complex correspondences between process models. In: Proceedings of BPM. LNCS, vol. 6336, pp. 78\u201394 (2010)","DOI":"10.1007\/978-3-642-15618-2_8"},{"key":"229_CR43","doi-asserted-by":"crossref","unstructured":"Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Proceedings of the International Conference on Database Theory. LNCS, vol. 1186, pp. 230\u2013246. Springer, Berlin (1997)","DOI":"10.1007\/3-540-62222-5_48"},{"key":"229_CR44","doi-asserted-by":"crossref","unstructured":"Wombacher, A.: Decentralized consistency checking in cross-organizational workflows. In: Proceedings of CEC\/EEE\u201906, pp. 39\u201346. IEEE Press (2006)","DOI":"10.1109\/CEC-EEE.2006.32"},{"issue":"1","key":"229_CR45","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10115-008-0143-5","volume":"19","author":"Z. Wu","year":"2009","unstructured":"Wu Z., Deng S., Li Y., Wu J.: Computing compatibility in dynamic service composition. Knowl. Inf. Syst. 19(1), 107\u2013129 (2009)","journal-title":"Knowl. Inf. Syst."},{"issue":"3","key":"229_CR46","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1109\/TSMCC.2008.919193","volume":"38","author":"J.M. Zaha","year":"2008","unstructured":"Zaha J.M., Dumas M., ter Hofstede A.H.M., Barros A.P., Decker G.: Bridging global and local models of service-oriented systems. IEEE Trans. Syst. Man Cybern. 38(3), 302\u2013318 (2008)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"229_CR47","doi-asserted-by":"crossref","unstructured":"Zhou, Z., Bhiri, S., Gaaloul, W., Shu, L., Hauswirth, M.: Behavioral compatibility of web services. In: OTM Workshops. LNCS, vol. 5333, pp. 27\u201328. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88875-8_13"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0229-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0229-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0229-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:39:40Z","timestamp":1742384380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0229-0"}},"subtitle":["Behavioural compatibility checking and diagnosis"],"short-title":[],"issued":{"date-parts":[[2012,1,31]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["229"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0229-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,1,31]]}}}