Abstract:

For checking consistency of task in combat system,a formal approach,based on the graph grammar,is proposed which transforms models of combat system to attributed graph and check conflicts and dependencies between functional requirements.A cycle dependency may lead to prevent execution of dynamic models;a wrong dependency shows that functional requirement does not agree with the execution process of dynamic model.So dependency relationships need to be verified detecting whether circle dependency or wrong dependency exist or not.And corresponding detection algorithms have given in this paper.Cycle dependency detection algorithm finds circles by the depth first search;wrong dependency detection algorithm makes depth first search in activity diagram to check if dependency relationship is consistent with the execution process.A consistency checking system is implemented based on the approach and verified with example in the end of this paper.

Key words: Task-oriented;requirements specification;graph grammar;model consistency