A Proof Based Approach for Formal Verification of Transactional BPEL Web Services

Idir Aït-Sadoune, Yamine Aït Ameur
Digital Printed Abstract View Cite
Type
Short Paper
Publication
2nd International Conference on ASM, Alloy, B, and Z (ABZ'10)

Abstract

The Service-Oriented Architectures (SOA) are increasingly used in various application domains. Nowadays various Services operate on the Web and access various critical resources such as databases. These services are called transactional web services when they perform transactional actions. This kind of Services must verify the relevant constraints related to transactional systems. In our work, we focus on web services described with BPEL [1].

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Ait-SadouneA10,
  author       = {Idir A{\"{\i}}t{-}Sadoune and
                  Yamine A{\"{\i}}t Ameur},
  editor       = {Marc Frappier and
                  Uwe Gl{\"{a}}sser and
                  Sarfraz Khurshid and
                  R{\'{e}}gine Laleau and
                  Steve Reeves},
  title        = {A Proof Based Approach for Formal Verification of Transactional {BPEL}
                  Web Services},
  booktitle    = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
                  {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5977},
  pages        = {405--406},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11811-1\_39},
  doi          = {10.1007/978-3-642-11811-1\_39},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Ait-SadouneA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'10

Related