Toward design, modelling and analysis of dynamic workflow reconfigurations: A process algebra perspective

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7176 LNCS, Issue , 2012, Pages 64-78

  Mazzara, Manuel ^a   Abouzaid, Faisal ^b   Dragoni, Nicola ^c   Bhattacharyya, Anirban ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

^c TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABLE SYSTEMS; DYNAMIC RE-CONFIGURATION; DYNAMIC WORKFLOW; PROCESS ALGEBRAS;

DYNAMIC MODELS; WEB SERVICES; WEBSITES;

DESIGN;

EID: 84862135869     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29834-9_6     Document Type: Conference Paper

References (24)

1. Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 195(2), 291-324 (1998)
2. Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta- Language. LNCS, vol. 61. Springer, Heidelberg (1978)
3. Boudol, G.: Asynchrony and the π-calculus. Rapport de recherche 1702. Technical report, INRIA, Sophia-Antipolis (1992)
4. BPMN. Bpmn - business process modeling notation, http://www.bpmn.org/
5. Carter, A.: Using dynamically reconfigurable hardware in real-time communications systems: Literature survey. Technical report, Computer Laboratory, University of Cambridge (November 2001)
6. Dragoni, N., Mazzara, M.: A Formal Semantics for theWS-BPEL Recovery Framework - The π-Calculus Way. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 92-109. Springer, Heidelberg (2010)
7. Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proceedings of the Conference on Organizational Computing Systems (COOCS 1995). ACM (1995)
8. Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Transactions on Software Engineering and Methodology 12(4), 440-473 (2003)
9. Garcia, P., Compton, K., Schulte, M., Blem, E., Fu, W.: An overview of reconfigurable hardware in embedded systems. EURASIP J. Embedded Syst. (January 2006)
10. Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133-147. Springer, Heidelberg (1991)
11. Kobayashi, N.: Typical: Type-based static analyzer for the pi-calculus, http://www.kb.ecei.tohoku.ac.jp/~koba/typical/
12. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming 70(1), 96-118 (2007)
13. Magee, J., Dulay, N., Kramer, J.: Structuring parallel and distributed programs. Software Engineering Journal (Special Issue) 8(2), 73-82 (1993)
14. Magee, J., Kramer, J., Sloman, M.: Constructing distributed systems in conic. IEEE Transactions on Software Engineering 15(6), 663-675 (1989)
15. Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna (2006)
16. Mazzara, M., Bhattacharyya, A.: On modelling and analysis of dynamic reconfiguration of dependable real-time systems. In: International Conference on Dependability, DEPEND (2010)
17. Mazzara, M., Dragoni, N., Zhou, M.: Dependable workflow reconfiguration in wsbpel. In: To appear in Proc. of NODES 2011, Copenhagen, Denmark (2011)
18. Mazzara, M., Govoni, S.: A Case Study of Web Services Orchestration. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 1-16. Springer, Heidelberg (2005) (Pubitemid 41274076)
19. Mazzara, M., Lanese, I.: Towards a Unifying Theory for Web Services Composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 257-272. Springer, Heidelberg (2006) (Pubitemid 44849764)
20. Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119-141 (1992)
21. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press (1999)
22. Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science (1993)
23. Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In: Mathematical Structures in Computer Science, pp. 256-265. ACM (1997)
24. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Fakultaet Mathematik und Physik, Technische Universitaet Darmstadt (1962)