Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison

摘要

Robust formal specification of control logic is vital for efficient development of discrete-event controlsoftware for real-time manufacturing systems. This paper classifies real-time control specificationmethodologies into three types based on their levels of abstraction. Representative methodologies ineach class are briefly introduced, including a new methodology called discrete-event controlnetworks (DECN). An example of a manufacturing discrete-event control system is presented and thelogic is developed under each of the methodologies for comparison. The desirable characteristics andfunctions of real-time manufacturing systems specifications are identified. The paper then discussesthe relative abilities of the representative methodologies to address these characteristics.