Scientific workflow management and the Kepler system: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Model-driven architecture for cancer research
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
On Specifying and Visualising Long-Running Empirical Studies
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Relative Timed Semantics for BPMN
Electronic Notes in Theoretical Computer Science (ENTCS)
Decision support tools for clinical trial design
Artificial Intelligence in Medicine
On Specifying and Visualising Long-Running Empirical Studies
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Formalisations and applications of BPMN
Science of Computer Programming
Form follows function: model-driven engineering for clinical trials
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Empirical assessment of business model transformations based on model simulation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Hi-index | 0.00 |
We describe a graphical approach to 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 OWorkflowand a subset of Business Process Modelling Notation (BPMN), by which graphical specification, simulation, automation and formalisation are made possible.