Formal Specification of Web Service Contracts for Automated Contracting and Monitoring.
Steffen LamparterStefan LucknerSybille MutschlerPublished in: HICSS (2007)
Keyphrases
- formal specification
- web services
- model checking
- object oriented design
- specification languages
- specification language
- reverse engineering
- service discovery
- process algebra
- monitoring system
- formal methods
- data abstraction
- composition of web services
- supply chain
- software components
- moral hazard
- concurrent systems
- temporal logic
- business transactions
- real world
- principal agent
- service oriented architecture
- business rules
- production system
- quality of service
- business process
- fine grained
- programming language
- object oriented
- cooperative
- database
- formal specification language