Extension of specification language for soundness and completeness of service workflow.
Wattana ViriyasitavatLi Da XuZhuming BiAssadaporn SapsomboonPublished in: Enterp. Inf. Syst. (2018)
Keyphrases
- specification language
- description language
- web services
- workflow engine
- programming language
- formal specification
- workflow models
- service providers
- loosely coupled
- requirements specification
- symbolic execution
- workflow management systems
- software environment
- virtual enterprise
- database
- service oriented
- business processes
- search algorithm
- formal methods
- service discovery
- service composition
- workflow management
- model checker
- software architecture
- business process
- high level
- workflow execution