DecSerFlow: Towards a Truly Declarative Service Flow Language
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 1-23
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Process‐Aware Information Systems2005
- Automata-based verification of temporal properties on running programs2005
- Monitoring programs using rewriting2005
- Life After BPEL?2005
- Process Mining and Verification of Properties: An Approach Based on Temporal Logic2005
- Workflow mining: discovering process models from event logsIEEE Transactions on Knowledge and Data Engineering, 2004
- Workflow PatternsDistributed and Parallel Databases, 2003
- Synthesizing Monitors for Safety Properties2002
- Patterns in property specifications for finite-state verification1999
- Simple On-the-fly Automatic Verification of Linear Temporal Logic1996