ASM-based Semantics for BPEL: The Negative Control Flow.
Dirk FahlandWolfgang ReisigPublished in: Abstract State Machines (2005)
Keyphrases
- control flow
- data flow
- business processes
- process model
- workflow management systems
- modeling language
- web services
- business process
- service oriented
- software testing
- formal methods
- service composition
- business process models
- transition systems
- formal semantics
- active shape model
- web services composition
- case study
- object oriented
- open source
- business process modeling
- description language
- test suite
- test cases
- data sets
- petri net
- mobile agents