{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:16:44Z","timestamp":1648671404119},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T00:00:00Z","timestamp":1405987200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s11334-014-0238-y","type":"journal-article","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T14:21:38Z","timestamp":1405952498000},"page":"219-234","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A formal framework for service mashups with dynamic service selection"],"prefix":"10.1007","volume":"10","author":[{"given":"Qin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianqi","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,22]]},"reference":[{"key":"238_CR1","doi-asserted-by":"crossref","unstructured":"Alonso G, Kuno H, Casati F, Machiraju V (2003) Web services: concepts, architectures and applications. Springer, Berlin","DOI":"10.1007\/978-3-662-10876-5"},{"key":"238_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger T, Kupferman O, Vardi M (1998) Alternating refinement relations. In: Sangiorgi D, Simone R (eds) Proc. CONCUR\u201998 concurrency theory. Lecture notes in computer science, vol 1466. Springer, Berlin, pp 163\u2013178","DOI":"10.1007\/BFb0055622"},{"issue":"5","key":"238_CR3","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49(5):672\u2013713","journal-title":"J ACM"},{"key":"238_CR4","unstructured":"Ankolekar A, Burstein M, Hobbs JR, Lassila O, Martin DL, Mcilraith SA, Narayanan S, Paolucci M, Payne T, Sycara K, Zeng H (2001) Daml-s: semantic markup for web services"},{"issue":"3","key":"238_CR5","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comp Sci 14(3):329\u2013366","journal-title":"Math Struct Comp Sci"},{"key":"238_CR6","unstructured":"Avizienis A, Laprie JC, Randell B (2001) Fundamental concepts of computer systems dependability. In: Proc. IARP\/IEEE-RAS workshop on robot dependability: technological challenge of dependable robots in human environments, Seoul, Korea"},{"issue":"1","key":"238_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"238_CR8","doi-asserted-by":"crossref","unstructured":"Carpineti S, Castagna G, Laneve C, Padovani L (2006) A formal account of contracts for web services. In: Proc. WS-FM 2006: 3rd international workshop on web services and formal methods. Springer, Berlin, pp 148\u2013162","DOI":"10.1007\/11841197_10"},{"key":"238_CR9","doi-asserted-by":"crossref","unstructured":"Castagna G, Gesbert N, Padovani L (2008) A theory of contracts for web services. In: Proc. POPL 2008: 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, New York, pp 261\u2013272","DOI":"10.1145\/1328438.1328471"},{"key":"238_CR10","doi-asserted-by":"crossref","unstructured":"Ellison R, Ellison RJ, Fisher D, Fisher DA, Linger RC, Linger RC, Lipson HF, Lipson HF, Longstaff T, Longstaff T, Mead N, Mead NR (1997) Survivable network systems: an emerging discipline. Software Engineering Institute, Carnegie Mellon University, Tech. rep.","DOI":"10.21236\/ADA341963"},{"issue":"2","key":"238_CR11","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","volume":"1","author":"D Fensel","year":"2002","unstructured":"Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commerce Res Appl 1(2):113\u2013137","journal-title":"Electron Commerce Res Appl"},{"key":"238_CR12","doi-asserted-by":"crossref","unstructured":"Freitag B, Margaria T, Steffen B (1994) A pragmatic approach to software synthesis. In: Proc. IDL\u201994: workshop on interface definition languages, ACM, New York, pp 46\u201358","DOI":"10.1145\/185084.185102"},{"issue":"6","key":"238_CR13","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1007\/s11432-008-0061-x","volume":"51","author":"J He","year":"2008","unstructured":"He J (2008) Service refinement. Sci China Ser F Inf Sci 51(6):661\u2013682","journal-title":"Sci China Ser F Inf Sci"},{"issue":"2\u20133","key":"238_CR14","first-page":"171","volume":"28","author":"J He","year":"1997","unstructured":"He J, Seidel K, McIver A (1997) Probabilistic models for the guarded command language. Sci Comput Program 28(2\u20133):171\u2013192","journal-title":"Sci Comput Program"},{"key":"238_CR15","unstructured":"He J, Liu Z, Li X, Qin S (2004) A relational model for object-oriented designs. In: Proc. APLAS 2004: 2nd Asian symposium on programming languages and systems, Taipei, Taiwan, November 4\u20136, 2004. Lecture notes in computer science, vol 3302. Springer, Berlin, pp 415\u2013436"},{"issue":"1","key":"238_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s11704-007-0002-7","volume":"1","author":"J He","year":"2007","unstructured":"He J, Zhu H, Pu G (2007) A model for bpel-like languages. Front Comput Sci China 1(1):9\u201319","journal-title":"Front Comput Sci China"},{"key":"238_CR17","unstructured":"Hoare CAR, He J (1998) Unifying theories of programming. In: Prentice Hall international series in computer science. Prentice Hall, London"},{"key":"238_CR18","first-page":"259","volume":"2013","author":"TM Johannes Neubauer","year":"2013","unstructured":"Johannes Neubauer TM, Steffen Bernhard (2013) Higher-order process modeling: product-lining, variability modeling and beyond. Festschrift for Dave Schmidt 2013:259\u2013283","journal-title":"Festschrift for Dave Schmidt"},{"issue":"5","key":"238_CR19","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S Jorges","year":"2012","unstructured":"Jorges S, Lamprecht AL, Margaria T, Schaefer I, Steffen B (2012) A constraint-based variability modeling framework. Int J Softw Tools Technol Transf 14(5):511\u2013530","journal-title":"Int J Softw Tools Technol Transf"},{"key":"238_CR20","doi-asserted-by":"crossref","unstructured":"Kitchin D, Cook WR, Misra J (2006) A language for task orchestration and its semantic properties. In: Proc. CONCUR 2006: 17th international conference on concurrency theory. Lecture notes in computer science. Springer, Berlin, pp 477\u2013491","DOI":"10.1007\/11817949_32"},{"key":"238_CR21","doi-asserted-by":"crossref","unstructured":"Knight J, Strunk E, Sullivan K (2003) Towards a rigorous definition of information system survivability. In: Proc. DARPA information survivability conference and exposition, vol 1, pp 78\u201389","DOI":"10.1109\/DISCEX.2003.1194874"},{"key":"238_CR22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-0-387-72496-6_5","volume-title":"Semantic web services challenge, semantic web and beyond","author":"C Kubczak","year":"2009","unstructured":"Kubczak C, Margaria T, Steffen B, Nagel R (2009) Service-oriented mediation with jabc\/jeti. In: Petrie C, Margaria T, Lausen H, Zaremba M (eds) Semantic web services challenge, semantic web and beyond, vol 8. Springer, US, pp 71\u201399"},{"key":"238_CR23","doi-asserted-by":"crossref","unstructured":"Liu X, Hui Y, Sun W, Liang H (2007) Towards service composition based on mashup. In: Proc. IEEE congress on services, pp 332\u2013 339","DOI":"10.1109\/SERVICES.2007.67"},{"key":"238_CR24","doi-asserted-by":"crossref","unstructured":"Liu Z, He J, Li X, Chen Y (2003) A relational model for formal object-oriented requirement analysis in UML. In: Proc. ICFEM: 5th international conference on formal engineering methods, Singapore, November 5\u20137, 2003. Lecture notes in computer science, vol 2885. Springer, Berlin, pp 641\u2013664","DOI":"10.1007\/978-3-540-39893-6_36"},{"key":"238_CR25","doi-asserted-by":"crossref","unstructured":"Liu Z, He J, Li X (2004) Contract oriented development of component software. In: Proc. TCS 2004: 3rd international conference on theoretical computer science, pp 349\u2013366","DOI":"10.1007\/1-4020-8141-3_28"},{"key":"238_CR26","doi-asserted-by":"crossref","unstructured":"Margaria T, Steffen B (2007) Ltl guided planning: revisiting automatic tool composition in eti. In: Proc. SEW2007: 31st IEEE software engineering workshop, IEEE Computer Society, pp 214\u2013226","DOI":"10.1109\/SEW.2007.63"},{"key":"238_CR27","doi-asserted-by":"crossref","unstructured":"Margaria T, Bakera M, Kubczak C, Naujokat S, Steffen B (2009) Automatic generation of the sws-challenge mediator with jabc\/abc. In: Petrie C, Margaria T, Lausen H, Zaremba M (eds) Semantic web services challenge, semantic web and beyond, vol 8. Springer, US, pp 119\u2013138","DOI":"10.1007\/978-0-387-72496-6_7"},{"key":"238_CR28","doi-asserted-by":"crossref","unstructured":"Margaria T, Meyer D, Kubczak C, Isberner M, Steffen B (2009) Synthesizing semantic web service compositions with jmosel and golog. In: Bernstein A, Karger D, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K (eds) Proc. ISWC 2009: 8th international semantic web conference. Lecture notes in computer science, vol 5823. Springer, Berlin, pp 392\u2013407","DOI":"10.1007\/978-3-642-04930-9_25"},{"key":"238_CR29","doi-asserted-by":"crossref","unstructured":"Maximilien E, Singh M (2004) A framework and ontology for dynamic web services selection. IEEE Internet Comput 8(5):84\u201393","DOI":"10.1109\/MIC.2004.27"},{"key":"238_CR30","doi-asserted-by":"crossref","unstructured":"Maximilien E, Wilkinson H, Desai N, Tai S (2007) A domain-specific language for web apis and services mashups. In: Kramer B, Lin KJ, Narasimhan P (eds) Proc. ICSOC 2007: international conference on service-oriented computing. Lecture notes in computer science, vol 4749. Springer, Berlin, pp 13\u201326","DOI":"10.1007\/978-3-540-74974-5_2"},{"key":"238_CR31","unstructured":"Merrill D (2006) Mashups: The new breed of web app. IBM Web Architecture Technical Library"},{"key":"238_CR32","unstructured":"Meyer B (1991) Design by contract. In: Advances in object-oriented software engineering. Prentice Hall, Englewood Cliffs, pp 1\u201350"},{"key":"238_CR33","unstructured":"Morgan C (1990) Programming from specifications. Prentice Hall, Englewood Cliffs"},{"issue":"11","key":"238_CR34","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J Neubauer","year":"2013","unstructured":"Neubauer J, Steffen B (2013) Plug-and-play higher-order process integration. IEEE Comput 46(11):56\u201362","journal-title":"IEEE Comput"},{"key":"238_CR35","doi-asserted-by":"crossref","unstructured":"Petrie C, Margaria T, Lausen H, Zaremba M (2009) Semantic web services challenge\u2014results from the first year, semantic web and beyond, vol 8. Springer, Berlin","DOI":"10.1007\/978-0-387-72496-6"},{"issue":"1\u20132","key":"238_CR36","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B Steffen","year":"1997","unstructured":"Steffen B, Margaria T, Braun V (1997) The electronic tool integration platform: concepts and design. Int J Softw Tools Technol Transf 1(1\u20132):9\u201330","journal-title":"Int J Softw Tools Technol Transf"},{"key":"238_CR37","unstructured":"Tang X, Woodcock JCP (2004) Towards mobile processes in unifying theories. In: Proc. SEFM 2004: 2nd international conference on software engineering and formal methods, Beijing, China, September 26\u201330, 2004, IEEE Computer Society, pp 44\u201353"},{"key":"238_CR38","doi-asserted-by":"crossref","unstructured":"Tang X, Woodcock JCP (2004) Travelling processes. In: Proc. MPC 2004: 7th international conference on mathematics of program construction, Stirling, Scotland, UK, July 12\u201314, 2004. Lecture notes in computer science, vol 3125. Springer, Berlin, pp 381\u2013399","DOI":"10.1007\/978-3-540-27764-4_20"},{"key":"238_CR39","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski A (1955) A lattice-theoretical fixpoint theorem and its applications. Pacific J Math 5:285\u2013309","journal-title":"Pacific J Math"},{"key":"238_CR40","unstructured":"Watt S (2007) Mashups\u2014the evolution of the soa, part 1: Web 2.0 and foundational concepts. IBM Web Architecture Technical Library"},{"key":"238_CR41","unstructured":"Watt S (2007) Mashups\u2014the evolution of the soa, part 2: situational applications and the mashup ecosystem. IBM Web Architecture Technical Library"},{"key":"238_CR42","doi-asserted-by":"crossref","unstructured":"Westmark V (2004) A definition for information system survivability. In: Proc. 37th annual Hawaii international conference on system sciences","DOI":"10.1109\/HICSS.2004.1265710"},{"key":"238_CR43","doi-asserted-by":"crossref","unstructured":"Xiaoshan L, Zhiming L, He J (2004) A formal semantics of UML sequence diagram. In: Proc. ASWEC 2004: 15th Australian software engineering conference, 13\u201316 April 2004, Melbourne, Australia, IEEE Computer Society, pp 168\u2013177","DOI":"10.1109\/ASWEC.2004.1290469"},{"key":"238_CR44","doi-asserted-by":"crossref","unstructured":"Zeng L, Benatallah B, Dumas M, Kalagnanam J, Sheng QZ (2003) Quality driven web services composition. In: Proc. 12th international conference on World Wide Web. ACM, New York, pp 411\u2013421","DOI":"10.1145\/775152.775211"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-014-0238-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-014-0238-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-014-0238-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T21:47:42Z","timestamp":1565646462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-014-0238-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,22]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["238"],"URL":"https:\/\/doi.org\/10.1007\/s11334-014-0238-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,22]]}}}