The paper presents a method for software specification in the domain o
f industrial process control. As a result of ever more demanding appli
cations, particularly in the area of PLC based control, there is an em
erging need for introducing methods that include an appropriate concep
tual model and define the specification process. An approach to the me
thod development is presented, based on an architectural extension of
the Ward-Mellor structured real time software engineering method. The
core of the method is a conceptual model of the equipment control spec
ification, which consists of two essential parts: the first is that of
process equipment entities, and the second is the functional part. Th
e former is further decomposed in relation to two aspects of the proce
ss equipment entities: the structural aspect and the classification as
pect. In order to make the conceptual model more clear some segments o
f the real process control application dealing with the hydrolysis pro
cess in the production of TiO2 are given. (C) 1997 Elsevier Science B.
V.