Functional Specification of Process-Control Software
Functional program mming languages are based on the mathematical concept of recursive functions. Such languages define the desired result of a computation as a static input-output mapping. Thus, programs expressed in a functional language can be considered as an executable specification. In contrast to procedural languages, the sequence of computation is not explicitly specified, which thereby facilitates the construction of programs.
At the BBC Research Center, the concepts of functional languages are applied to the development of a graphical programming environment which is used for the construction of process-control software. This programming environment is intended to be used by control engineers who may have little knowledge of computer science. Programs are constructed as data-flow graphs which correspond to the function charts traditionally used for the description of process-control mechanisms. The computer-supported graphic system is used for both programming and documentation. The graphic source is translated automatically into executable code.
KeywordsFunctional Language Logical Information Logical Object State Chart Machine Program
Unable to display preview. Download preview PDF.
- 3.I EC Sub-Committee 65A, “Draft-Programmable Controllers,” Central Office of the I EC, 3, Rue de Varembe, Geneva, Switzerland.Google Scholar
- 4.Peterson, J.L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J., 1981.Google Scholar
- 5.Scott, D., and Strachey, C., “Toward a Mathematical Semantics for Computer Languages,” in Proc. Symposium on Computers and Automata, J. Fox, ed., Polytechnic Institute of BrooklynGoogle Scholar