A
Alessandro Lapadula
Researcher at University of Florence
Publications - 22
Citations - 832
Alessandro Lapadula is an academic researcher from University of Florence. The author has contributed to research in topics: Web service & Business Process Execution Language. The author has an hindex of 13, co-authored 21 publications receiving 823 citations.
Papers
More filters
Book ChapterDOI
A calculus for orchestration of web services
TL;DR: This work introduces COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services.
Book ChapterDOI
Leveraging Applications of Formal Methods, Verification and Validation
Book ChapterDOI
A model checking approach for verifying COWS specifications
Alessandro Fantechi,Stefania Gnesi,Alessandro Lapadula,Franco Mazzanti,Rosario Pugliese,Francesco Tiezzi +5 more
TL;DR: A logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS, described by means of SocL, a logic specifically designed to capture peculiar aspects of services.
Journal ArticleDOI
A logical verification methodology for service-oriented computing
Alessandro Fantechi,Stefania Gnesi,Alessandro Lapadula,Franco Mazzanti,Rosario Pugliese,Francesco Tiezzi +5 more
TL;DR: A logical verification methodology for checking behavioral properties of service-oriented computing systems and shows an instantiation of the general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulas over service specifications.
Book ChapterDOI
A formal account of WS-BPEL
TL;DR: Blight, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers is introduced.