Compositional Logical Semantics for Business Process Languages.
Mihhail MatskinRiina MaigreEnn TyuguPublished in: ICIW (2007)
Keyphrases
- business process
- business process models
- business processes
- relational query languages
- logical theories
- process mining
- workflow model
- process model
- business rules
- formal semantics
- web services
- formal language
- case study
- database query languages
- business process management
- business process modeling
- ws bpel
- workflow technology
- virtual organization
- workflow management systems
- inter organizational
- service oriented architecture