Title: Specification methods

Lecturer: Egon Börger

Period: 13-31 January 2014


Week 1: Introduction of the methods
Goal, main ingredients and characteristic uses of the methods
- Introductory examples: sluicegate, trafficlight, packagerouter, lift
Definition of:
- Logical foundation (for mono-agent models)
- Synchronous (parallel)/asynchronous (distributed) models
- CoreAsm interpreter to execute ASMs
- Rodin tool platform for Event-B

Week 2: Refinement method
Definition and Shortest Path example
- Java/JVM case study

Week 3: Modeling patterns, web services, business processes
- Programming, Workflow and Web Service Mediation patterns
- Browser/Server client/server architecture
- Business Process Modeling: BPMN vs S-BPM