Contents online
Slides
Monday: ifm Workshop on Formal Methods and SOA
- Tilkov: REST, SOA without Contracts?
- Arbab: Usind REO for Composition of Web Services
- Bostrom: Adding domain specific constructs to (Event) B
- Bryans: Formal Modelling and Analysis of Business Information Systems with Fault Tolerant Middleware
- Derrick: ProTest - property based testing for erlang
- Escobar: Verification and Cerification usind rewriting logic
- Kokash: From comliant business process specifications to code
- Mazzara: Dependable Composition
- Mazzara: Towards abstractions for Web Service composition
- Rezazadeh, Butler: Specification, Partitioning and Composition Techniques for Web Application in the Context of Event-B
- Mitchell: Provisioning and Orchestrating Stochastic Black Box Processes within an SOA