Analysis of composite web services using logging facilities

Mohsen Rouached, Claude Godart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.

Original languageEnglish
Title of host publicationService-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings
Pages74-85
Number of pages12
Volume4652 LNCS
Publication statusPublished - 2007
Event4th International Conference on Service-Oriented Computing, ICSOC 2006 - Chicago, IL, United States
Duration: Dec 4 2006Dec 7 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4652 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Service-Oriented Computing, ICSOC 2006
CountryUnited States
CityChicago, IL
Period12/4/0612/7/06

Fingerprint

Web services
Web Services
Composite
Composite materials
Event Calculus
Algebraic Specification
Discrete Event
Proof by induction
Specifications
Interaction
Theorem
Modeling
Industry

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Rouached, M., & Godart, C. (2007). Analysis of composite web services using logging facilities. In Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings (Vol. 4652 LNCS, pp. 74-85). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4652 LNCS).

Analysis of composite web services using logging facilities. / Rouached, Mohsen; Godart, Claude.

Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings. Vol. 4652 LNCS 2007. p. 74-85 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4652 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rouached, M & Godart, C 2007, Analysis of composite web services using logging facilities. in Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings. vol. 4652 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4652 LNCS, pp. 74-85, 4th International Conference on Service-Oriented Computing, ICSOC 2006, Chicago, IL, United States, 12/4/06.
Rouached M, Godart C. Analysis of composite web services using logging facilities. In Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings. Vol. 4652 LNCS. 2007. p. 74-85. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Rouached, Mohsen ; Godart, Claude. / Analysis of composite web services using logging facilities. Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings. Vol. 4652 LNCS 2007. pp. 74-85 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{379b5429b4ec49eb9679fa8ee9ca6250,
title = "Analysis of composite web services using logging facilities",
abstract = "In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.",
author = "Mohsen Rouached and Claude Godart",
year = "2007",
language = "English",
isbn = "9783540754916",
volume = "4652 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "74--85",
booktitle = "Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings",

}

TY - GEN

T1 - Analysis of composite web services using logging facilities

AU - Rouached, Mohsen

AU - Godart, Claude

PY - 2007

Y1 - 2007

N2 - In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.

AB - In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.

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

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

M3 - Conference contribution

SN - 9783540754916

VL - 4652 LNCS

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

SP - 74

EP - 85

BT - Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings

ER -