Note a requirement can be a Boolean expression. [0074] A DEMOS program consists of an entity (conventionally referred to as main) that sets up class and other definitions and then invokes entities to form the running system. [0075] Operational Semantics [0076] The execution of a DEMOS program is defined operationally, the first analysis of the interaction fragments are described in references [5,