{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:06Z","timestamp":1747807926085},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132728"},{"type":"electronic","value":"9783642132735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13273-5_4","type":"book-chapter","created":{"date-parts":[[2010,5,11]],"date-time":"2010-05-11T15:59:32Z","timestamp":1273593572000},"page":"51-68","source":"Crossref","is-referenced-by-count":11,"title":["Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach"],"prefix":"10.1007","author":[{"given":"Idir","family":"Ait-Sadoune","sequence":"first","affiliation":[]},{"given":"Yamine","family":"Ait-Ameur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W. Aalst van-der","year":"2009","unstructured":"van-der Aalst, W., Mooij, A., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"key":"4_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering, cambridge edn","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, cambridge edn. Cambridge University Press, Cambridge (2010)"},{"key":"4_CR3","first-page":"1","volume":"77","author":"J.R. Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae\u00a077, 1\u201328 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10009-009-0109-2","volume":"11","author":"Y. A\u00eft-Ameur","year":"2009","unstructured":"A\u00eft-Ameur, Y., Baron, M., Kamel, N., Mota, J.-M.: Encoding a process algebra using the Event B method. Software Tools and Technology Transfer\u00a011(3), 239\u2013253 (2009)","journal-title":"Software Tools and Technology Transfer"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: A Proof Based Approach for Modelling and Veryfing Web Services Compositions. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, pp. 1\u201310 (2009)","DOI":"10.1109\/ICECCS.2009.48"},{"key":"4_CR6","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: From BPEL to Event_B. In: Integration of Model-based Formal Methods and Tools Workshop (IM_FMT 2009), Dusseldorf, Germany (February 2009)"},{"key":"4_CR7","unstructured":"van Breugel, F., Koshkina, M.: Models and Verification of BPEL. Draft (2006)"},{"key":"4_CR8","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL). W3C Recommendation Ver. 1.1, W3C (2001)"},{"key":"4_CR9","unstructured":"Consortium, W.W.W.: Web Services Choreography Description Language (WS-CDL). W3C Recommendation Version 1.0, W3C (2005)"},{"key":"4_CR10","unstructured":"Fahland, D.: Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Tech. rep., Humboldt-Universitat zu Berlin, Institut fur Informatik, Germany (2005)"},{"key":"4_CR11","unstructured":"Farahbod, R., Glsser, U., Vajihollahi, M.: A formal semantics for the Business Process Execution Language for Web Services. In: Web Services and Model-Driven Enterprise Information Services (2005)"},{"key":"4_CR12","unstructured":"Foster, H.: A Rigorous Approach To Engineering Web Service Compositions. Ph.D. thesis, Imperial College London, University of London (2006)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Composition. In: IEEE International Conference on Automated Software Engineering (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"4_CR14","unstructured":"Group, O.M.: Business Process Model and Notation (BPMN). OMG Document Number: dtc\/2009-08-14 FTF Beta 1 for Version 2.0, Object Manager Group (2009)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri-Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"4_CR16","unstructured":"Jordan, D., Evdemon, J.: Web Services Business Process Execution Language (WS-BPEL). Standard Version 2.0, OASIS (2007)"},{"key":"4_CR17","unstructured":"Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In: Web Services and Formal Methods International Workshop, WSFM 2007 (2007)"},{"key":"4_CR18","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)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Specifying Data-Flow Requirements for the Automated Composition of Web Services. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India (September 2006)","DOI":"10.1109\/SEFM.2006.34"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Nakajima, S.: Lightweight Formal Analysis of Web Service Flows. Progress in Informatics\u00a02 (2005)","DOI":"10.2201\/NiiPi.2005.2.5"},{"key":"4_CR21","unstructured":"Nakajima, S.: Model-Checking Behavioral Specifications of BPEL Applications. In: WLFM 2005 (2005)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: IEEE International Conference on Web Service, ICWS 2004 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-540-30209-4_15","volume-title":"Web Services","author":"G. Salaun","year":"2004","unstructured":"Salaun, G., Ferrara, A., Chirichiello, A.: Negotiation among web services using LOTOS\/CADP. In: Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol.\u00a03250, pp. 198\u2013212. Springer, Heidelberg (2004)"},{"key":"4_CR24","unstructured":"Specification, T.W.M.C.: Process Definition Interface \u2013 XML Process Definition Language (XPDL). Document Number WFMC-TC-1025 Version 2.1a, The Workflow Management Coalition (2008)"},{"key":"4_CR25","unstructured":"Verbeek, H., van-der Aalst, W.: Analyzing BPEL processes using Petri-Nets. In: Second International Workshop on Application of Petri-Nets to Coordination, Workflow and Business Process Management (2005)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13273-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:59:44Z","timestamp":1619783984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13273-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132728","9783642132735"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13273-5_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}