Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
Yanping YangQingPing TanYong XiaoFeng LiuJinshan YuPublished in: APWeb (2006)
Keyphrases
- tool support
- web services
- formal methods
- business process
- colored petri nets
- petri net
- business processes
- cp nets
- business process modeling
- software engineering
- software development
- design decisions
- software tools
- service oriented
- workflow management systems
- service composition
- software projects
- requirements engineering
- multi attribute
- model checking
- soft constraints
- multi dimensional
- description language
- process model
- test suite
- database systems
- special case
- software systems
- case study
- test cases
- decision making