We propose an occurrence-centric framework for formally specifying and executing e-commerce applications, motivated by a need to synchronize system models and system implementations. We describe what we mean by occurrences, and how participants in an occurrence can be specified, giving examples at each stage. In addition to regular workflow occurrences, we explain which types of occurrences can...