检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张国生[1]
机构地区:[1]云南大学信息学院,昆明650091
出 处:《计算机与数字工程》2014年第2期235-238,285,共5页Computer & Digital Engineering
基 金:云南省教育厅科学研究基金项目(编号:2012C106);云南大学重点教改项目(编号:WX070142)资助
摘 要:将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色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.
关 键 词:组织域树 递归 组织目标 需求目标 目标分解树 层次着色PETRI网
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200