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

^*المؤلف المقابل لهذا العمل

نتاج البحث: Conference contribution

13 اقتباسات (Scopus)

ملخص

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.

اللغة الأصلية	English
عنوان منشور المضيف	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
ناشر	Springer Verlag
الصفحات	353-370
عدد الصفحات	18
طبعة	PART 1
رقم المعيار الدولي للكتب (المطبوع)	9783540768463
المعرِّفات الرقمية للأشياء	https://doi.org/10.1007/978-3-540-76848-7_23
حالة النشر	Published - 2007
منشور خارجيًا	نعم
الحدث	OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 - Vilamoura, Portugal المدة: نوفمبر ٢٥ ٢٠٠٧ → نوفمبر ٣٠ ٢٠٠٧

سلسلة المنشورات

الاسم	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
الرقم	PART 1
مستوى الصوت	4803 LNCS
رقم المعيار الدولي للدوريات (المطبوع)	0302-9743
رقم المعيار الدولي للدوريات (الإلكتروني)	1611-3349

Other

Other	OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
الدولة/الإقليم	Portugal
المدينة	Vilamoura
المدة	١١/٢٥/٠٧ → ١١/٣٠/٠٧

ASJC Scopus subject areas

???subjectarea.asjc.2600.2614???
???subjectarea.asjc.1700.1700???

الوصول إلى المستند

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

الملفات والروابط الأخرى

قم بذكر هذا

Gaaloul, W., Rouached, M., Godart, C., & Hauswirth, M. (2007). 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 طبعة, الصفحات 353-370). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4803 LNCS, رقم PART 1). Springer Verlag. 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 وآخرون.
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. طبعة Springer Verlag, 2007. صفحة 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4803 LNCS, رقم PART 1).

نتاج البحث: Conference contribution

Gaaloul, W, Rouached, M, Godart, C & Hauswirth, M 2007, 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 طبعة, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), رقم PART 1, المجلد 4803 LNCS, Springer Verlag, الصفحات 353-370, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, ١١/٢٥/٠٧. https://doi.org/10.1007/978-3-540-76848-7_23

Gaaloul W, Rouached M, Godart C, Hauswirth M. 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 طبعة Springer Verlag. 2007. صفحة 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

Gaaloul, Walid ; Rouached, Mohsen ; Godart, Claude وآخرون. / 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. طبعة Springer Verlag, 2007. الصفحات 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{05ee00cc644b4e7192f73b17bf2df679,

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

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

}

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

Y1 - 2007

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.

UR - http://www.scopus.com/inward/record.url?scp=38349118087&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38349118087&partnerID=8YFLogxK

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 -

Verifying composite service transactional behavior using event calculus

ملخص

سلسلة المنشورات

Other

ASJC Scopus subject areas

الوصول إلى المستند

الملفات والروابط الأخرى

بصمة

قم بذكر هذا