收藏本站
《西安理工大学》 2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于构件的软件形式化开发方法研究与应用

姚全珠  
【摘要】: 如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。 本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的基础上,结合XML与构件技术这两种软件开发热门技术,并参考形式化开发方法,提出了基于构件的信息系统形式化开发方法模型。针对软件开发中需求分析不彻底,容易出现二义性等问题,提出了形式化需求分析的方法、步骤,可有效消除需求分析的二义性和不一致性;针对目前信息系统适应性不强的缺点,提出了一种基于构件和XML的构件库管理框架和信息系统集成平台,该框架能实现基于构件的信息系统的插座式组装,在该框架下构建的信息系统具有很强的灵活性和伸缩性,能适应企业机构的调整并方便的进行重组;针对如何提高构件检索的效率这一问题,提出了一种基于案例推理的构件检索方法,并针对基于树匹配的构件检索思想,提出了路径索引技术,并将之无缝结合到了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重索引,可大幅度提高查询效率;针对构件查询中的模式匹配和压缩文档的查询问题,提出了将String B-tree用于解决参数化样式匹配问题以及基于BW转换的高效搜索算法,较好的解决了参数匹配和压缩构件库中构件的检索问题;此外还提出了信息系统的动态菜单集成和基于角色的用户授权方法。 本文以某企业电力营销信息系统为例,对这种开发模型进行了实践,初步建立起了一个电力营销信息系统动态集成框架平台,验证了本文所提出的方法是可行的和有效的。
【学位授予单位】:西安理工大学
【学位级别】:博士
【学位授予年份】:2008
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 边小凡;朱建林;王倩;;形式化方法对构件库管理系统支持的探讨[J];电子技术应用;2006年04期
2 黎忠文,熊光泽;形式化方法与安全关键系统[J];计算机应用;2000年09期
3 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
4 姚全珠;张鹏;;基于数据包长度的网络隐蔽通道[J];计算机工程;2008年03期
5 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
6 邹俊;;反射中间件技术及其发展[J];科技广场;2009年03期
7 孙麒;张云华;;基于CSP的形式化方法研究[J];浙江理工大学学报;2009年04期
8 游红俊,周红梅,程胜利,陈先桥;形式化方法在CSTA系统测试中的应用研究[J];计算机测量与控制;2004年08期
9 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期
10 邓达平 ,王命延;形式化方法——Z语言在西瓜棋中应用的研究[J];科技广场;2005年02期
中国重要会议论文全文数据库 前9条
1 马骏;曹建农;马超;陶先平;;基于集合的上下文建模和操作[A];第七届和谐人机环境联合学术会议(HHME2011)论文集【oral】[C];2011年
2 李松;周逸璇;李曼;王彩亮;;基于多色集合的DSC软件设计模型形式化描述[A];Proceedings of the 2nd Asia-Pacific Conference on Information Network and Digital Content Security(2011APCID)[C];2011年
3 韩江洪;刘征宇;刘晓平;唐昊;张建军;;工业控制安全研究综述[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
4 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
5 闵祥参;;模糊理论在RBAC中的应用研究[A];2011年青年通信国际会议论文集[C];2011年
6 单美静;;基于Benford法则的计算机取证研究[A];2011年青年通信国际会议论文集[C];2011年
7 ;《可拓工程方法》[A];广东省材料研究学会部分单位会员成果汇编[C];2005年
8 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
9 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
中国重要报纸全文数据库 前10条
1 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
2 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
3 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
4 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
5 天津市第一中级人民法院 李宝明;法官的职业思维探析[N];人民法院报;2008年
6 北京化工大学文法学院教授 马长英;潜移默化背后的创新潜力[N];光明日报;2011年
7 本报记者 张蕾;志在促进软件产业跨越式发展[N];光明日报;2006年
8 刘清秀;软件人的福音[N];中国邮政报;2003年
9 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
10 正子;贝尔实验室基础研究在中国生根结果[N];通信产业报;2001年
中国博士学位论文全文数据库 前10条
1 姚全珠;基于构件的软件形式化开发方法研究与应用[D];西安理工大学;2008年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 窦郁宏;程序挖掘中构件描述和检索的研究[D];中南大学;2002年
4 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
5 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
6 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
7 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
8 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
9 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
10 朱建江;基于软件构件的软件复用的研究[D];南京航空航天大学;2002年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026