Timing Constraints Specification and Verification for Web Service Compositions.
Guilan DaiRujuan LiuChongchong ZhaoChangjun HuPublished in: APSCC (2008)
Keyphrases
- timing constraints
- web service compositions
- real time databases
- real time systems
- embedded devices
- real time database systems
- service composition
- web service composition
- execution model
- active databases
- concurrency control
- real time
- web services
- resource constraints
- active rules
- model checking
- quality of service
- transaction processing
- concurrency control protocols
- service oriented
- limited memory
- petri net
- distributed systems