Given the absence of simple tools for modeling Planning and Scheduling problems, as well as the inability of Business Process Management for the anticipated planning of processes, this paper presents a transformation from XPDL process model diagrams into a hierarchical extension of the PDDL planning language, using the concept of workflow patterns as base of the translation process. The propose...

In this paper, a new metamodel for workflows is described by using UML. The underlying UML class diagram is formally extended with OCL preand postconditions for operations and OCL invariants for system states. The metamodel allows the developer to specify processes, activities in processes and temporal relations between them. Known workflow patterns are formally captured in the metamodel and so...

A pattern-based workflow system for creating Grid applications is described, which makes use of “behavioural” and “structural” patterns and operators. The subsequent mapping of these patterns and operators to computational resources for execution is also discussed.

Whitepaper The following text reviews measurement consistency and reproducibility challenges within echocardiography. Past techniques used in automated measurements methods are discussed. An innovative, new method based on learned pattern recognition is proposed with workflow benefits.

Objective: To develop proof strategies to formally study the expressiveness of workflow-based languages, and to investigate their applicability to clinical workflow languages. Method: We propose two strategies for studying the expressiveness of workflow-based languages based on a standard set of workflow patterns expressed as Petri Nets and notions of congruence and bisimilarity from process ca...

implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. the current study was designed in order to model the curr...

intelligent wells provide the ability for monitoring and control of downhole environment of the wells. downhole monitoring is achieved through sensors while control is realized with downhole valves. recovery from intelligent wells can be improved by proper selection of candidate wells/fields and optimizing the number, location and performance of the installed interval control valves. design cri...

1State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China 2Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, Hawthorn, Melbourne 3122, Australia 3MIS Department, University of Arizona, Tucson, AZ 85721, U.S.A. 4Department of Computer Science and Engineering, Ho...

Modern interventional imaging systems provide a wide range of functionalities and tools in order to perform complex radiological interventions. The aim of this work is to analyze and evaluate the workflow of such interventions with a focus on human-computer interaction. In our study, 25 neuroradiological CT interventions using the Siemens Artis Q imaging system were recorded on video. Based on ...

.............................................................................................................................II Preface.............................................................................................................................. III Table of