FORMAL PROCESS MODELING

被引：4
作者：
MINKOWITZ, C
机构：
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1993年 / 35卷 / 11-12期
关键词：
PROCESS MODELING; SYSTEM SPECIFICATION; FORMAL MODEL; VDM; ORDER FULFILLMENT PROCESS;
D O I：
10.1016/0950-5849(93)90081-D
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system requirements of complex business processes. The paper examines this thesis by way of a case study in the use of formal modelling to analyse systems requirements for an order fulfilment process.
引用
收藏
页码：659 / 667
页数：9
相关论文
共 16 条
[1]  
ALENCA AJ, 1991, LECTURE NOTES COMPUT, V512, P181
[2]  
[Anonymous], 1989, MODERN STRUCTURED AN
[3]   JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION [J].
COHEN, B .
SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01) :26-35
[4]  
DEITERS W, 1989, LECTURE NOTES COMPUT, V387, P101
[5]  
GOGUEN JA, 1988, SRICSL889 SRI INT TE
[6]  
HAYES I, SPECIFICATION CASE S
[7]  
Hoare C.A.R., 1985, COMMUNICATING SEQUEN
[8]  
Jones C. B., 1990, SYSTEMATIC SOFTWARE, V2
[9]  
Jones C. B., 1990, CASE STUDIES SYSTEMA
[10]  
KAISER GE, 1988, 4 INT SOFTW PROCESS, P84
12