The specification of synchronised actions
A. de Bunje, Reinder J. Bril · 2003
An attempt was made to find out whether an object-oriented method combined with the language COLD-1 could improve the organization of software development. For this purpose, a case is investigated within the software package implementing the control system of an MCM (modular chip mounting) placement system. After a short introduction to the wide-spectrum language COLD-1, followed by a survey of the MCM machine, a part of the control system is selected to illustrate the specification of synchronization of actions for the description of the machine in operation. Part of the different constituents of the machine and their control layers are formally specified in COLD-1. The synchronization and timing aspects are specified formally, while interpretation issues are indicated. The relevant fragment of the overall control system is discussed.>