There has been relatively little work on formal analysis of expressiveness and verification of structural, behavioural and temporal properties in clinical workflow. In this paper we discuss Coloured Petri nets (CPNs) as a formalism to support such analysis. We show in detail how a typical clinical guideline language (PROforma) may be formally mapped to a CPN representation, then show how such a...

In recent years, radiofrequency ablation of liver tumors has become a serious alternative to surgical resection for unresectable colorectal metastases. The treatment success highly depends on an effective placement of the radiofrequency applicators into the tumor to get a sufficient coagulative necrosis. Therefore, several software tools have been developed for the support and planning of a goo...

An adaptive textile composite, sometimes referred to as a smart material or intelligent material, is a structure tailored to exhibit desirable elastic deformation behaviour not necessarily proportional to the imposed load. An example of such a structure would be a box beam so tailored that an imposed cantilever load results in twisting as well as bending, although no torsional load was imposed,...

The practice of using workflows to model complex activities in stable networks is commonplace and is supported by many commercially available workflow management systems (WfMSs). However, the use of workflows to model collaborative activities in mobile environments, while possible at the model level, has not gained traction due to the lack of a suitable WfMS for mobile networks and devices. Thi...

Workflows offer a powerful way to describe and deploy applications on grid infrastructures. Many workflow management systems have been proposed but there is still a lack of a system that would allow both a simple description of the dataflow of the application and an efficient execution on a grid platform. In this paper, we study the requirements of such a system, underlining the need for well-d...

Scientific workflows are being used as an abstraction for the composition of large scale scientific experiments. As scientific workflows become more complex, these abstractions isolate scientists from infrastructure issues. Although representing a workflow in an abstract level is a first step, there are many open issues, such as the ones related to semantics. Adding semantics to abstract workfl...

An workflow definition containing errors might cause serious problems for an enterprise especially when it involves mission critical business processes or inter-organizational interaction. So workflow definitions should be defined in a strict and rigorous way. In this paper, we suggest a workflow definition language and analysis methods for the language to support strict and rigorous workflow d...

Many of today s information systems are driven by explicit process models. Workflow management systems, but also ERP, CRM, SCM, and B2B, are configured on the basis of a workflow model specifying the order in which tasks need to be executed. Creating a workflow design is a complicated time-consuming process and typically there are discrepancies between the actual workflow processes and the proc...

This paper surveys and investigates the strengths and weaknesses of a number of recent approaches to advanced workflow modelling. Rather than inventing just another workflow language, we briefly describe recent workflow languages, and we analyse them with respect to their support for advanced workflow topics. Object Coordination Nets, Workflow Graphs, WorkFlow Nets, and an approach based on Wor...

Workflow management systems should efficiently manage workflow constraints such as time, resource, and cost during workflow executions. Especially, workflow time management is important in timely scheduling of workflow process execution, avoiding deadline violations, and improving the workflow throughput. Though there have been some studies on the dynamic deadline management in a workflow, the ...