2 used for all the cooperating systems. This allows for services to be modeled as methods belonging to objects which also contain data components and rules. These rules not only model what occurs within the individual systems but can also be used to model the interactions between the systems. This system is currently used to coordinate and model the services and design of a VE as described in Section 1. Not only does it model existing interfaces, but it can also be used to generate interface stubs.
Rules capture temporal semantics beyond the valid start and end times of a tuple.
Corrections result in overwrites or deletions, giving rise to loss of information. The temporal update of OSAM T uses a restricted update protocol. Manufacturing Theory and Practice, chapter 17. Norcross, GA, 1989. The OSAM .