{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:17:45Z","timestamp":1725470265673},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642382291"},{"type":"electronic","value":"9783642382307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38230-7_3","type":"book-chapter","created":{"date-parts":[[2013,5,14]],"date-time":"2013-05-14T20:43:30Z","timestamp":1368564210000},"page":"30-48","source":"Crossref","is-referenced-by-count":1,"title":["Service Discovery with Cost Thresholds"],"prefix":"10.1007","author":[{"given":"Jan","family":"S\u00fcrmeli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-00596-1_25","volume-title":"Foundations of Software Science and Computational Structures","author":"P. Abdulla","year":"2009","unstructured":"Abdulla, P., Mayr, R.: Minimal Cost Reachability\/Coverability in Priced Timed Petri Nets. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 348\u2013363. Springer, Heidelberg (2009)"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021(4), 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"3_CR3","unstructured":"Alves, A.: Others: Web Services Business Process Execution Language Version 2.0. Oasis standard, OASIS (April 11, 2007)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Belhajjame, K., Brambilla, M.: Ontological description and similarity-based discovery of business process models. IJISMD, 47\u201366 (2011)","DOI":"10.4018\/jismd.2011040103"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Dong, X., Halevy, A., Madhavan, J., Nemes, E., Zhang, J.: Similarity search for web services. In: Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, vol.\u00a030, pp. 372\u2013383. VLDB Endowment (2004)","DOI":"10.1016\/B978-012088469-8.50035-8"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata, 1st edn. Springer Publishing Company, Incorporated (2009)","DOI":"10.1007\/978-3-642-01492-5"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: 2012 IEEE 19th International Conference on Web Services, pp. 145\u2013152 (2006)","DOI":"10.1109\/ICWS.2006.37"},{"key":"3_CR8","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":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-15618-2_7","volume-title":"Business Process Management","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 61\u201377. Springer, Heidelberg (2010)"},{"key":"3_CR10","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, 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11948148_13","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"F. Paoli De","year":"2006","unstructured":"De Paoli, F., Lulli, G., Maurino, A.: Design of Quality-Based Composite Web Services. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 153\u2013164. Springer, Heidelberg (2006)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-75132-8_3","volume-title":"Software Architecture","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P.: What\u2019s in a service? In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol.\u00a04758, pp. 11\u201328. Springer, Heidelberg (2007)"},{"key":"3_CR13","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":"3_CR14","unstructured":"Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a04. Springer (1985)"},{"key":"3_CR15","first-page":"279","volume-title":"Proceedings of the 2005 IEEE International Conference on Services Computing, SCC 2005","author":"Z. Shen","year":"2005","unstructured":"Shen, Z., Su, J.: Web service discovery based on behavior signatures. In: Proceedings of the 2005 IEEE International Conference on Services Computing, SCC 2005, vol.\u00a01, pp. 279\u2013286. IEEE Computer Society, Washington, DC (2005)"},{"key":"3_CR16","unstructured":"S\u00fcrmeli, J.: Synthesizing cost-minimal partners for services. Informatik-Berichte 239, Humboldt-Universit\u00e4t zu Berlin (2012)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Toch, E., Gal, A., Reinhartz-Berger, I., Dori, D.: A semantic approach to approximate service retrieval. ACM Trans. Internet Technol.\u00a08(1) (November 2007)","DOI":"10.1145\/1294148.1294150"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-15618-2_9","volume-title":"Business Process Management","author":"W. Aalst van der","year":"2010","unstructured":"van der Aalst, W., Lohmann, N., La Rosa, M., Xu, J.: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 95\u2013111. Springer, Heidelberg (2010)"},{"key":"3_CR19","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.) ToPNoC II. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"issue":"5","key":"3_CR20","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition. IEEE Trans. Software Eng.\u00a030(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38230-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T21:40:21Z","timestamp":1557697221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38230-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382291","9783642382307"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38230-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}