Formal techniques for consistency checking of orchestrations of semantic Web services.
Youcef HammalKhadidja Salah-MansourAbdelkrim AbdelliLynda MokdadPublished in: J. Comput. Sci. (2020)
Keyphrases
- semantic web services
- consistency checking
- web services
- service discovery
- query answering
- semantic web technologies
- temporal constraints
- semantic annotation
- intelligent agents
- service oriented architecture
- temporal reasoning
- life cycle
- service oriented
- service description
- incomplete information
- semi automatic
- databases
- wordnet
- distributed systems
- cooperative
- path consistency
- multi agent