Declarative Specification and Alignment Verification of Services in ITIL.
Irina RychkovaGil RegevAlain WegmannPublished in: EDOCW (2008)
Keyphrases
- service delivery
- formal verification
- service providers
- service oriented
- web services
- high level
- formal methods
- protocol specification
- concurrent systems
- asynchronous circuits
- model checking
- information systems
- ubiquitous computing
- formal specification
- service oriented architecture
- ontology matching
- image alignment
- communication protocols
- key concepts
- service discovery
- service quality
- domain independent
- digital libraries
- metadata
- web technologies
- agent technology
- service composition
- cd rom
- context aware
- knowledge representation
- end users
- declarative language
- attribute grammars