{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:29Z","timestamp":1771042529084,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540782377","type":"print"},{"value":"9783540782384","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78238-4_49","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T05:21:18Z","timestamp":1204262478000},"page":"484-495","source":"Crossref","is-referenced-by-count":35,"title":["Towards a Formal Framework for Reuse in Business Process Modeling"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Markovic","sequence":"first","affiliation":[]},{"given":"Alessandro Costa","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, The Netherlands, Kluwer Academic Publishers, Deventer (1993)"},{"key":"49_CR2","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Technical Report -86, University of Edinburgh (June 1989)"},{"key":"49_CR3","unstructured":"ESSI WSMO working group: Web Service Modeling Ontology (WSMO) \u2013 Final Draft (October 2006), http:\/\/www.wsmo.org\/TR\/d2"},{"key":"49_CR4","unstructured":"ESSI WSML working group: Web Service Modeling Language (WSML) \u2013 Final Draft (October 2006), http:\/\/www.wsmo.org\/TR\/d16\/d16.1\/"},{"key":"49_CR5","unstructured":"Martin, et al.: OWL-S: Semantic Markup for Web Services (2004), http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"49_CR6","unstructured":"Lara, et al.: A conceptual comparison between wsmo and owl-s (2005), http:\/\/www.wsmo.org\/TR\/d4\/d4.1\/v0.1\/d4.1v0.1_20050412.pdf"},{"issue":"1","key":"49_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P.V.D. Aalst","year":"2003","unstructured":"Aalst, W.M.P.V.D., et al.: Workflow patterns. Distrib. Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"49_CR8","unstructured":"Jenz, D.E.: Ontology-based business process management. In: Strategic White Paper \u2013 Draft, Erlensee, Germany, Jenz & Partner GmbH (2003)"},{"key":"49_CR9","unstructured":"Puhlmann, F.: Why do we actually need the pi-calculus for business process management? In: Abramowicz, W., Mayr, H.C. (eds.) BIS. LNI., GI, vol.\u00a085, pp. 77\u201389 (2006)"},{"key":"49_CR10","unstructured":"Smith, H., Fingar, P.: Business Process Management - The Third Wave. Meghan-Kiffer Press (2002)"},{"issue":"6","key":"49_CR11","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1631\/jzus.2003.0643","volume":"4","author":"Y. Dong","year":"2003","unstructured":"Dong, Y., Shen-sheng, Z.: Approach for modeling using pi-calculus. Journal of Zhejiang University Science\u00a04(6), 643\u2013650 (2003)","journal-title":"Journal of Zhejiang University Science"},{"key":"49_CR12","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: Business Process Management, pp. 153\u2013168 (2005)","DOI":"10.1007\/11538394_11"},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Schaffner, J., Meyer, H., Weske, M.: A formal model for mixed initiative service composition. In: SCC 2007. IEEE International Conference on Services Computing, Salt Lake City, USA (2007)","DOI":"10.1109\/SCC.2007.6"},{"key":"49_CR14","first-page":"45","volume-title":"ICWS 2006","author":"S. Agarwal","year":"2006","unstructured":"Agarwal, S., Studer, R.: Automatic matchmaking of web services. In: ICWS 2006. Proceedings of the IEEE International Conference on Web Services, Washington, DC, pp. 45\u201354. IEEE Computer Society, USA (2006)"},{"key":"49_CR15","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Business Process Management, pp. 145\u2013160 (2006)","DOI":"10.1007\/11841760_11"},{"key":"49_CR16","first-page":"409","volume-title":"IEEE SCC","author":"Y. Mou","year":"2004","unstructured":"Mou, Y., Cao, J., sheng Zhang, S.: A process component model for enterprise business knowledge reuse. In: IEEE SCC, pp. 409\u2013412. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"49_CR17","unstructured":"Hepp, M., Roman, D.: An ontology framework for semantic business process management. In: Proceedings of Wirtschaftsinformatik 2007, Karlsruhe, Germany (March 2007)"},{"key":"49_CR18","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management"},{"key":"49_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97819-7","volume-title":"ARIS - Vom Gesch\u00e4ftsprozess zum Anwendungssystem","author":"A.W. Scheer","year":"1998","unstructured":"Scheer, A.W.: ARIS - Vom Gesch\u00e4ftsprozess zum Anwendungssystem. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78238-4_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T08:29:27Z","timestamp":1557304167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78238-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540782377","9783540782384"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78238-4_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}