Encoding Abstract Descriptions into Executable Web Services
Towards a Formal Development
5,00 €
3,00 €
     
SINTESI
It is now widely accepted that formal methods are helpful for many issues raised in the web services area. In this report, we advocate the use of process algebra as a first step in the design and development ofexecutable web services. From such formal descriptions, reasoning tools can be used to validate their correct execution.We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable web services. As a back-end language, we consider the standard orchestration language BPEL. We illustrate our approach through the development of an e-business application.
pagine: 28
formato: 17 x 24
ISBN: 978-88-548-0188-2
data pubblicazione: Gennaio 2006
editore: Aracne
collana: Dipartimento di Informatica e Sistemistica “Antonio Ruberti” della “Sapienza” Università di Roma | 2005/8
SINTESI
Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto