METHOD PERFORMED BY A SOFTWARE TOOL FOR IDENTIFYING CONSTRAINT CONFLICTS IN A SOFTWARE SYSTEM

摘要

Coordination-centric design methodology facilitates the design and the debugging of software systems. Software systems comprise the following elements: components, coordinators and coordination interfaces. Components are function blocks. Coordinators manage all control and dataflow interactions between components based on a predetermined protocol. Coordination interfaces connect components to coordinators and allow control and dataflow information to be passed between components and coordinators.