From formal specifications to QoS monitors.
Sébastien SaudraisOlivier BaraisLaurence DuchienNoël PlouzeauPublished in: J. Object Technol. (2007)
Keyphrases
- formal specification
- quality of service
- object oriented design
- specification languages
- model checking
- specification language
- formal methods
- web services
- reverse engineering
- process algebra
- ad hoc networks
- concurrent systems
- web services composition
- service selection
- resource management
- ip networks
- semantic data models
- design methodology
- formal specification language
- temporal logic
- software design
- description language
- databases
- software components
- access control
- response time
- protocol specification
- knowledge representation
- artificial intelligence