A formalisation of Adaptable Pervasive Flows

Antonio Bucchiarone; Alberto Lluch Lafuente; Annapaola Marconi; Marco Pistore

doi:10.1007/978-3-642-14458-5_4

A formalisation of Adaptable Pervasive Flows

Antonio Bucchiarone
, Alberto Lluch Lafuente
, Annapaola Marconi
, Marco Pistore

FBK-IRST
University of Pisa

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Publisher	Springer Berlin Heidelberg
Publication date	2010
Pages	61-75
ISBN (Print)	978-3-642-14457-8
ISBN (Electronic)	978-3-642-14458-5
DOIs	https://doi.org/10.1007/978-3-642-14458-5_4
Publication status	Published - 2010
Externally published	Yes
Event	6th International Workshop on Web Services and Formal Methods - Bologna, Italy Duration: 4 Sept 2009 → 5 Sept 2009 Conference number: 9

Conference

Conference	6th International Workshop on Web Services and Formal Methods
Number	9
Country/Territory	Italy
City	Bologna
Period	04/09/2009 → 05/09/2009

Series	Lecture Notes in Computer Science
Volume	6194
ISSN	0302-9743

Access to Document

10.1007/978-3-642-14458-5_4

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{2a54df10d52a4440973f348d60990b56,

title = "A formalisation of Adaptable Pervasive Flows",

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.",

author = "Antonio Bucchiarone and \{Lluch Lafuente\}, Alberto and Annapaola Marconi and Marco Pistore",

year = "2010",

doi = "10.1007/978-3-642-14458-5\_4",

language = "English",

isbn = "978-3-642-14457-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "61--75",

booktitle = "Web Services and Formal Methods",

note = "6th International Workshop on Web Services and Formal Methods, WS-FM'09 ; Conference date: 04-09-2009 Through 05-09-2009",

}

Bucchiarone, A, Lluch Lafuente, A, Marconi, A & Pistore, M 2010, A formalisation of Adaptable Pervasive Flows. in Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 6194, pp. 61-75, 6th International Workshop on Web Services and Formal Methods, Bologna, Italy, 04/09/2009. https://doi.org/10.1007/978-3-642-14458-5_4

A formalisation of Adaptable Pervasive Flows. / Bucchiarone, Antonio; Lluch Lafuente, Alberto; Marconi, Annapaola et al.
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg, 2010. p. 61-75 (Lecture Notes in Computer Science, Vol. 6194).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A formalisation of Adaptable Pervasive Flows

AU - Bucchiarone, Antonio

AU - Lluch Lafuente, Alberto

AU - Marconi, Annapaola

AU - Pistore, Marco

N1 - Conference code: 9

PY - 2010

Y1 - 2010

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.

AB - 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.

U2 - 10.1007/978-3-642-14458-5_4

DO - 10.1007/978-3-642-14458-5_4

M3 - Article in proceedings

SN - 978-3-642-14457-8

T3 - Lecture Notes in Computer Science

SP - 61

EP - 75

BT - Web Services and Formal Methods

PB - Springer Berlin Heidelberg

T2 - 6th International Workshop on Web Services and Formal Methods

Y2 - 4 September 2009 through 5 September 2009

ER -

A formalisation of Adaptable Pervasive Flows

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this