A prolog-based language for workflow programming

被引：0

作者：

Gregory, Steve ^{[1
]}

Paschali, Martha ^{[1
]}

机构：

[1] Univ Bristol, Dept Comp Sci, Bristol BS8 1UB, Avon, England

来源：

COORDINATION MODELS AND LANGUAGES, PROCEEDINGS | 2007年 / 4467卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow systems in use, mostly commercial products, and no standard language has been defined in which to express workflow specifications. In this paper we propose Workflow Prolog, a new extension of Prolog. The language allows workflow systems to be implemented in a novel declarative style, while preserving the existing properties of Prolog, such as its familiarity and efficiency. We then demonstrate the expressiveness of the language by showing how it can express each of the workflow patterns that have previously been identified as the requirements of a workflow language.

引用

页码：56 / +

页数：4

共 50 条

[21] DEVELOPMENT OF A PROLOG-BASED EXPERT SYSTEM FOR GROUNDWATER CONTROL
DAVEYWILSON, IEG
COMPUTERS & STRUCTURES, 1991, 40 (01) : 185 - 189
[22] Prolog as a first programming language
Lee, M.P.
Pryce, J.D.
Harrison, A.
International Journal of Environmental Studies A & B, 47 (01):
[23] PROLOG-BASED COMPUTER-AIDED-LEARNING ENVIRONMENTS
CHALK, P
PROGRAMMED LEARNING & EDUCATIONAL TECHNOLOGY, 1987, 24 (02): : 102 - 107
[24] PROLOG-BASED EXPERT SYSTEMS IN CIVIL ENGINEERING - DISCUSSION
DAVEYWILSON, IEG
MAY, IM
TIZANI, W
ALIM, S
MUNRO, J
PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS PART 2-RESEARCH AND THEORY, 1988, 85 : 185 - 187
[25] TEST-CASE GENERATION FROM PROLOG-BASED SPECIFICATIONS
DENNEY, R
IEEE SOFTWARE, 1991, 8 (02) : 49 - 57
[26] Adding concrete syntax to a prolog-based program synthesis system
Fischer, B
Visser, E
LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, 2003, 3018 : 56 - 58
[27] ON THE CONSTRUCTION OF A PROLOG-BASED VERIFIER FOR SYSTOLIC ARRAY DESIGNS
SHIH, T
LING, N
DAVIS, R
LIN, FY
COMPUTATIONAL INTELLIGENCE, 1995, 11 (01) : 172 - 221
[28] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
SHIFMAN, M
JELOVSEK, FR
M D COMPUTING, 1988, 5 (02): : 36 - &
[29] THE DESIGN AND IMPLEMENTATION OF DLOG, A PROLOG-BASED KNOWLEDGE REPRESENTATION SYSTEM
GOEBEL, R
NEW GENERATION COMPUTING, 1985, 3 (04) : 385 - 401
[30] A PROLOG-BASED EXPERT SYSTEM FOR ENCODING SEISMIC DESIGN PROVISIONS
ALIM, S
CIVIL ENGINEERING SYSTEMS, 1987, 4 (01): : 39 - 44

← 1 2 3 4 5 →