Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting Processes.
Mehran S. FallahAhmad R. SharafatPublished in: Comput. J. (2007)
Keyphrases
- concurrent systems
- service providers
- service discovery
- service composition
- web services
- service oriented
- service quality
- service management
- information services
- service delivery
- service oriented architecture
- mobile services
- service platform
- distributed systems
- process algebra
- petri net
- web service composition
- service selection
- rapidly in recent years
- service provisioning
- end users
- temporal logic
- network services
- formal specification
- service provision
- cross organizational
- loosely coupled
- customer service
- model checking
- internet services
- context aware services
- service integration
- computing environments
- service offerings
- network infrastructure
- search computing
- transition systems
- value added services
- public services
- service systems
- online services
- access points
- semantic web services
- case study
- grid services
- service description
- ubiquitous computing environments
- network resources
- grid environment
- mashup
- service requirements
- context aware