{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:59Z","timestamp":1747806779918},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223853"},{"type":"electronic","value":"9783642223860"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22386-0_6","type":"book-chapter","created":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T18:32:25Z","timestamp":1315593145000},"page":"76-90","source":"Crossref","is-referenced-by-count":1,"title":["Transformational Design of Business Processes for SOA"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Ratkowski","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Zalewski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0065-2458(08)60641-5","volume":"43","author":"D. Binkley","year":"1996","unstructured":"Binkley, D., Gallagher, K.B.: Program slicing. Advances in Computers\u00a043, 1\u201350 (1996)","journal-title":"Advances in Computers"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the iso specification language lotos. Comput. Netw. ISDN Syst.\u00a014(1), 25\u201359 (1987)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"6_CR3","unstructured":"Koshkina, M., Breugel, F.: Models and verification of bpel (2006)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2005.12.038","volume":"154","author":"J. C\u00e1mara","year":"2006","unstructured":"C\u00e1mara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing wsbpel business processes using process algebra. Electr. Notes Theor. Comput. Sci.\u00a0154(1), 159\u2013173 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Smolka, S.: Process algebra (1999)","DOI":"10.1002\/047134608X.W2446"},{"key":"6_CR6","unstructured":"Cleaveland, R.: Concurrency workbench of the new century (2000), http:\/\/www.cs.sunysb.edu\/~cwb\/"},{"key":"6_CR7","unstructured":"Fahland, D., Reisig, W.: Asm-based semantics for bpel: The negative control flow. In: Abstract State Machines, pp. 131\u2013152 (2005)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrogio, A., Bocciarelli, P.: A model-driven approach to describe and predict the performance of composite services. pp. 78\u201389 (2007)","DOI":"10.1145\/1216993.1217008"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: a process algebra approach, pp. 242\u2013251 (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Foster, H., Kramer, J., Magee, J., Uchitel, S.: Model-based verification of web service compositions. In: 18th IEEE International Conference on Automated Software Engineering, ASE (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"6_CR12","first-page":"217","volume-title":"SCC 2005: Proceedings of the 2005 IEEE International Conference on Services Computing","author":"H. Foster","year":"2005","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J., Hu, M.: Using a rigorous approach for engineering web service compositions: A case study. In: SCC 2005: Proceedings of the 2005 IEEE International Conference on Services Computing, pp. 217\u2013224. IEEE Computer Society, Washington, DC (2005)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW 2004: Proceedings of the 13th International Conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW 2004: Proceedings of the 13th International Conference on World Wide Web, pp. 621\u2013630. ACM, New York (2004)"},{"issue":"13","key":"6_CR14","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1016\/S0305-0548(00)00038-1","volume":"28","author":"I. Hofacker","year":"2001","unstructured":"Hofacker, I., Vetschera, R.: Algorithmical approaches to business process design. Computers & OR\u00a028(13), 1253\u20131275 (2001)","journal-title":"Computers & OR"},{"key":"6_CR15","volume-title":"The SPIN Model Checker : Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"6_CR16","unstructured":"Martens, A.: Simulation and equivalence between bpel process models (2005)"},{"key":"6_CR17","volume-title":"Refactoring: improving the design of existing code","author":"F. Martin","year":"1999","unstructured":"Martin, F.: Refactoring: improving the design of existing code. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"key":"6_CR18","unstructured":"Seattle University Everald E. Mills. Software metrics, SEI-CM-12-1.1 (1988)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Moore, I.: Automatic inheritance hierarchy restructuring and method refactoring, pp. 235\u2013250 (1996)","DOI":"10.1145\/236338.236361"},{"key":"6_CR20","unstructured":"Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, Urbana-Champaign, IL, USA (1992)"},{"issue":"2-3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in ws-bpel. Sci. Comput. Program.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"6_CR22","unstructured":"Ratkowski, A., Zalewski, A.: Performance refactoring for service oriented architecture. In: ISAT 2007: Information Systems Architecture And Technology (2007)"},{"key":"6_CR23","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":"6_CR24","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra, p. 43 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-30209-4_15","volume-title":"Web Services","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Ferrara, A., Chirichiello, A.: Negotiation among web services using LOTOS\/CADP. In (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol.\u00a03250, pp. 198\u2013212. Springer, Heidelberg (2004)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11494881_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Reisig","year":"2005","unstructured":"Reisig, W.: Modeling- and Analysis Techniques for Web Services and Business Processes. In: Steffen, M., Tennenholtz, M. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 243\u2013258. Springer, Heidelberg (2005)"},{"key":"6_CR27","unstructured":"W3C. Xsl transformations (xslt) version 1.0 (1999), http:\/\/www.w3.org\/tr\/xslt"},{"key":"6_CR28","first-page":"137","volume-title":"Proceedings of NWESP 2005","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Tan, T., Yu, J., Liu, F.: Transformation bpel to cp-nets for verifying web services composition. In: Proceedings of NWESP 2005, p. 137. IEEE Computer Society, Washington, DC (2005)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22386-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:07:45Z","timestamp":1606187265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22386-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223853","9783642223860"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22386-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}