{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:36:31Z","timestamp":1725539791587},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045691"},{"type":"electronic","value":"9783642045707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04570-7_13","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T04:51:23Z","timestamp":1257223883000},"page":"165-180","source":"Crossref","is-referenced-by-count":2,"title":["A Rigorous Methodology for Composing Services"],"prefix":"10.1007","author":[{"given":"Kenneth J.","family":"Turner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koon Leai Larry","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Arkin, A., et al. (eds.) Web Services Business Process Execution Language, Version 2.0. Organization for The Advancement of Structured Information Standards (April 2007)","key":"13_CR1"},{"issue":"6","key":"13_CR2","first-page":"219","volume":"1","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., et al.: Validation of web service compositions. Software\u00a01(6), 219\u2013232 (2007)","journal-title":"Software"},{"issue":"1","key":"13_CR3","first-page":"25","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language Lotos. Computer Networks\u00a014(1), 25\u201359 (1988)","journal-title":"Computer Networks"},{"key":"13_CR4","volume-title":"Proc. Web Intelligence 2005","author":"A. Chirichiello","year":"2005","unstructured":"Chirichiello, A., Sala\u00fcn, G.: Encoding abstract descriptions into executable web services: Towards a formal development. In: Proc. Web Intelligence 2005, December 2005. IEEE, Los Alamitos (2005)"},{"key":"13_CR5","volume-title":"Model Checking","author":"E.M. Clark","year":"2000","unstructured":"Clark, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. 21st Int. Conf. on Software Engineering, pp. 411\u2013420 (1999)","key":"13_CR6","DOI":"10.1145\/302405.302672"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"Proc. 2nd Int. Conf. on Service-Oriented Computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: A process algebra approach. In: Proc. 2nd Int. Conf. on Service-Oriented Computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"unstructured":"Foster, H.: A Rigorous Approach to Engineering Web Service Compositions. PhD thesis, Imperial College, London (January 2006)","key":"13_CR8"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proc. 13th. Int. World Wide Web Conf.","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting Bpel web services. In: Proc. 13th. Int. World Wide Web Conf., pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"13_CR10","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Association for Software Science and Technology Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Association for Software Science and Technology Newsletter"},{"unstructured":"Graham, S., et al.: Web Services Resource. Version 1.2. Organization for The Advancement of Structured Information Standards (April 2006)","key":"13_CR11"},{"unstructured":"ISO\/IEC. LOTOS \u2013 A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 8807 (1989)","key":"13_CR12"},{"issue":"17","key":"13_CR13","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"Oinn, T., et al.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020(17), 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"key":"13_CR14","volume-title":"Proc. IEEE Symp. on Visual Languages and Human Centric Computing","author":"C. Pautasso","year":"2005","unstructured":"Pautasso, C.: JOpera: An agile environment for web service composition with visual unit testing and refactoring. In: Proc. IEEE Symp. on Visual Languages and Human Centric Computing. IEEE, Los Alamitos (2005)"},{"unstructured":"Pav\u00f3n Gomez, S., Larrabeiti, D., Rabay Filho, G.: Lola user manual (version 3R6). Technical report, Polytechnic University of Madrid (February 1995)","key":"13_CR15"},{"doi-asserted-by":"crossref","unstructured":"Slomiski, A.: On using Bpel extensibility to implement OGSI and WSRF grid workflows. In: Proc. Global Grid Forum 10, Berlin (March 2005)","key":"13_CR16","DOI":"10.1002\/cpe.1004"},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10009-004-0148-7","volume":"7","author":"K.J. Turner","year":"2005","unstructured":"Turner, K.J.: Test generation for radiotherapy accelerators. Software Tools for Technology Transfer\u00a07(4), 361\u2013375 (2005)","journal-title":"Software Tools for Technology Transfer"},{"issue":"10","key":"13_CR18","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/spe.721","volume":"36","author":"K.J. Turner","year":"2006","unstructured":"Turner, K.J.: Validating feature-based specifications. Software Practice and Experience\u00a036(10), 999\u20131027 (2006)","journal-title":"Software Practice and Experience"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-1-84628-757-2_26","volume-title":"Workflows for E-Science","author":"B. Wassermann","year":"2007","unstructured":"Wassermann, B., et al.: Sedna: A Bpel-based environment for visual scientific workflow modelling. In: Workflows for E-Science, pp. 428\u2013449. Springer, Heidelberg (2007)"},{"unstructured":"W3C. Web Services Addressing (WS-Addressing). World Wide Web Consortium (May 2006)","key":"13_CR20"},{"unstructured":"Yu, J., et al.: Using temporal business rules to synthesize service composition process models. In: Proc. 1st Int. Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, July 2007, pp. 86\u201395. INSTICC Press (2007)","key":"13_CR21"},{"unstructured":"Zager, M.: SOA\/web services\u00a0\u2013 Business process orchestration with BPEL (October 2008), http:\/\/webservices.sys-con.com\/read\/155631_1.htm","key":"13_CR22"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04570-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:31Z","timestamp":1606185751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04570-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045691","9783642045707"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04570-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}