摘要
建立正确、有效的任务模型是正确引导出军事需求的关键步骤。针对任务间时序关系,给出与任务建模相关的若干形式定义和命题;并根据时序关系的传递性质,给出一种建模算法。该算法通过构建时序关系上的传递闭包,帮助分析人员直观地判断任务间可能存在的时序关系,以及可能产生的并发和死锁;在传递闭包图上科学、合理地标记各个任务的时序等级属性,明确各个任务在执行序列中所处的相对位置,以及在执行序列的每个阶段需要同时展开哪些任务。
To model tasks correctly and efficiently is a key step to elicit military requirements.However,how to model temporal relations between tasks and how to judge concurrence and deadlock are problems still left.For solving them,some formal definitions and propositions were proposed.Based on these definitions and propositions,especially the transferability of temporal relations,a method to model tasks was illustrated as well as an algorithm.The point of this method was to construct transferability closure of temporal relations and to label temporal property of tasks based on the closure.With this method,analysts can judge directly temporal relations which may exist between tasks as well as concurrence and deadlock,and confirm what position each task hold in whole performance sequence and which tasks can be performed in each stage.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第6期1526-1530,共5页
Journal of System Simulation
基金
国防预研基金项目 (9140A06020206JB8101)
"863"高技术计划基金项目(2007AA01Z126)
关键词
军事需求
任务建模
时序关系
传递闭包算法
requirement engineering
goal-oriented
requirement analysis
goal modeling
goal classification
