TY  - CHAP
M1  - 6194
ED  - Laneve, Cosimo
ED  - Su, Jianwen
N2  - Adaptable Pervasive Flows is a novel workflow-based paradigm for the design and execution of pervasive applications, where dynamic workflows situated in the real world are able to modify their execution in order to adapt to changes in their environment. In this paper, we study a formalisation of such flows by means of a formal flow language. More precisely, we define APFoL (Adaptable Pervasive Flow Language) and formalise its textual notation by encoding it in Blite, a formalisation of WS-BPEL. The encoding in Blite equips the language with a formal semantics and enables the use of automated verification techniques. We illustrate the approach with an example of a Warehouse Case Study.

SN  - 978-3-642-14457-8
Y1  - 2009///
AV  - none
TI  - A Formalisation of Adaptable Pervasive Flows
ID  - eprints148
UR  - http://dx.doi.org/10.1007/978-3-642-14458-5_4
EP  - 75
PB  - Springer
SP  - 61
T3  - Lecture Notes in Computer Science
T2  - Web Services and Formal Methods (WS-FM?09)
A1  - Bucchiarone, Antonio
A1  - Lluch-Lafuente, Alberto
A1  - Marconi, Annapaola
A1  - Pistore, Marco
ER  -