Formal specification of a Web services protocol.
James E. JohnsonDavid E. LangworthyLeslie LamportFriedrich H. VogtPublished in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
- formal specification
- web services
- protocol specification
- model checker
- software components
- model checking
- specification languages
- object oriented design
- specification language
- process algebra
- formal methods
- data abstraction
- composite web services
- description language
- reverse engineering
- lightweight
- web service composition
- service oriented architecture
- colored petri nets
- communication protocol
- communication protocols
- service oriented
- web services composition
- concurrent systems
- formal specification language
- service composition
- quality of service
- business process
- business processes
- databases
- service selection
- service discovery
- temporal logic
- response time
- data warehouse
- cooperative
- information systems
- database