Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: a Process Algebra Perspective

Toward Design, Modelling and analysis of Dynamic Workflow Reconfiguration A Process Algebra Perspective M. Mazzara, F. Abouized, N. Dragoni and A. Battacharyya WSFM’11 8 th International Workshop on Web Services and Formal Method 1/9/2011, Clermont-Ferrand, France

Contributors (Just) some of the most important people to thank for their research inputs over the last few years… Cliff Jones, Alexander Romanovsky, Paolo Missier, Vasa Curcin, Jeremy Bryans, Gudmund Grov, Massimo Strano, Michele Mazzucco, Kamarul Abdul Basit, Carl Gamble, Richard Payne, Mario Bravetti, Cosimo Laneve, Roberto Lucchi, Claudio Guidi, Ivan Lanese… ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Agenda

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],The “story” I am going to tell you…

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Research on reconfigurable systems

Overlapping Modes configuration 1 configuration 2 ,[object Object],configuration 2 configuration 1 dynamic reconfiguration transactions ,[object Object],configuration 2 configuration 1 normal transactions dynamic reconfiguration transactions interactions (functional/temporal) ,[object Object]

Keeping an eye on the real world… “ Man has such a predilection for systems and abstract deductions that he is ready to distort the truth intentionally, he is ready to deny the evidence of his senses only to justify his logic” (Fyodor Dostoyevsky)

[object Object],[object Object],[object Object],[object Object],… when making sensible assumptions

Vocabulary Location Layer Application Layer Objects Nodes Links Connected by Components Connectors Hosted on Channels

Formalisms for Dynamic Reconfiguration The ideal formalism is one able to model all the aspects of reconfiguration and to work for the analysis

Simple Harmonic Motion ,[object Object],[object Object]

The Ideal Formalism what is being changed the change the rules Simple Harmonic Motion

But… … the formal elegance and power of differential equations took just thousands of years to develop!

We cannot spend so long thinking!!!

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Reconfiguration features in π- calculi π

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Foundational model

Semantics “ There are no facts, only interpretations” (Friedrich Nietzsche)

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Case study

π-calculus modeling Old region New region

web π ∞ modeling Elements involved In triggering the new region Elements of the old region

Abstractions ,[object Object],[object Object],[object Object],[object Object]

Requirements ,[object Object],[object Object],[object Object],[object Object]

Verification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

WS-BPEL Implementation: questions ,[object Object],[object Object],[object Object],[object Object],Web π ∞ Web π ∞

WS-BPEL Implementation: principles ,[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Web π vs π-calculus π

Conclusions (1) ,[object Object],[object Object],[object Object]

Conclusions (2) ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],Major Contributions

Questions? "Did science promise happiness? I do not believe it. It promised truth, and the question is to know if we will ever make happiness with truth." (Emile Zola)

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: a Process Algebra Perspective

Recommandé

Recommandé

Contenu connexe

En vedette

En vedette (20)

Similaire à Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: a Process Algebra Perspective

Similaire à Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: a Process Algebra Perspective (20)

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: a Process Algebra Perspective