ifm Workshop on Formal Methods and SOA

  1. 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