From the IMS PoC service monitoring to its formal conformance testing.
Felipe LalanneStéphane MaagPublished in: Mobility Conference (2009)
Keyphrases
- protocol specification
- service oriented
- monitoring system
- formal specification
- service providers
- e learning
- formal model
- process execution
- multimedia services
- formal methods
- real time
- decision support
- web services
- test cases
- information services
- service quality
- semantic web services
- mobile services
- end users
- neural network
- service discovery
- software engineering
- management system
- single server