Formal Verification of BPEL4WS Business Collaborations.
Jesús Arias-FisteusLuis Sánchez FernándezCarlos Delgado KloosPublished in: EC-Web (2004)
Keyphrases
- formal verification
- model checking
- business processes
- automated verification
- bpel ws
- symbolic model checking
- model checker
- bounded model checking
- business process
- decision making
- information systems
- inter organizational
- electronic commerce
- business rules
- mobile devices
- business process management
- software engineering
- knowledge management
- information technology
- e learning