Logic-Based Approaches to Workflow Modeling and Verification

2004 ◽  
pp. 167-202 ◽  
Author(s):  
Saikat Mukherjee ◽  
Hasan Davulcu ◽  
Michael Kifer ◽  
Pinar Senkul ◽  
Guizhen Yang
Keyword(s):  
Workflow Modeling

Design and application of workflow modeling based on extended-directed graph

2009 ◽  
Vol 28 (9) ◽  
pp. 2437-2439 ◽  
Author(s):  
Lin LI ◽  
Zheng-yi CHAI ◽  
Li ZHANG
Keyword(s):  
Directed Graph ◽  
Workflow Modeling ◽  
Design And Application

Problems of Modeling Working Processes in Pneumohydraulic Systems and Units at Various Stages of the Product Life Cycle

2021 ◽  
pp. 60-75
Author(s):  
Y.V. Kyurdzhiev
Keyword(s):  
Life Cycle ◽  
Product Life Cycle ◽  
Dynamic Mode ◽  
Workflow Modeling ◽  
Pressure Regulator ◽  
Modeling Tools ◽  
Product Life ◽  
Current State ◽  
The Moment ◽  
Maintenance Requirements

The article presents the result of the analysis of the problems of maintenance of on-board pneumatic systems and units in terms of the requirements for completeness and efficiency of the requested information. It is shown that the current state of the workflow modeling tools of these systems do not fully meet the maintenance requirements at all stages of the product life cycle. An approach to modeling pneumohydraulic systems and units is proposed, as well as ways to reduce the time from the moment of setting a problem requiring the development of a new mathematical model to obtaining adequate simulation results. The efficiency of the proposed approach is demonstrated by the example of a pressure regulator operating in a dynamic mode. The possibilities and ways of implementing modeling tools based on the proposed approach are shown.

Workflow Modeling

2009 ◽  
pp. 3551-3557
Author(s):  
Marlon Dumas
Keyword(s):  
Workflow Modeling

Agent Aided Workflow Modeling

2004 ◽  
pp. 39-45 ◽  
Author(s):  
Jinlei Jiang ◽  
Meilin Shi
Keyword(s):  
Workflow Modeling

Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding

2008 ◽  
pp. 566-572 ◽  
Author(s):  
Anne H. H. Ngu ◽  
Shawn Bowers ◽  
Nicholas Haasch ◽  
Timothy McPhillips ◽  
Terence Critchlow
Keyword(s):  
Scientific Workflow ◽  
Workflow Modeling

Temporal Workflow Modeling and Its Application

2010 ◽  
pp. 293-309 ◽  
Author(s):  
Yong Tang ◽  
Guohua Chen ◽  
Yan Pan ◽  
Yang Yu
Keyword(s):  
Workflow Modeling
Sign in / Sign up

Export Citation Format

Share Document