摘要
将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行形式化建模,无缝连接社会组织目标与软件系统需求,为软件系统需求分析提出了一种自然、直观的需求过程建模方法。
The social organizational structure is abstracted as a recursive social organizational domain tree.Its top goal is the social organizational total goal,and hierarchically decomposed of social suborganizational domain goals.The software system requirement goal decomposition tree is constructed from the hierarchical social organizational goals.Whereafter,the software system requirements are constructed from the software system requirements goal decomposition tree.Formal modeling of these objective elements are established with the hierarchical colored Petri net,which connects seamlessly the social organizational goals and the software system requirements,a new requirements processes modeling method is put forward for the software system requirements analysis.
出处
《计算机与数字工程》
2014年第2期235-238,285,共5页
Computer & Digital Engineering
基金
云南省教育厅科学研究基金项目(编号:2012C106)
云南大学重点教改项目(编号:WX070142)资助
关键词
组织域树
递归
组织目标
需求目标
目标分解树
层次着色PETRI网
organiztional domain tree
recursion
organiztional goal
requirements goal
goal decomposition tree
hierarchical colored Petri net