检索结果-南通市图书馆

面向方面技术在数字图书馆管理系统中的应用和实践

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国多媒体与网络教学学报（电子版） 2019年第6期 7-8,184页

作者：李君燕赵加慧滁州学院图书馆

随着社会信息化和网络通信技术等信息技术的飞速发展,传统的图书馆运作方式不能适应社会发展需要,必将向网络化和数字化方向深入发展。现有数字图书馆管理系统在设计与实现时均没有区分系统的核心关注点和横切关注点,从而在系统实现时... 详细信息

随着社会信息化和网络通信技术等信息技术的飞速发展,传统的图书馆运作方式不能适应社会发展需要,必将向网络化和数字化方向深入发展。现有数字图书馆管理系统在设计与实现时均没有区分系统的核心关注点和横切关注点,从而在系统实现时产生代码缠绕的问题。面向方面技术能够解决代码缠绕问题,达到代码的复用性的效果。本文探讨了面向方面技术在数字图书馆管理系统设计中的应用,对图书馆的数字化建设具有较高的参考意义和应用价值。

关键词：图书馆管理系统面向方面技术数字图书馆

网络化制造中业务规则驱动的业务流程组合机制

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2007年第7期13卷 1354-1359,1380页

作者：游佳刘飞尹超汪军重庆大学制造工程研究所

针对网络化制造中业务流程的稳定性和复杂性受业务规则变化的影响问题,提出了以业务规则驱动的业务流程组合机制。该机制通过对现有业务流程组合规范进行扩展,即在现有的业务流程组合层之上建立独立的业务规则管理层。利用协调理论对业... 详细信息

针对网络化制造中业务流程的稳定性和复杂性受业务规则变化的影响问题,提出了以业务规则驱动的业务流程组合机制。该机制通过对现有业务流程组合规范进行扩展,即在现有的业务流程组合层之上建立独立的业务规则管理层。利用协调理论对业务流程中的业务规则种类、业务流程组合机制的功能进行了分析,并利用面向方面技术实现了业务规则驱动的业务流程组合机制。最后,运用实际案例验证了该业务流程组合机制的有效性和实用性。

关键词：业务规则业务流程组合机制协调理论面向方面技术

在线全文

学校读者我要写书评

暂无评论

网络化制造中企业间业务流程重用研究

计算机集成制造系统 2007年第2期13卷 345-349,355页

作者：汪军宋豫川刘飞何彦重庆大学制造工程研究所重庆400030

为了提高网络化制造中企业间业务流程组合的灵活性及重用性,提出了一种业务流程重用组合机制,利用协调理论构建了重用组合机制功能结构,并结合面向方面技术建立了该机制的实现方法。最后,将研究成果应用于重庆某企业,取得了较好的应用... 详细信息

为了提高网络化制造中企业间业务流程组合的灵活性及重用性,提出了一种业务流程重用组合机制,利用协调理论构建了重用组合机制功能结构,并结合面向方面技术建立了该机制的实现方法。最后,将研究成果应用于重庆某企业,取得了较好的应用效果。

关键词：业务流程组合协调理论重用组合机制面向方面技术

在线全文

学校读者我要写书评

暂无评论

一种可信的信息物理融合系统设计框架初探

计算机研究与发展 2011年第S2期48卷 242-246页

作者：张侃张广泉张茗泰苏州大学计算机科学与技术学院江苏苏州215006 中国科学院计算机科学国家重点实验室北京100190

信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问... 详细信息

信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.

关键词：信息物理融合系统可信形式化方法面向方面技术

在线全文

学校读者我要写书评

暂无评论

基于场景的软构件自动化测试模型研究

湘潭大学自然科学学报 2009年第1期31卷 141-147页

作者：陈翔 Michael Wagner 肖杰邓毅刚长沙学院计算机科学与技术系湖南长沙410003 儿童医院信息技术中心美国俄亥俄州辛西那提市oh45220 长沙学院计算机教学中心湖南长沙410003 长沙威胜电子有限公司湖南长沙410013

随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟.如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题.提出了一种基于场景的软构件自动化测试模型,给出基于统一建模语言UML的... 详细信息

