收藏本站
《哈尔滨工程大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于本体的流程类业务需求建模方法研究

王宇华  
【摘要】:需求工程是指应用已证实有效的技术、方法进行需求分析,确定客户需求,帮助分析人员理解问题并定义目标系统的所有外部特征的一门学科。随着软件技术的发展,需求分析在软件开发过程中的地位变得越来越重要,如何获取正确完整的需求规约是目前各种需求分析方法的重点。本体近年来受到信息科学领域的广泛关注,在知识工程、人工智能、语义网、需求工程等相关领域得到了广泛关注和深入研究。用户需求是科技发展的决定性驱动力,将本体技术应用到领域需求工程中,建立领域需求模型,根据用户的需求描述,自动地提供给用户个性化的综合业务应用系统,从而实现按需服务,是当前发展的一个趋势。 目前,形式化的领域需求建模研究仍处于起步阶段,所涉及到的技术问题有很多,面向目标的需求工程方法近年来受到了广泛的关注,通过利用系统目标来进行需求的启发、求精、结构化、规约及验证,其语义的描述是基于线性时序逻辑的,具有严密性强的特点。本文结合流程类业务领域的领域特征及建模的具体需求,针对模型建模方法、目标分解与精化、模型一致性检测三方面技术问题进行研究,提出一种基于本体的流程类业务领域需求建模的整体解决方案,主要工作如下: 1、对流程类业务领域需求模型的形式化建模方法进行研究。首先,结合现有的流程类业务实例与相关文献,明确流程类业务领域的特征与领域范围;然后,在此基础上引入组织本体概念,作为驱动需求描述和分析的常识模型,建立了基于本体的领域需求模型,从组织、目标、资源、操作四个角度刻画流程类业务领域,给出模型的形式化描述,明确各模型之间的关系,为后续的工程实践和关键技术的进一步开展打下基础; 2、对目标精化与目标可操作化方法进行研究,针对KAOS (Knowledge Acquisition in automated Specification)方法实现目标操作化研究中主体、目标和操作描述语义不一致问题,在目标精化的基础上,提出一种基于BDI (Belief- Desire- Intention)主体模型的目标操作化方法,实现用一个目标操作模型解决原子目标操作化的问题,保证需求模型的完备性和可操作性; 3、对模型一致性检测方法进行研究,针对形式化需求模型一致性检测工具需专门设计的问题,提出一种基于模型转换技术的多视图模型一致性检测方法,使对模型的一致性检测转换为对关系型数据库记录的查询,增强检测的灵活性和可扩展性,进一步提高了模型的检测效率,具有较强的通用性; 4、通过实例,以工程化的方法从直观的角度验证了该建模框架的可行性,为今后模型的工程化应用奠定了基础。UML已成为面向对象建模实际上的标准,因此这里选择UML作为应用软件描述语言,对本体到UML元模型的映射方法进行研究,给出一个基于本体知识的UML图元生成方法,进而产生基于UML类图、对象图、转换图的软件需求文档。 基于本体的流程类业务需求建模方法实现用户需求信息的智能处理,整个处理过程体现了模块化、可扩展性、可重用性以及语义级的互操作性等特点,为面向流程类领域的需求获取与分析机制的实施,提供理论依据和及技术参考。
【学位授予单位】:哈尔滨工程大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP311.5;TP391.1

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 张文燚,怀进鹏;领域分析与建模研究[J];北京航空航天大学学报;2004年12期
2 曹健,张申生,李明禄;基于目标驱动和过程重用的Web服务客户化定制模型[J];计算机学报;2005年04期
3 王海涛;曹存根;高颖;;基于领域本体的半结构化文本知识自动获取方法的设计和实现[J];计算机学报;2005年12期
4 李长云;阳爱民;满君丰;应晶;;一种面向按需集成服务的业务模型构造方法[J];计算机学报;2006年07期
5 金芝;基于本体的需求自动获取[J];计算机学报;2000年05期
6 彭环珂,刘旭东,张文;面向领域的软件定制化开发方法研究与应用[J];计算机工程与应用;2005年13期
7 于淼,王延章;公文流转中操作活动的分解和管理[J];计算机工程;2003年22期
8 钟凌燕,高济;一种基于UML的本体论建模方法[J];计算机工程;2003年02期
9 金芝,陆汝钤,David A.Bell;多范例自动需求建模和分析:一种基于本体的方法[J];中国科学E辑;2003年04期
10 陈刚,陆汝钤,金芝;基于领域知识重用的虚拟领域本体构造[J];软件学报;2003年03期
中国硕士学位论文全文数据库 前1条
1 张琼妮;面向领域的大粒度软构件技术研究[D];浙江工业大学;2006年
【共引文献】
中国期刊全文数据库 前10条
1 陈建明;软件需求工程及其发展[J];装甲兵工程学院学报;2003年03期
2 朱文博;李爱平;刘雪梅;;基于本体的冲压工艺知识表示方法研究[J];中国机械工程;2006年06期
3 岳静;张自力;;本体表示语言研究综述[J];计算机科学;2006年02期
4 穆向荣 ,张秀林 ,章守华 ,张弘 ,沈功田;双相钢的巴克好森效应[J];北京科技大学学报;1988年02期
5 胡茂林;;基于IIEM的企业建模方法研究[J];商业研究;2005年24期
6 倪庆萍;;动态企业建模(DEM)技术——柔性管理信息系统的构建基础[J];商业研究;2006年04期
7 王璟,张志杰,孙先锋,姜少亭;应用生物强化技术处理焦化废水难降解有机物[J];城市环境与城市生态;2000年06期
8 季迪新,回清杰,裴培,鲁艺;刷参水的净化和防腐[J];日用化学工业;1986年03期
9 明冬萍,骆剑承,沈占锋,汪闽,盛昊;高分辨率遥感影像信息提取与目标识别技术研究[J];测绘科学;2005年03期
10 何宗宜;谭芬;魏秀琴;;地图矢量数据处理研究[J];测绘科学;2006年06期
中国重要会议论文全文数据库 前10条
1 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 段国林;田晓媛;郭继鸣;陈小黔;;基于XML的企业建模方法[A];全国第九届企业信息化与工业工程学术会议论文集[C];2005年
3 宁伟锋;严隽薇;戴毅茹;;集成化企业模型并行仿真系统中的资源调度[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
4 叶骐;严隽薇;戴毅茹;;基于UML的企业资源建模方法研究[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
5 朱晓琼;刘杰;钱昆;王文俊;胡念苏;;基于核心模块的汽轮机组性能监测系统[A];2007年鄂、皖、苏、冀四省电机工程学会汽轮机专业学术研讨会论文集(湖北卷)[C];2007年
6 毕学军;王胜德;;维修项目管理模型研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
7 刘剑;王智学;;基于本体模型的需求分析[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
8 苗良;唐龙业;柳平增;;Web服务需求的获取与规约[A];中国农业信息科技创新与学科发展大会论文汇编[C];2007年
9 林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年
10 王红玲;吕强;徐瑞;;一种基于知网的中文语义相关度计算模型[A];第三届全国信息检索与内容安全学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 张社荣;面板堆石坝安全监测关联管理系统研究[D];天津大学;2004年
2 王涛;胶态锂离子电池及其材料的研究[D];复旦大学;2003年
3 徐照旻;面向服务的普适计算中间件若干技术研究[D];浙江大学;2008年
4 纪杨建;面向产品方案的形式化设计关键技术研究[D];浙江大学;2003年
5 李朝辉;基于构件复用技术的组态模型及平台研究[D];大连理工大学;2005年
6 任守纲;基于构件的制造执行系统产品线关键技术研究[D];南京航空航天大学;2005年
7 石宝军;电子文献研究[D];中国科学院文献情报中心;2001年
8 许跃敏;基于主题和主体框架的工程应用软件开发技术研究[D];浙江大学;2002年
9 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年
10 李成标;面向产品创新的管理集成理论与方法[D];武汉理工大学;2003年
中国硕士学位论文全文数据库 前10条
1 盛广宏;磷渣活性的激发及对硅酸盐水泥的缓凝机理[D];南京工业大学;2004年
2 邓建新;网络化制造平台可重构控制系统研究与实现[D];重庆大学;2004年
3 曾新华;岩石爆破损伤影响范围研究[D];天津大学;2004年
4 张红宇;数据集成中本体映射的研究[D];中南大学;2005年
5 付蓉;E-learning的知识组织研究[D];中南大学;2005年
6 李志;基于数据集成中本体自动构建的研究[D];中南大学;2005年
7 奚水清;基于UML的组件测试技术研究[D];西北工业大学;2006年
8 毕明浩;科技经费管理决策支持系统中的知识表示[D];天津财经大学;2006年
9 罗旋;基于复句领域本体的语义标注方法研究[D];华中师范大学;2006年
10 苗慧娜;基于本体的知识系统建模框架及其应用研究[D];国防科学技术大学;2005年
【二级参考文献】
中国期刊全文数据库 前10条
1 李道国,苗夺谦,张红云;粒度计算的理论、模型与方法[J];复旦学报(自然科学版);2004年05期
2 陈培友,汪定伟;组合拍卖竞胜标确定问题的优化方法综述[J];管理工程学报;2004年03期
3 费玉奎,王志坚;构件技术发展综述[J];河海大学学报(自然科学版);2004年06期
4 樊玮,朱军;软件Agent技术的研究[J];航空计算技术;1999年04期
5 胡和平,卢正鼎;MIS 中重用部件粒度分析[J];华中理工大学学报;1997年09期
6 李未;一个开放的逻辑系统[J];中国科学A辑;1992年10期
7 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
8 张世琨,王立福,杨芙清;基于层次消息总线的软件体系结构风格[J];中国科学E辑;2002年03期
9 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑;2004年10期
10 尹国定,倪佳强,姚海琼;以自适应对象模型开发自适应软件[J];解放军理工大学学报(自然科学版);2004年01期
中国博士学位论文全文数据库 前4条
1 韩伟;电子市场环境下的多智能体学习与协商[D];华东师范大学;2006年
2 彭鑫;基于本体、特征驱动的产品线开发方法[D];复旦大学;2006年
3 李玉琴;需求工程与软件产品线若干关键技术研究[D];复旦大学;2007年
4 李弈远(朱理);基于特征的软件产品线开发关键技术研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前8条
1 葛斌;基于构件的软件复用技术研究[D];合肥工业大学;2002年
2 段智勇;基于构件技术的分布式应用框架研究[D];河海大学;2002年
3 张锦;基于EJB组件的代码自动生成平台的研究——代码生成器及模板库的设计[D];浙江工业大学;2004年
4 陈艳红;基于构件的软件复用技术的研究与应用[D];首都经济贸易大学;2004年
5 郭广行;基于软构件技术的教务管理系统的设计与实现[D];太原理工大学;2004年
6 张冬冬;基于软件总线的特定领域构件提取与组装的研究与应用[D];兰州理工大学;2004年
7 杨玉凤;基于XML Web Services的协同设计通信相关支持技术研究[D];山东师范大学;2005年
8 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 陈皓生;陈大融;徐军;李疆;;基于神经网络预测的微型直升机偏航控制模型[J];模式识别与人工智能;2002年01期
2 黄小军,王宣刚;基于HLA的网络对抗系统建模与仿真[J];航天电子对抗;2005年05期
3 冯毅萍;荣冈;;流程工业MES体系结构及模型设计[J];化工自动化及仪表;2006年01期
4 张宏韬;曹洪涛;沈金华;李永祥;杨建国;;数控机床热误差补偿的人工神经网络建模及其应用[J];机械制造;2006年01期
5 周敏;李世玲;张富堂;;数据组合处理方法在数据预测中的应用[J];计算机测量与控制;2006年07期
6 李亚臣;蒋红柳;熊海林;罗永锋;颜澎;;视景仿真中三维地球的建模[J];计算机工程;2007年12期
7 朱敏洁;张伟;;作战指挥工作流程的建模与仿真[J];火力与指挥控制;2008年12期
8 常飞;方钰;张栋良;;一种新的智能公交出行建模方法及其实现[J];计算机技术与发展;2008年12期
9 荀欢欢;;虚拟软件Creator与3D MAX结合制作虚拟三维场景[J];科技情报开发与经济;2009年08期
10 薛峰;张键;陆华锋;李文杰;;一种徽派建筑快速建模方法[J];计算机辅助设计与图形学学报;2009年11期
中国重要会议论文全文数据库 前10条
1 崔涛;于达仁;鲍文;;超燃冲压发动机工作模式转换的突变、滞后、分岔及建模方法[A];第二届高超声速科技学术会议会议日程及摘要集[C];2009年
2 高齐圣;刘海行;田治平;;传感器多项式回归快速建模方法[A];1995年中国控制会议论文集(上)[C];1995年
3 朱斯岩;陈桂彬;;气动伺服弹性建模方法研究[A];第七届全国空气弹性学术交流会论文集[C];2001年
4 周卫东;贾磊;;一种基于混合Petri网的混合系统建模方法[A];2003中国控制与决策学术年会论文集[C];2003年
5 张百海;程海峰;彭光正;;气动系统键图建模方法与实现[A];机床与液压学术研讨会论文集[C];2004年
6 张百海;程海峰;彭光正;;气动系统键图建模方法与实现[A];第三届全国流体传动及控制工程学术会议论文集(第二卷)[C];2004年
7 周琦萍;徐迪;;物流系统的建模与仿真[A];第10届计算机模拟与信息技术会议论文集[C];2005年
8 贾连兴;易慧;曹建明;;浅析网络系统的可生存性分析与建模方法[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
9 李娜;罗尧治;;自由曲面空间网格结构数字化建模方法研究[A];庆祝刘锡良教授八十华诞暨第八届全国现代结构工程学术研讨会论文集[C];2008年
10 周美娟;吴健平;;利用Creator构建GIS三维模型的方法研究[A];第六届全国信息获取与处理学术会议论文集(1)[C];2008年
中国重要报纸全文数据库 前10条
1 北京信息与控制研究所 王正中;仿真学科的研究与思考[N];大众科技报;2007年
2 清华大学电子工程系 罗嵘;片上系统EDA的建模方法[N];计算机世界;2005年
3 付宇焜;夹层建模处理[N];建筑时报;2007年
4 特约撰稿 杨文嘉;从“过程模块化”到“数据模块化”[N];民营经济报;2007年
5 国防大学 司光亚罗批 胡晓峰;主体技术 助力军事系统建模仿真[N];计算机世界;2007年
6 ;趁热批发[N];科技日报;2005年
7 ;“精确种田”值得推广[N];陕西科技报;2007年
8 张超;让北京发展一目了然[N];科技日报;2005年
9 李祖诗通讯员 王霞;油气储层的“定位仪”[N];中国石化报;2007年
10 张超;2008,北京发展更精明[N];科技日报;2005年
中国博士学位论文全文数据库 前10条
1 王宇华;基于本体的流程类业务需求建模方法研究[D];哈尔滨工程大学;2011年
2 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
3 熊晶;海洋生态本体的建模方法研究及应用[D];中国海洋大学;2010年
4 杨柳;模糊本体建模方法及语义信息处理策略研究[D];中南大学;2011年
5 冯在文;网络式软件系统需求演化建模方法及关键技术研究[D];武汉大学;2009年
6 潘文林;面向事实的两层本体建模方法研究[D];哈尔滨工程大学;2011年
7 王宁;电子政务中信息资源整合的建模方法与应用研究[D];大连理工大学;2006年
8 于玲;基于数据的复杂系统集成建模方法及其应用研究[D];浙江大学;2006年
9 罗秋滨;一类非线性系统预测控制中的建模问题[D];哈尔滨工业大学;2008年
10 程华农;面向智能体的化工过程运行系统分析、模型化和集成策略的研究[D];华南理工大学;2002年
中国硕士学位论文全文数据库 前10条
1 甘辉兵;大型油船燃油锅炉系统建模与仿真研究[D];大连海事大学;2007年
2 张琪;基于Petri网的工作流管理系统组件的设计与开发[D];东南大学;2006年
3 于广伟;计算机辅助产品开发过程建模工具[D];西北工业大学;2007年
4 李彬彬;基于复杂适应系统的敏捷供应链研究[D];郑州大学;2007年
5 李玲琳;一种改进的工作流模型的研究与实现[D];中南大学;2006年
6 于洁;中国能源需求的建模与分析[D];中南大学;2008年
7 郑孟;整体叶盘建模及其四面体网格的自动生成研究[D];南京航空航天大学;2008年
8 张键;徽派建筑快速建模方法[D];合肥工业大学;2009年
9 孙长勇;虚拟现实中三维建模技术方法的分析与研究[D];解放军信息工程大学;2004年
10 孙淑艺;基于支持向量机的间歇过程建模和优化控制[D];北京化工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026