ifm Workshop on Formal Methods and SOA
- Organised by Michael Leuschel and Michael Butler on behalf of the Working Group on Formal Methods for SOA and Internet of the Future.
Slides
The slides are available here.
Programme
SOA and Fault-Tolerance (9h30 - 10h30)
- REST: SOA without Contracts?
Stefan Tilkov, innoQ - Formal Modelling and Analysis of SOA-based Business Information Applications with Fault Tolerant Middleware
John Fitzerald/Jeremy Bryans, Newcastle
Reo and Pi-Calculus (11h00 - 12h30)
- Using Reo for Composition of Web Services
Farhad Arbab, CWI - From compliant business process specifications to code
Natallia Kokash, CWI - Dependable Composition of Web Services and pi-calculus
Manuel Mazzara, University of Newcastle
Alternate Approaches (14h00 - 15h00)
- ProTest - property based testing for Erlang
John Derrick, University of Sheffield - Verification and Certification using rewriting logic
Santiago Escobar, University of Valencia
Event-B (15h30 - 17h00)
- Formal Modeling for Service-based Process Integration
Andreas Roth, SAP - Specification, Partitioning, and Composition Techniques for Web Application in the Context of Event-B
Abdolbaghi Rezazadeh, Univ. Southampton - Adding domain-specific constructs to (Event) B for developing and reasoning about grid applications
Pontus Bostrom, University of Abo