Automatic generation of computer program for system with interacting components, being based upon interaction specification

摘要

A program is automatically generated for a system consisting of several communicating components (A,B,C). The program (14) is based upon a specification derived from a description of the interactions. The defined cycle conditions are determined and are normalized with respect to the start and end conditions, and status conditions are defined.