| 摘要 |
Systemwide control aspects of a software system can be graphically-represented by a static control graph (SCG). A simple SCG typically has, the following: conjunctive nodes, each representing a control constraint; disjunctive nodes, each representing a mode within a component; and directed edges, each representing implication between a pair of nodes. Dynamic control graphs (DCGs) further have actions nodes, each representing an action that only responds to and generates control events, and lend themselves to a wider variety of dynamic checks and to model checking through conversion to Binary Decision Diagrams (BDDs) as well. Control dataflow graphs (CDGs) further have dataflow nodes, each representing a dataflow interaction of the software system and can be used to schedule components within the software system. |
