{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:13:16Z","timestamp":1725570796250},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_49","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T04:53:14Z","timestamp":1385527994000},"page":"584-591","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing Cost-Minimal Partners for Services"],"prefix":"10.1007","author":[{"given":"Jan","family":"S\u00fcrmeli","sequence":"first","affiliation":[]},{"given":"Marvin","family":"Triebel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","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)"},{"issue":"1","key":"49_CR2","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/TSC.2010.57","volume":"5","author":"C. Gierds","year":"2012","unstructured":"Gierds, C., Mooij, A.J., Wolf, K.: Reducing adapter synthesis to controller synthesis. IEEE T. Services Computing\u00a05(1), 72\u201385 (2012)","journal-title":"IEEE T. Services Computing"},{"issue":"6","key":"49_CR3","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1016\/j.is.2011.08.004","volume":"37","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., Lohmann, N., Rosa, M.L.: Ensuring correctness during process configuration via partner synthesis. Inf. Syst.\u00a037(6), 574\u2013592 (2012)","journal-title":"Inf. Syst."},{"key":"49_CR4","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":"49_CR5","doi-asserted-by":"crossref","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 II. LNCS, vol.\u00a05460, pp. 172\u2013191. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00899-3_10"},{"key":"49_CR6","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":"49_CR7","doi-asserted-by":"crossref","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)","DOI":"10.1007\/978-3-642-00899-3_9"},{"key":"49_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-38230-7_3","volume-title":"Web Services and Formal Methods","author":"J. S\u00fcrmeli","year":"2013","unstructured":"S\u00fcrmeli, J.: Service discovery with cost thresholds. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol.\u00a07843, pp. 30\u201348. Springer, Heidelberg (2013)"},{"key":"49_CR9","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a04. Springer (1985)"},{"key":"49_CR10","unstructured":"S\u00fcrmeli, J., Triebel, M.: Cost-optimizing compositions of services - analysis and synthesis. Informatik-Berichte 242, Humboldt-Universit\u00e4t zu Berlin (2013)"},{"issue":"3-4","key":"49_CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3233\/FI-2011-610","volume":"113","author":"N. Lohmann","year":"2011","unstructured":"Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. Fundam. Inform.\u00a0113(3-4), 295\u2013311 (2011)","journal-title":"Fundam. Inform."},{"key":"49_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-73094-1_5","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K. Wolf","year":"2007","unstructured":"Wolf, K.: Generating petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 29\u201342. Springer, Heidelberg (2007)"},{"issue":"1","key":"49_CR13","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 Knowl. Eng.\u00a064(1), 38\u201354 (2008)","journal-title":"Data Knowl. Eng."},{"key":"49_CR14","unstructured":"Alves, A., et al.: Web services business process execution language version 2.0 (2007)"},{"key":"49_CR15","doi-asserted-by":"crossref","unstructured":"Fisteus, J.A., Fern\u00e1ndez, L.S., Kloos, C.D.: Applying model checking to bpel4ws business collaborations. In: Proceedings of the 2005 ACM Symposium on Applied Computing, SAC 2005, pp. 826\u2013830. ACM, New York (2005)","DOI":"10.1145\/1066677.1066866"},{"key":"49_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Inf.\u00a01, 115\u2013138 (1971)","journal-title":"Acta Inf."},{"key":"49_CR17","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":"49_CR18","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10626-008-0057-0","volume":"20","author":"P. Buchholz","year":"2010","unstructured":"Buchholz, P., Kemper, P.: Model checking for a class of weighted automata. Discrete Event Dynamic Systems\u00a020, 103\u2013137 (2010)","journal-title":"Discrete Event Dynamic Systems"},{"issue":"5","key":"49_CR19","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.ipl.2006.01.012","volume":"98","author":"P. Bouyer","year":"2006","unstructured":"Bouyer, P., Brihaye, T., Markey, N.: Improved undecidability results on weighted timed automata. Information Processing Letters\u00a098(5), 188\u2013194 (2006)","journal-title":"Information Processing Letters"},{"key":"49_CR20","doi-asserted-by":"crossref","unstructured":"Chothia, T., Kleijn, J.: Q-automata: Modelling the resource usage of concurrent components. Electronic Notes in Theoretical Computer Science 175(2), 153\u2013167 (2007); Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)","DOI":"10.1016\/j.entcs.2007.03.009"},{"key":"49_CR21","doi-asserted-by":"crossref","unstructured":"Oster, Z.J., Ali, S.A., Santhanam, G.R., Basu, S., Roop, P.S.: A service composition framework based on goal-oriented requirements engineering, model checking, and qualitative preference analysis. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol.\u00a07636, pp. 283\u2013297. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34321-6_19"},{"issue":"5","key":"49_CR22","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."},{"key":"49_CR23","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.A. Abdulla","year":"2009","unstructured":"Abdulla, P.A., 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)"},{"key":"49_CR24","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0304-3975(95)00188-3","volume":"158","author":"U. Zwick","year":"1996","unstructured":"Zwick, U., Paterson, M.: The complexity of mean payoff games on graphs. Theoretical Computer Science\u00a0158, 343\u2013359 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"49_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10703-010-0105-x","volume":"38","author":"L. Brim","year":"2011","unstructured":"Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., Raskin, J.F.: Faster algorithms for mean-payoff games. Form. Methods Syst. Des.\u00a038(2), 97\u2013118 (2011)","journal-title":"Form. Methods Syst. Des."}],"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-45005-1_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T17:54:46Z","timestamp":1597082086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}