随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟.如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题.提出了一种基于场景的软构件自动化测试模型,给出基于统一建模语言UML的顺序图构造测试场景具体方法,并对基于UML顺序图构造测试场景方法的有效性进行了分析.

关键词：软构件可靠性测试场景测试用例工作流拦截器面向方面技术

在线全文

学校读者我要写书评

暂无评论

一种基于面向方面机制的模型转换方法

计算机应用与软件 2008年第5期25卷 80-82页

作者：王迎春邢桂芬吴进江苏大学计算机科学与通信工程学院江苏镇江212013

传统对象建模技术生成的PIM(Model Driven Architecture)一般是多重关注点混杂在一起的大型模型,该模型会导致PIM到PSM(Platform Specific Model)的模型转换工作较为困难。提出了一种基于面向方面机制的模型转换方法,该方法在模型层将... 详细信息

传统对象建模技术生成的PIM(Model Driven Architecture)一般是多重关注点混杂在一起的大型模型,该模型会导致PIM到PSM(Platform Specific Model)的模型转换工作较为困难。提出了一种基于面向方面机制的模型转换方法,该方法在模型层将系统横切关注点与核心关注点分离,单独建模为方面子模型,给出了方面PIM到方面PSM的转换规则,改进了对象建模生成的模型在转换中关注点混杂和对横切关注点管理的不足。

关键词：平台独立模型平台相关模型模型转换面向方面技术

在线全文

学校读者我要写书评

暂无评论

基于形式化的信息物理系统的建模与验证

基于形式化的信息物理系统的建模与验证

作者：柳求金广东工业大学

学位级别：硕士

面向对象程序设计技术是软件开发历史上最重要的贡献之一,它通过封装、继承以及多态等机制良好的实现了抽象、信息隐藏与模块化,使得开发人员有效的开发并控制大型复杂的系统成为可能。然而它只能较好的解决关注点的纵向泛化方面的关系... 详细信息

面向对象程序设计技术是软件开发历史上最重要的贡献之一,它通过封装、继承以及多态等机制良好的实现了抽象、信息隐藏与模块化,使得开发人员有效的开发并控制大型复杂的系统成为可能。然而它只能较好的解决关注点的纵向泛化方面的关系,横向依赖关系往往被忽略,结果导致软件系统实现过程中,一些横切的关注点离散的分布于各个模块中,一些逻辑业务代码和横向上的关注点难于清晰的定位和代码的“缠结”现象,缠结现象是导致现有软件系统不必要的复杂性的核心。它降低了系统的内聚度以及可理解性,增加了程序设计出错的机会,使得一些功能构件难以复用,项目难于继续开发和维护。面向方面的程序设计技术很好继承了面向对象的程序设计技术的优点,并能弥补了它在程序设计时对横向关注点处理的不足。它能深入到对象内部,将横切关注点抽取出来并进行模块化,使得很好的实现了与系统核心关注点相分离。从而有效的降低了系统模块间的耦合度,将面向方面的程序设计思想应用到实时系统的分析与设计阶段,能大大增强对系统的理解性,提高代码的可重用性和降低系统模块之间的耦合度。随着软件的广泛应用,特别是软件在尖端领域的应用,软件安全性和可靠性成为一个非常重要的问题。形式化方法以数学为基础来定义硬件系统和软件系统的规约并对系统进行验证。其核心在于构造数学模型以及通过计算的方式对模型性质进行分析和验证。它能提供一致性、完整性、规约、实现和精准性等概念的精确定义,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,从而能极大地提高软件的安全性和可靠性。本文采用形式化方法来对CPS系统进行建模,结合AOP技术将CPS抽象分离出信息、通信和物理三个方面,采用ZimOO对系统的信息方面进行建模,用CSP对系统的通信方面进行建模,用微分动态逻辑对系统的物理方面进行建模,待建立好这三个子方面模型后,再通过面向方面的织入思想,将该三个子方面织入到主系统中,形成一个完整的系统模型。文章最后通过一个列车调度控制系统实例对这种形式化建模过程进行说明和验证。

关键词：信息物理融合系统面向方面技术形式化方法 ZimOO

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于AOP的航电软件系统的设计与实现

