A definition of the XTP service and its formal specification.
J. William AtwoodY. ZhangPublished in: LCN (1995)
Keyphrases
- formal specification
- specification language
- protocol specification
- model checking
- object oriented design
- specification languages
- process algebra
- formal methods
- reverse engineering
- concurrent systems
- service providers
- data abstraction
- web services
- software components
- grid workflow
- model checker
- temporal logic
- service oriented
- multi agent systems
- service composition
- information systems
- highly reliable