Requirements Specification with Petri Nets Using the Cube Tool Methodology.

摘要

The distributed nature of command and control requires the consideration of both processes and communications in the formulation of requirements. Cube Tool is a methodology used to derive the processing and communication needs for each system function. An approach is introduced for extending the applicability of Cube Tool to the determination of requirements for C3I systems. First, using Cube Tool for each function, a Petri Net is derived that models all processes and communications for the correct execution of the function. Then, for a given scenario, these nets are interconnected and the steps of the methodology are applied again to derive the Petri Net that represents the mission-dependent requirements for the system. For different modes of operation are considered, different Petri Net are obtained which can then be folded together to obtain a Colored Petri Net representation of the processes and communications needs. (jes)