In large scale enterprises composed of more than several hundred departments, many workflows still remain in non-automated state which is a serious burden to the enterprises. Usually workflow of a large scale enterprise is in the mixed form of multiple types of workflow where ad hoc workflow is the major hurdle for the automation. While conventional workflow systems support well a certain type ...

Scientists today are exploring the use of new tools and computing platforms to do their science. They are using workflow management tools to describe and manage complex applications and are evaluating the features and performance of clouds to see if they meet their computational needs. Although today, hosting is limited to providing virtual resources and simple services, one can imagine that in...

9.05 Information guided surgery using workflow descriptions Due to the variety of anatomy and pathology of patients, parameters and the structure of the surgical process vary greatly. Therefore, optimal usage of complex robot assisted surgical systems is currently limited by the lack of continuous information support. An patient related configurable workflow plan will be used as a reference. Ch...

It is proved that the stable commutator length of a Dehn twist in the mapping class group is positive and the tenth power of a Dehn twist about a nonseparating simple closed curve is a product of two commutators. As an application a new proof of the fact that the growth rate of a Dehn twist is linear is given.

In this paper we discuss how an e-learning environment based on Learning Objects can be extended to cope with testing learners achievements. Provided that the learning management system is powerful enough to be able to handle complex relationships and process support, we found that the learning object framework is expressive enough to encapsulate reusable tests. By leveraging on a workflow engi...

Recent advancement of geospatial services has shown great promise to solve complex geoprocessing tasks in a distributed environment. Geoprocessing services are often chained as scientific workflows and executed in a workflow engine. This paper proposes a task-oriented architecture for Web geoprocessing systems, which leverages Web service and workflow technologies to design and execute tasks, a...

We present a verified enumeration of tame graphs as defined in Hales’ proof of the Kepler Conjecture and confirm the completeness of Hales’ list of all tame graphs while reducing it from 5128 to 2771 graphs.

The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extraction process is based on the assumption that the whole developed model is structured using only predefined workflow patterns. A method of automatic transformation of workflow patterns to logical specifications is prop...

This paper proposes an introduction to one of the newest modelling methods, an executable model based on workflows. We present the terminology for some basic workflow patterns, as described in the Workflow Management Coalition Terminology and Glossary.

Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That means two versions of the same model are deployed on the engine. Typically, this results in conflicts between the workflow models. For example, how does a client find and choose the desired workflow version to instan...