Extending Data Dependencies

The SDG object derived from an EFSM object originally accomodates the following data dependencies between transitions and in a transition:
- Data
- Control
- CUse
- PUse
When an EFSM is modified by adding, deleting, or replacing transitions, data dependencies are extended and identified in sdgm.cpp of the SDG module to include:
- Affecting Data Dependency
- Affecting Control Dependency
- Affected Data Dependency
- Affected Control Dependency
- Activation Dependency
- Affecting Ghost Data Dependency
- Affected Ghost Data Dependency
- Ghost Activation Dependency
When creating an SDG object with parameter Tag of value M, the object will be able to accomodate the extended data dependencies. More information can be found in Xie's thesis .