rmSWSpec: Real-Time Monitoring of Service Workflow Specification Language for Specification Patterns.
Wattana ViriyasitavatLi Da XuZhuming BiPublished in: IEEE Trans. Ind. Informatics (2019)
Keyphrases
- specification language
- real time
- description language
- formal specification
- programming language
- web services
- workflow models
- workflow engine
- requirements specification
- loosely coupled
- software environment
- service oriented
- workflow management systems
- workflow process
- protocol specification
- workflow management
- service oriented architecture
- quality of service
- high level
- databases
- software architecture
- monitoring system
- process model
- distributed systems
- complex event processing
- state space
- relational databases
- database