Logic-based verification for Web services composition with TLA.
Hongbing WangLi LiChen WangZuling KangDongxi LiuJemma WuAthman BouguettayaPublished in: SOCA (2009)
Keyphrases
- web services composition
- temporal logic
- model checking
- web services
- process algebra
- web service composition
- composition of web services
- service composition
- concurrent systems
- verification method
- highly reliable
- service selection
- quality of service
- formal verification
- asynchronous circuits
- knowledge representation
- composite web services
- petri net
- signature verification
- fingerprint verification
- service discovery
- orders of magnitude
- e government
- software engineering
- natural language
- case study