A modular approach for the specification and validation of the production flexible systems command

摘要

The authors suggest a specification and validation methodology of the production automated systems command. This method is backed by a hierarchical structuring of the command, which is expressed by "entities" provided with "functions" and intercommunicating by definite interfaces. The entity specification approach is based on the Ward and Mellor methodology of the real time structured analysis and the description of command functions within each entity is carried out by means of an object Petri nets subclass with a certain number of multilevel analysis possibilities.