eprintid: 148
rev_number: 6
eprint_status: archive
userid: 30
dir: disk0/00/00/01/48
datestamp: 2011-05-18 08:46:12
lastmod: 2011-07-11 14:34:34
status_changed: 2011-05-18 08:46:12
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bucchiarone, Antonio
creators_name: Lluch-Lafuente, Alberto
creators_name: Marconi, Annapaola
creators_name: Pistore, Marco
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: 
title: A Formalisation of Adaptable Pervasive Flows
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.

date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 6194
publisher: Springer
pagerange: 61-75
id_number: 10.1007/978-3-642-14458-5_4
refereed: TRUE
isbn: 978-3-642-14457-8
book_title: Web Services and Formal Methods (WS-FM’09)
editors_name: Laneve, Cosimo
editors_name: Su, Jianwen
official_url: http://dx.doi.org/10.1007/978-3-642-14458-5_4
funders: Research supported by the EU, STREP project Allow IST-324449 and Sensoria, IST-2005-016004.
citation:   Bucchiarone, Antonio and Lluch-Lafuente, Alberto and Marconi, Annapaola and Pistore, Marco  A Formalisation of Adaptable Pervasive Flows.   In:  Web Services and Formal Methods (WS-FM’09).   Lecture Notes in Computer Science, 6194 .  Springer, pp. 61-75.  ISBN 978-3-642-14457-8      (2009)