Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.
Longfei ZhuQiwen XuHuibiao ZhuPublished in: FedCSIS (Communication Papers) (2018)
Keyphrases
- web services
- service oriented
- business processes
- expressive description logics
- formal methods
- business process
- reasoning systems
- service composition
- knowledge representation
- automated reasoning
- petri net
- knowledge base
- probabilistic knowledge
- web services composition
- owl dl
- reasoning process
- concurrent programs
- qualitative reasoning
- communication channels
- service oriented architecture
- description language
- default reasoning
- answer sets
- description logics
- artificial intelligence