Antonella Chirichiello

Learn More
It is now widely accepted that formal methods are helpful for many issues raised in the web services area. In this paper, we advocate the use of process algebra as a first step in the design and development of executable web services. From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to(More)
  • 1