On Specifying and Visualising Long−Running Empirical Studies.
Peter Y.H. Wong and Jeremy Gibbons
Abstract
In this paper we describe a graphical approach for formally specifying temporally-ordered activity routines designed for calendar scheduling. We introduce a workflow model OWorkflow, for constructing specifications of long running empirical studies such as clinical trials in which observations for gathering data are performed at strict specific times. These observations, either manually performed or automated, are often interleaved with scientific procedures, and their descriptions are recorded in a calendar for scheduling and monitoring to ensure each observation is carried out correctly at a specific time. We also describe a bidirectional transformation between OWorkflow and Business Process Modelling Notation (BPMN) diagrams, by which graphical specification, simulation, automation and formalisation are made possible.
Details
| Book Title |
Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations) |
| Month |
July |
| Note |
Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf. |
| Series |
LNCS |
| Volume |
5063 |
| Year |
2008 |
Links
DOI (10.1007/978-3-540-69927-9_6)
Related pages
|
People |
|
|
Projects |