Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking.

Representation of System Architecture Research questions to be Answered: What is an appropriate symbolic representation for the system architecture? Here is a first-cut implementation of entities making up the system structure. Figure 1. UML Model of the System Architecture. Ports and Port Panels Port capability -- services required and services provided -- is described by an interface specification. Audio Port Multimedia Port Telecom Port Port Model And here is a preliminary port model. Figure 2. UML Model of Ports, Port Connectors, and Port Geometry.

Section 11-4: April, 2003.