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)
Web services emerged recently as a promising way to develop applications through the Internet. Nowadays, an increasing number of companies and organizations only implement their core business and outsource other application services over Internet. A central challenge is the development of modelling techniques and tools for enabling the (semi)-automatic(More)
  • 1