Specification and execution of composite trading activities.
Yain-Whar SiDavid EdmondMarlon DumasArthur H. M. ter HofstedePublished in: Electron. Commer. Res. (2007)
Keyphrases
- activity recognition
- high level
- process execution
- code generation
- electronic commerce
- control flow
- execution model
- business processes
- business process
- daily life
- exception handling
- transactional properties
- databases
- workflow processes
- concurrent execution
- parallel execution
- specification language
- formal specification
- multi agent systems