基于AOP的航电软件系统的设计与实现

作者：陈绍宇上海交通大学

学位级别：硕士

伴随着我国大型运输机(大运),大型客机(大客)等一系列自主研发的航空项目的启动,对有关的航空电子软件产品的要求也就越来越高,同国际接轨,符合国际化要求成为了必然。在我们自己的航电产品研发中引入先进的开发思想,理念和策略是提升... 详细信息

伴随着我国大型运输机(大运),大型客机(大客)等一系列自主研发的航空项目的启动,对有关的航空电子软件产品的要求也就越来越高,同国际接轨,符合国际化要求成为了必然。在我们自己的航电产品研发中引入先进的开发思想,理念和策略是提升产品质量,紧跟国际水准的重要方法之一。面向方面的编程(Aspect-Oriented Programming,AOP)是软件开发领域中的一种新兴技术,它解决了传统的程序经常表现出一些不能自然地适合单个程序模块或者几个紧密相关的程序模块的行为,即“横切关注点”(Crosscutting Concern)的问题。对传统方法中颇为困扰的代码纠缠,代码分散问题给出了独到的解决方案,同时又为OOP技术提供了另一种重用的可能。作为面向对象技术的一种重要完善,它对于开发高可靠性,高安全性和高可维护性的航空电子软件能起到相当的帮助。本论文通过将AOP的理念和方法应用于某个我国正在自行研发的航空电子软件项目,对该技术在航电软件领域的设计,开发,测试等各个方面做了尝试与探讨。就目前而言,有关航电软件系统的设计与开发较为普遍的是采用OOP方式,但对AOP技术的涉及非常非常少。本文将从以下几个方面研究AOP在航电软件系统设计研发中的应用。首先,从需求分析阶段就开始定位横切关注点,并作为重要分支加以研究,明确核心关注点与横切关注点,了解,认识定位的方法和实施的难度。其次,结合航电的实际情况对AOP的几个经典方面如日志(Log),事务(Transaction),安全性(Security)等等进行研究,特别是在设计和编码阶段的具体工作,分析该技术对出来上述几个方面问题的优缺点。接着,在当下AOP技术比较热点的软件验证工作阶段里,按照航电软件的验证流程,遵循每一步验证步骤,在各个步骤尝试运用面向方面技术,了解该技术对于验证工作的帮助和优势。再者,有鉴于AOP方法自身的可验证性是受到一定置疑的,本文将通过与航电软件特有的业内标准如RTCA的DO-178B规范等相结合,在高可靠性要求下分析对应关注点的可重复与可验证性。最后,是本文的总结,并探讨了进一步的研究方向和内容,对今后工作给予了展望,也希望能在航空电子行业中更多应用、推广本文中所谈到的设计思路和方案。

关键词：面向方面技术 AspectJ 横切关注点织入航空电子软件

基于场景的软构件自动化测试工具的研究与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于场景的软构件自动化测试工具的研究与实现

作者：邓毅刚国防科学技术大学

学位级别：硕士

软构件是由详细规格说明约束的接口和依赖外部的上下文组成的复合单元,它能够被独立的部署,并受控于第三方。随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件... 详细信息

软构件是由详细规格说明约束的接口和依赖外部的上下文组成的复合单元,它能够被独立的部署,并受控于第三方。随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题。本论文是基于场景的软构件自动化测试工具的研究与实现,介绍了基于统一建模语言UML的顺序图构造测试场景具体方法,并对基于UML顺序图构造测试场景方法的有效性进行了分析。在构建测试用例模型时,利用了消息顺序图,在此基础上对消息的顺序机制进行扩展,它以序列图的事件序语义为基础,用消息序列表示序列图,并将其具体上下文表示为对消息序列的语义约束。分析了基于场景的软构件可靠性测试,利用交互场景模型来定义软构件在应用系统中的使用环境,以面向方面编程技术在一定程度上拦截并监控软构件的内部运行,并运用工作流引擎依据交互场景中的信息驱动测试任务,实现对软构件自动化测试目的。

关键词：软构件可靠性测试场景测试用例工作流拦截器面向方面技术