Formal Specification of a Web Services Protocol.
James E. JohnsonDavid E. LangworthyLeslie LamportFriedrich H. VogtPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- formal specification
- web services
- protocol specification
- model checker
- model checking
- software components
- object oriented design
- specification languages
- specification language
- composite web services
- process algebra
- formal methods
- service oriented
- reverse engineering
- concurrent systems
- lightweight
- description language
- quality of service
- business process
- service discovery
- data abstraction
- web service composition
- web services composition
- information systems
- service composition
- colored petri nets
- communication protocols
- software engineering
- formal specification language