{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:18:36Z","timestamp":1725675516419},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29834-9_6","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T05:48:22Z","timestamp":1334728102000},"page":"64-78","source":"Crossref","is-referenced-by-count":8,"title":["Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Mazzara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faisal","family":"Abouzaid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Dragoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anirban","family":"Bhattacharyya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R.M. Amadio","year":"1998","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous \u03c0-calculus. Theoretical Computer Science\u00a0195(2), 291\u2013324 (1998)","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol.\u00a061. Springer, Heidelberg (1978)"},{"key":"6_CR3","unstructured":"Boudol, G.: Asynchrony and the \u03c0-calculus. Rapport de recherche 1702. Technical report, INRIA, Sophia-Antipolis (1992)"},{"key":"6_CR4","unstructured":"BPMN. Bpmn - business process modeling notation, http:\/\/www.bpmn.org\/"},{"key":"6_CR5","unstructured":"Carter, A.: Using dynamically reconfigurable hardware in real-time communications systems: Literature survey. Technical report, Computer Laboratory, University of Cambridge (November 2001)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-14458-5_6","volume-title":"Web Services and Formal Methods","author":"N. Dragoni","year":"2010","unstructured":"Dragoni, N., Mazzara, M.: A Formal Semantics for the WS-BPEL Recovery Framework - the pi-calculus way. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol.\u00a06194, pp. 92\u2013109. Springer, Heidelberg (2010)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proceedings of the Conference on Organizational Computing Systems (COOCS 1995). ACM (1995)","DOI":"10.1145\/224019.224021"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/990010.990013","volume":"12","author":"G.L. Ferrari","year":"2003","unstructured":"Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Transactions on Software Engineering and Methodology\u00a012(4), 440\u2013473 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Garcia, P., Compton, K., Schulte, M., Blem, E., Fu, W.: An overview of reconfigurable hardware in embedded systems. EURASIP J. Embedded Syst. (January 2006)","DOI":"10.1186\/1687-3963-2006-056320"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"6_CR11","unstructured":"Kobayashi, N.: Typical: Type-based static analyzer for the pi-calculus, http:\/\/www.kb.ecei.tohoku.ac.jp\/~koba\/typical\/"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"2","key":"6_CR13","first-page":"73","volume":"8","author":"J. Magee","year":"1993","unstructured":"Magee, J., Dulay, N., Kramer, J.: Structuring parallel and distributed programs. Software Engineering Journal (Special Issue)\u00a08(2), 73\u201382 (1993)","journal-title":"Software Engineering Journal (Special Issue)"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1109\/32.24720","volume":"15","author":"J. Magee","year":"1989","unstructured":"Magee, J., Kramer, J., Sloman, M.: Constructing distributed systems in conic. IEEE Transactions on Software Engineering\u00a015(6), 663\u2013675 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna (2006)","DOI":"10.1007\/11841197_17"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Mazzara, M., Bhattacharyya, A.: On modelling and analysis of dynamic reconfiguration of dependable real-time systems. In: International Conference on Dependability, DEPEND (2010)","DOI":"10.1109\/DEPEND.2010.33"},{"key":"6_CR17","unstructured":"Mazzara, M., Dragoni, N., Zhou, M.: Dependable workflow reconfiguration in ws-bpel. In: To appear in Proc. of NODES 2011, Copenhagen, Denmark (2011)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11417019_1","volume-title":"Coordination Models and Languages","author":"M. Mazzara","year":"2005","unstructured":"Mazzara, M., Govoni, S.: A Case Study of Web Services Orchestration. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 1\u201316. Springer, Heidelberg (2005)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841197_17","volume-title":"Web Services and Formal Methods","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lanese, I.: Towards a Unifying Theory for Web Services Composition. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 257\u2013272. Springer, Heidelberg (2006)"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR21","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press (1999)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science (1993)","DOI":"10.1016\/0304-3975(93)90156-N"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In: Mathematical Structures in Computer Science, pp. 256\u2013265. ACM (1997)","DOI":"10.1145\/263699.263731"},{"key":"6_CR24","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Fakultaet Mathematik und Physik, Technische Universitaet Darmstadt (1962)"}],"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-642-29834-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T03:54:38Z","timestamp":1642046078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_6"}},"subtitle":["A Process Algebra Perspective"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}