USING CSP AND SYSTEM DYNAMICS AS PROCESS ENGINEERING TOOLS

被引:0
作者
GREENWOOD, RM
机构
关键词
PROCESS MODELING; CSP; SYSTEM DYNAMICS;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper describes how two modelling techniques, Hoare's Communicating Sequential Processes (CSP) and Forrester's System Dynamics, could be exploited by a process engineer. These techniques have very different backgrounds: CSP is a specification language for concurrent systems, while System Dynamics is a technique of control theory and management science. Consequently each gives a different view of the process being modelled. We illustrate that both views are valuable and that comparing them can aid model development. This raises the issue of having a number of models giving different views of a software process as an alternative to a specialised process modelling language.
引用
收藏
页码:138 / 145
页数:8
相关论文
共 50 条
[31]   Synthesis of System Dynamics Tools for Holistic Conceptualization of Water Resources Problems [J].
Ali Mirchi ;
Kaveh Madani ;
David Watkins ;
Sajjad Ahmad .
Water Resources Management, 2012, 26 :2421-2442
[32]   Use of system dynamics tools in value-oriented approach in management [J].
Barabanova, Marina ;
Lebedeva, Lyudmyla ;
Rastova, Yuliya ;
Uvarov, Sergey .
ECONOMIC ANNALS-XXI, 2018, 173 (9-10) :32-37
[33]   System dynamics modeling of engineering change management in a collaborative environment [J].
Reddi, Krishna R. ;
Moon, Young B. .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2011, 55 (9-12) :1225-1239
[34]   System dynamics modeling of engineering change management in a collaborative environment [J].
Krishna R. Reddi ;
Young B. Moon .
The International Journal of Advanced Manufacturing Technology, 2011, 55 :1225-1239
[35]   A CSP-desalination system using a supercritical carbon dioxide Brayton cycle in Brazil [J].
Cristiana Brasil Maia ;
Felipe Venâncio Mitkiewicz Silva ;
Luben Cabezas-Gómez .
Journal of the Brazilian Society of Mechanical Sciences and Engineering, 2022, 44
[36]   System dynamics applied in enterprise engineering - a systematic literature review [J].
Hussain, Huda ;
De Vries, Marne .
JOURNAL OF MODELLING IN MANAGEMENT, 2025, 20 (01) :1-29
[37]   On CSP Refinement Tests That Run Multiple Copies of a Process [J].
Lowe, Gavin .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 250 (01) :153-170
[38]   Specification and Verification of the Triple-Modular Redundancy Fault Tolerant System using CSP [J].
Tan, Lanfang ;
Tan, Qingping ;
Li, Jianli .
PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, :14-17
[39]   Can Organic Farming Reduce Vulnerabilities and Enhance the Resilience of the European Food System? A Critical Assessment Using System Dynamics Structural Thinking Tools [J].
Brzezina, Natalia ;
Kopainsky, Birgit ;
Mathijs, Erik .
SUSTAINABILITY, 2016, 8 (10)
[40]   Inline flux volume measurement for CSP process control [J].
Kalisz, S ;
Boyle, A ;
Dorr, N ;
Owen, M .
FIFTH ANNUAL PAN PACIFIC MICROELECTRONICS SYMPOSIUM, PROCEEDINGS, 2000, :407-415