Completeness and realizability: conditions for automatic generation of workflows

In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application's control structure from the implementation of its task programs simplifies and speeds up application development. On the other hand, the run-time system assists users in coordinating and scheduling tasks of a business process. As a result, the cost of doing business is reduced, and business enterprises become more responsive to new business requirements and opportunities, hence, become more competitive in the market. Several formal methods have been proposed for specifying and modeling workflows. However, most workflows are designed manually, which becomes a time-consuming and error-prone procedure when a workflow involves hundreds or thousands of task programs. A recent approach is to generate workflow automatically from a task library and a specification of the desired outcome. In this paper, we define th...

• Type: Journal
• Year: 2006
• Where: IJFCS
• Authors: Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
• Keywords: Business, IJFCS 2006, Task Library, Workflow