Towards a formal model for incremental service specification and interaction management support.
Kong E. ChengPublished in: FIW (1994)
Keyphrases
- formal model
- service management
- management system
- decision support
- knowledge management
- end users
- mission critical
- seamless integration
- service provision
- directory service
- information systems
- predicate calculus
- customer support
- virtual enterprise
- service delivery
- collaborative environments
- security properties
- service platform
- workflow management
- network management
- service providers
- web services
- formal specification
- service discovery
- service oriented
- information management
- human computer interaction
- configuration management