Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL.
Zhaoxia WangJianmin WangLijie WenGuiming LuoPublished in: ICEIS (3) (2011)
Keyphrases
- data centric
- business processes
- data management
- xml schema
- data driven
- temporal logic
- information management
- wireless sensor networks
- application development
- distributed systems
- workflow management systems
- domain specific
- model checking
- website
- keywords
- data storage
- database technology
- routing protocol
- databases
- web applications
- general purpose
- sensor networks