{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:50Z","timestamp":1725570710688},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-34321-6_19","type":"book-chapter","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T12:06:55Z","timestamp":1358510815000},"page":"283-297","source":"Crossref","is-referenced-by-count":7,"title":["A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis"],"prefix":"10.1007","author":[{"given":"Zachary J.","family":"Oster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed Adeel","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh Ram","family":"Santhanam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samik","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Ali, S.A., Roop, P.S., Warren, I., Bhatti, Z.E.: Unified management of control flow and data mismatches in web service composition. In: Gao, J.Z., Lu, X., Younas, M., Zhu, H. (eds.) SOSE, pp. 93\u2013101. IEEE (2011)","DOI":"10.1109\/SOSE.2011.6139097"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/1368088.1368173","volume-title":"ICSE","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: ICSE, pp. 613\u2013622. ACM, New York (2008)"},{"key":"19_CR3","unstructured":"Bouveret, S., Endriss, U., Lang, J.: Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In: International Joint Conference on Artificial Intelligence, pp. 67\u201372 (2009)"},{"key":"19_CR4","unstructured":"Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language version 2.0 part 1: Core language. W3C Recommendation, World Wide Web Consortium (June 2007), \n                      \n                        http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic (2000)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"19_CR7","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (January 2000)"},{"key":"19_CR8","unstructured":"Erl, T.: SOA: Principles of Service Design. Prentice Hall (2008)"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/TSC.2010.5","volume":"3","author":"J.E. Haddad","year":"2010","unstructured":"Haddad, J.E., Manouvrier, M., Rukoz, M.: TQoS: Transactional and QoS-aware selection algorithm for automatic web service composition. IEEE T. Services Computing\u00a03(1), 73\u201385 (2010)","journal-title":"IEEE T. Services Computing"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Liu, X., Huang, G., Mei, H.: A user-oriented approach to automated service composition. In: ICWS, pp. 773\u2013776. IEEE Computer Society (2008)","DOI":"10.1109\/ICWS.2008.139"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-01918-0_3","volume-title":"Formal Methods for Web Services","author":"A. Marconi","year":"2009","unstructured":"Marconi, A., Pistore, M.: Synthesis and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 89\u2013157. Springer, Heidelberg (2009)"},{"issue":"11","key":"19_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"G.A. Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: A lexical database for English. Communications of the ACM\u00a038(11), 39\u201341 (1995)","journal-title":"Communications of the ACM"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Oster, Z.J., Santhanam, G.R., Basu, S.: Automating analysis of qualitative preferences in goal-oriented requirements engineering. In: Alexander, P., Pasareanu, C.S., Hosking, J.G. (eds.) ASE, pp. 448\u2013451. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100096"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Oster, Z.J., Santhanam, G.R., Basu, S.: Identifying optimal composite services by decomposing the service composition problem. In: ICWS, pp. 267\u2013274. IEEE Computer Society (2011)","DOI":"10.1109\/ICWS.2011.110"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/309844.309849","volume":"28","author":"A.M. Ouksel","year":"1999","unstructured":"Ouksel, A.M., Sheth, A.: Semantic interoperability in global information systems. SIGMOD Rec.\u00a028, 5\u201312 (1999)","journal-title":"SIGMOD Rec."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Pessoa, R.M., da Silva, E.G., van Sinderen, M., Quartel, D.A.C., Pires, L.F.: Enterprise interoperability with SOA: a survey of service composition approaches. In: van Sinderen, M., Almeida, J.P.A., Pires, L.F., Steen, M. (eds.) EDOCW, pp. 238\u2013251. IEEE Computer Society (2008)","DOI":"10.1109\/EDOCW.2008.32"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-89652-4_34","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"G.R. Santhanam","year":"2008","unstructured":"Santhanam, G.R., Basu, S., Honavar, V.G.: TCP\u2212Compose\n                    \u2009\u22c6\u2009 \u2013 A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 453\u2013467. Springer, Heidelberg (2008)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Yoo, J.W., Kumara, S.R.T., Lee, D., Oh, S.C.: A web service composition framework using integer programming with non-functional objectives and constraints. In: CEC\/EEE, pp. 347\u2013350. IEEE (2008)","DOI":"10.1109\/CECandEEE.2008.144"}],"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-34321-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T11:20:31Z","timestamp":1547810431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34321-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34321-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}