Formal Specification of Adaptable Semantic Web Services Composition.
Rihab Ben LamineRaoudha Ben JemaaIkram Amous Ben AmorPublished in: Int. J. Inf. Technol. Web Eng. (2018)
Keyphrases
- process algebra
- web services composition
- formal specification
- web service composition
- service composition
- web services
- composition of web services
- concurrent systems
- model checking
- specification language
- specification languages
- object oriented design
- highly reliable
- reverse engineering
- quality of service
- natural language
- grid workflow
- formal methods
- data abstraction
- petri net
- domain specific
- composite web services
- databases
- expert systems
- service selection
- service discovery
- asynchronous circuits
- software components
- multi agent
- high level
- information systems
- artificial intelligence
- real world