Paulo Barthelmess and Jacques Wainer, Dezembro De, Paulo Barthelmess et al. · 1995
A discussion of workflow models and process description languages is presented. The relationship between data, function and coordination aspects of the process is discussed, and a claim is made that more than one model view (or representation) is needed in order to grasp the complexity of process modeling. The basis of a new model is proposed, showing that more expressive models can be built by supporting asynchronous events and batch activities, matched by powerfull run-time support. 1 Introduction Workflow management systems can be defined as "systems that completely define, manage and execute workflow processes through the execution of software whose order of execution is driven by a computer representation of the workflow process logic" [WMC95] in a shared environment. The expressive power of the model that drives the system's execution will ultimately determine the power of the system as a whole. The absence of rules for dealing with a situation generates an "uncertainty level" t...
Cited by 0
Ty A. Bottorff (14035065), Heungwon Park (3859507), Adam P. Geballe (10036176) et al. · Figshare · 2022
<p><b>(A)</b> Molecules in the kinetic model. Molecules have components each of which has state values or binding sites for other molecules (called <i>bond</i> in BioNetGen). Components are abbreviated in parentheses by how they are referenced in the model specification. For example, the mRNA (<i>M</i>) initiation footprint (<i>c</i><sub><i>1</i></sub> to <i>c</i><sub><i>n</i></sub> where n is equal to the ribosome footprint size in nt) can either be <i>clear</i> of ribosomes, and therefore free for a <i>PIC</i><sub><i>43S</i></sub> loading reaction to occur, or <i>blocked</i> by a ribosome, preventing this reaction. <b>(B)</b> Visual representations of the reactions in the kinetic model. Re-initiation necessitates several additional reactions. <i>PIC</i><sub><i>43S</i></sub> formation (<i>R</i><sub><i>40S</i></sub> binding <i>TC</i>) can occur if the <i>R</i><sub><i>40S</i></sub> is bound to the mRNA; this <i>TC</i> re-binding is required for start codon selection competence. <i>R</i><sub><i>40S</i></sub> molecules can scan forward or backward. Some reactions in the kinetic model, such as different types of collision and dissociation reactions, are not depicted here.</p>
Cited by 0Open access
Paulo Barthelmess, Jacques Wainer · 1994
A discussion of workflow models and process description languages is presented. The relationship between data, function and coordination aspects of the process is discussed, and a claim is made that more than one model view (or representation) is needed in order to grasp the complexity of process modeling. The basis of a new model is proposed, showing that more expressive models can be built by supporting asynchronous events and batch activities, matched by powerfull run-time support.
Cited by 0
Rita Noumeir · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2004
The radiology diagnostic reporting is a process that results in generating a diagnostic report to be made available outside the radiology department. The report captures the radiologist’s interpretations and impressions. It is an element of the patient healthcare record and represents important clinical information to assist in healthcare decisions. The reporting process is initiated by the existence of images or other radiology evidences to be interpreted. The work of individuals is controlled by systems that manage workflow. These systems may introduce delays or constraints on how and when tasks are performed. In order to design and implement efficient information systems that manage the reporting workflow, an accurate workflow modeling is needed. Workflow modeling consists in describing what is done by whom and in what sequence, that is the roles, tasks and sequences of tasks. The workflow model is very important and has major consequences. An inaccurate model introduces inefficiencies, frustrations and may result in a useless information system. In this paper, we will model several common reporting workflows by describing the roles, tasks and information flows involved.
Cited by 3
Abhishek Tiwari · Front Matter · 2018
Developing Extract–transform–load (ETL) workflow is a time-consuming activity yet a very important component of data warehousing process. The process to develop ETL workflow is often ad-hoc, complex, trial and error based. It has been suggested that formal modeling of ETL process can alleviate most of these pain points.
Cited by 0Open access
Jorge Velásquez-Tibatá (6519443), María H. Olaya-Rodríguez (6519446), Daniel López-Lozano (6519449) et al. · Figshare · 2019
Cited by 0Open access
Maria N. Koukovini, Eugenia I. Papagiannakopoulou, Georgios V. Lioudakis et al. · Advances in information quality and management · 2014
Cited by 1
Abhishek Tiwari · Front Matter · 2018
Developing Extract–transform–load (ETL) workflow is a time-consuming activity yet a very important component of data warehousing process. The process to develop ETL workflow is often ad-hoc, complex, trial and error based. It has been suggested that formal modeling of ETL process can alleviate most of these pain points.
Cited by 0Open access
Sucheta Sehgal (6725675), Nitish D. Patel (6725678), Avinash Malik (6725681) et al. · Figshare · 2019
<p>Schematic illustration of the reproduction of a biological cell action potential by the Resonant Model. The model coefficients are determined with the fitting algorithm that provides the best match for the reference action potential waveshape with a minimum least square error. The state controller is designed to respond to the changes in the normal operating conditions of a cell.</p>
Cited by 0Open access
Michiel Helvensteijn · 2012
In previous work we show how abstract delta modeling can be used to model product lines. The formalism assigns a functional meaning to features from a feature model and provides a novel mechanism for resolving implementation conflicts without code duplication or overspecification. But in the vast expressive space of delta modeling, it may not be clear to a developer how to create a product line from scratch. The formalism was descriptive rather than prescriptive. To that end, we propose a development workflow based directly on Abstract Delta Modeling. We show preservation of global unambiguity and completeness in the product lines resulting from this workflow. We also show that the work-flow naturally supports concurrent development.
Cited by 6
Tiwari, Abhishek · Zenodo (CERN European Organization for Nuclear Research) · 2018
Developing Extract–transform–load (ETL) workflow is a time-consuming activity yet a very important component of data warehousing process. The process to develop ETL workflow is often ad-hoc, complex, trial and error based. It has been suggested that formal modeling of ETL process can alleviate most of these pain points. Generally speaking, formal modeling can reduce implementation time and save money by adopting structural patterns and best-practices when implementing ETL workflows.
Cited by 0Open access
Yazan Haddad (3124446), Vojtech Adam (298355), Zbynek Heger (840197) · Figshare · 2020
Cited by 0Open access
Georgi Talmazov (8486280), Nathan Veilleux (8486283), Aous Abdulmajeed (7821860) et al. · Figshare · 2020
Cited by 0Open access
Zhen Liu (74646), Ye Guo (224500), Shuheng Du (4033172) et al. · Figshare · 2017
Cited by 0Open access
Fang Ji · 2004
Workflow model is an abstract express of the workflow which a process can work automatically Because of executing in the
computer environment, workflow model should establish inevitable. Traditional workflow modeling method has some defects, such as
too complex, rigidity and lack of feedback. After being analyzed the shortage of traditional workflow modeling method. a new method,
UML-based workflow modeling method, is put forward based on the standard workflow mathematical description.
Cited by 1
Jinlei Jiang, Meilin Shi · Lecture notes in computer science · 2004
Cited by 2
Jiacun Wang, William Tepfenhart, Daniela Roşca et al. · 2007
Business processes are often constrained by resource availability. This is particularly true in an emergency response system where large quantity of resources, including emergency responders, ambulances, fire trucks, medications, food, clothing, etc., are required. In our previous work, we introduced WIFA model to meet the needs of incident command systems workflow modeling and analysis. In this paper, we extend WIFA to take resources into account when modeling and enacting workflows. A formal resource-constrained workflow model is defined and the state transitions rules are established to support workflow analysis. An example is given to illustrate the use of the model.
Cited by 3
Aalst, WMP Wil van der, Barthelmess, P, Ellis, CA et al. · TU/e Research Portal (Eindhoven University of Technology) · 2000
Cited by 0
Golestanian Namagerdi, Aspet · CSUN ScholarWorks (California State University, Northridge) · 2012
Cited by 0
Aaron Kusmec (16502867), Lakshmi Attigala (3324282), Xiongtao Dai (11786214) et al. · Figshare · 2023
<p>The relationships between variables in the data, the functional linear mixed effects model, and subsequent analyses are shown along with references to main text and supporting figures for results. For full details on the notation of the model, see “Statistical model” in “<a href="http://www.plosgenetics.org/article/info:doi/10.1371/journal.pgen.1010799#sec011" target="_blank">Methods</a>.” Details of the different analyses can be found in the appropriate subsections of the “<a href="http://www.plosgenetics.org/article/info:doi/10.1371/journal.pgen.1010799#sec011" target="_blank">Methods</a>.”</p> <p>(PDF)</p>
Cited by 0Open access