Verifying composite service transactional behavior using event calculus

Walid Gaaloul; Mohsen Rouached; Claude Godart; Manfred Hauswirth

doi:10.1007/978-3-540-76848-7_23

Verifying composite service transactional behavior using event calculus

Walid Gaaloul
, Mohsen Rouached
, Claude Godart
, Manfred Hauswirth

IDA Business Park
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

langue originale	Anglais
titre	On the Move to Meaningful Internet Systems 2007
Sous-titre	CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings
Editeur	Springer Verlag
Pages	353-370
Nombre de pages	18
Edition	PART 1
ISBN (imprimé)	9783540768463
Les DOIs	https://doi.org/10.1007/978-3-540-76848-7_23
état	Publié - 1 janv. 2007
Modification externe	Oui
Evénement	OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 - Vilamoura, Portugal Durée: 25 nov. 2007 → 30 nov. 2007

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
nombre	PART 1
Volume	4803 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
Pays/Territoire	Portugal
La ville	Vilamoura
période	25/11/07 → 30/11/07

Accès au document

10.1007/978-3-540-76848-7_23

Contient cette citation

Gaaloul, W., Rouached, M., Godart, C., & Hauswirth, M. (2007). Verifying composite service transactional behavior using event calculus. Dans On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings (PART 1 Ed., p. 353-370). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4803 LNCS, Numéro PART 1). Springer Verlag. https://doi.org/10.1007/978-3-540-76848-7_23

Gaaloul, Walid ; Rouached, Mohsen ; Godart, Claude et al. / Verifying composite service transactional behavior using event calculus. On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1. Ed. Springer Verlag, 2007. p. 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{ce997a02ee7d44298a0e31f67c8b1a33,

title = "Verifying composite service transactional behavior using event calculus",

abstract = "A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.",

author = "Walid Gaaloul and Mohsen Rouached and Claude Godart and Manfred Hauswirth",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-76848-7\_23",

language = "English",

isbn = "9783540768463",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

number = "PART 1",

pages = "353--370",

booktitle = "On the Move to Meaningful Internet Systems 2007",

edition = "PART 1",

note = "OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 ; Conference date: 25-11-2007 Through 30-11-2007",

}

Gaaloul, W, Rouached, M, Godart, C & Hauswirth, M 2007, Verifying composite service transactional behavior using event calculus. Dans On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Numéro PART 1, VOL. 4803 LNCS, Springer Verlag, p. 353-370, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, 25/11/07. https://doi.org/10.1007/978-3-540-76848-7_23

Verifying composite service transactional behavior using event calculus. / Gaaloul, Walid; Rouached, Mohsen; Godart, Claude et al.
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1. Ed. Springer Verlag, 2007. p. 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4803 LNCS, Numéro PART 1).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Verifying composite service transactional behavior using event calculus

AU - Gaaloul, Walid

AU - Rouached, Mohsen

AU - Godart, Claude

AU - Hauswirth, Manfred

PY - 2007/1/1

Y1 - 2007/1/1

N2 - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

AB - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

U2 - 10.1007/978-3-540-76848-7_23

DO - 10.1007/978-3-540-76848-7_23

M3 - Conference contribution

AN - SCOPUS:38349118087

SN - 9783540768463

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

SP - 353

EP - 370

BT - On the Move to Meaningful Internet Systems 2007

PB - Springer Verlag

T2 - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007

Y2 - 25 November 2007 through 30 November 2007

ER -

Gaaloul W, Rouached M, Godart C, Hauswirth M. Verifying composite service transactional behavior using event calculus. Dans On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1 Ed. Springer Verlag. 2007. p. 353-370. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). doi: 10.1007/978-3-540-76848-7_23

Verifying composite service transactional behavior using event calculus

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation