{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:11:35Z","timestamp":1742911895258,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17358-5_46","type":"book-chapter","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T12:06:22Z","timestamp":1290600382000},"page":"612-618","source":"Crossref","is-referenced-by-count":3,"title":["Service Discovery Using Communication Fingerprints"],"prefix":"10.1007","author":[{"given":"Olivia","family":"Oanea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"S\u00fcrmeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"Oanea, O., S\u00fcrmeli, J., Wolf, K.: Service discovery using communication fingerprints. Informatik-Berichte 236, Humboldt-Universit\u00e4t zu Berlin (2010)","DOI":"10.1007\/978-3-642-17358-5_46"},{"key":"46_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Peled, D., Grumberg, O.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"46_CR3","first-page":"168","volume-title":"ACSD 2009","author":"K. Wolf","year":"2009","unstructured":"Wolf, K., Stahl, C., Ott, J., Danitz, R.: Verifying livelock freedom in an SOA scenario. In: ACSD 2009, pp. 168\u2013177. IEEE, Los Alamitos (2009)"},{"key":"46_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"46_CR5","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical Report CS-02-08, OASIS (2007)"},{"issue":"1","key":"46_CR6","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/s10559-006-0044-0","volume":"42","author":"D.A. Zaitsev","year":"2006","unstructured":"Zaitsev, D.A.: Compositional analysis of Petri nets. Cybernetics and Systems Analysis\u00a042(1), 126\u2013136 (2006)","journal-title":"Cybernetics and Systems Analysis"},{"key":"46_CR7","unstructured":"S\u00fcrmeli, J.: Profiling services with static analysis. In: AWPN 2009 Proceedings, of CEUR Workshop Proceedings, vol.\u00a0501, pp. 35\u201340 CEUR-WS.org (2009)"},{"key":"46_CR8","unstructured":"Oanea, O., Wolf, K.: An efficient necessary condition for compatibility. In: ZEUS, of CEUR Workshop Proceedings, vol.\u00a0438, pp. 81\u201387 CEUR-WS.org (2009)"},{"key":"46_CR9","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. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"key":"46_CR10","unstructured":"Lautenbach, K.: Liveness in Petri Nets. St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung Bonn, Interner Bericht ISF-75-02.1 (1975)"},{"key":"46_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"46_CR12","unstructured":"Mennicke, S., Oanea, O., Wolf, K.: Decomposition into open nets. In: AWPN 2009, Proceedings of CEUR Workshop, pp. 29\u201334 CEUR-WS.org (2009)"},{"issue":"3","key":"46_CR13","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.dss.2006.03.013","volume":"42","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P.: Matching observed behavior and modeled behavior: an approach based on Petri nets and integer programming. Decis. Support Syst.\u00a042(3), 1843\u20131859 (2006)","journal-title":"Decis. Support Syst."},{"key":"46_CR14","first-page":"33","volume-title":"SCC 20209","author":"M. Weidlich","year":"2009","unstructured":"Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: SCC 20209, pp. 33\u201340. IEEE, Los Alamitos (2009)"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-13675-7_6"},{"key":"46_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-03848-8_14","volume-title":"Business Process Management","author":"K. Kaschner","year":"2009","unstructured":"Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and constructions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 193\u2013210. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17358-5_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T10:27:03Z","timestamp":1559816823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17358-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173578","9783642173585"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17358-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}