{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:02:15Z","timestamp":1757451735802,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_8","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T06:53:23Z","timestamp":1207983203000},"page":"108-123","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Web Service Interactions Using the Coordination Language Reo"],"prefix":"10.1007","author":[{"given":"Samira","family":"Tasharofi","sequence":"first","affiliation":[]},{"given":"Mohsen","family":"Vakilian","sequence":"additional","affiliation":[]},{"given":"Roshanak","family":"Zilouchian Moghaddam","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Jordan, D., Evdemon, J.: Web services business process execution language version 2.0. Technical report, OASIS (2006)"},{"key":"8_CR2","unstructured":"Fahland, D.: Complete abstract operational semantics for the web service business process execution language. Technical Report 190, Humboldt University, Berlin (2005)"},{"key":"8_CR3","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":"8_CR4","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"Proceedings of 2nd International Conference on Service Oriented Computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: Proceedings of 2nd International Conference on Service Oriented Computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Glasser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Diakov, N., Arbab, F.: Compositional construction of web services using Reo. In: WSMAI, pp. 49\u201358 (2004)","DOI":"10.5220\/0002666400490058"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Lemniotes, T., Papadopoulos, G.A., Arbab, F.: Coordinating web services using channel based communication. In: 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), pp. 486\u2013491 (2004)","DOI":"10.1109\/CMPSAC.2004.1342883"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: Web services choreography and orchestration in Reo and constraint automata. In: Proceedings of 22nd Annual ACM Symposium on Applied Computing(SAC 2007) (2007)","DOI":"10.1145\/1244002.1244085"},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061(2), 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","first-page":"35","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 35\u201356. Springer, Heidelberg (2003)"},{"key":"8_CR12","unstructured":"Mahdikhani, F.: BPEL to Reo tool (2007), http:\/\/ece.ut.ac.ir\/msirjani\/B2ReoTool\/B2R.jar"},{"key":"8_CR13","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-540-75698-9_29","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"B. Pourvatan","year":"2007","unstructured":"Pourvatan, B., Rouhy, N.: An alternative algorithm for constraint automata product. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 409\u2013419. Springer, Heidelberg (2007)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundamenta Informaticae (accepted, 2007)","DOI":"10.1016\/j.entcs.2005.12.062"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"13th Int. Conf. World Wide Web (WWW 2004)","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: 13th Int. Conf. World Wide Web (WWW 2004), pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"8_CR17","volume-title":"The SPIN Model Checker","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2003)"},{"key":"8_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. Borger","year":"2003","unstructured":"Borger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"8_CR19","first-page":"78","volume-title":"Proceedings of 12th International Workshop on Abstract State Machines","author":"D. Fahland","year":"2005","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proceedings of 12th International Workshop on Abstract State Machines, Paris, pp. 78\u201394. Springer, Heidelberg (2005)"},{"key":"8_CR20","unstructured":"Schmidt, K., Stahl, C.: A Petri Net semantic for BPEL4WS - validation and application. In: Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets (2004)"},{"key":"8_CR21","unstructured":"Ouyang, C., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A., Verbeek, H.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPM Center (2005)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts i and ii. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"8_CR23","unstructured":"Koshkina, M.: Verification of business processes for web services. Master thesis, York University (2003)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11841197_7","volume-title":"Web Services and Formal Methods","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: From BPEL processes to YAWL workflows. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 107\u2013122. Springer, Heidelberg (2006)"},{"key":"8_CR25","unstructured":"Diakov, N., Arbab, F.: Software adaptation in integrated tool frameworks for composite services. In: Proceedings of The Third International Workshop on Coordination and Adaptation of Software Entities(WCAT 2006), Nantes, France, pp. 9\u201314 (2006)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T17:29:48Z","timestamp":1738171788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_8","relation":{},"subject":[]}}