【摘 要】
：
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面
【基金项目】
：
湖南省自然科学基金资助项目（05JJ40132）.中南大学理科发展基金资助项目,中南大学博士后科学基金资助项目
论文部分内容阅读
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。
其他文献
冠状动脉微循环功能障碍可发生于多种心血管疾病,且临床预后不良,准确评价冠状动脉微血管功能状态对疾病的诊断、治疗及预后评估均有重要意义。心肌声学造影是一种非侵入性成
基于云南省博物馆无规则密肋折板混凝土外墙施工实例,介绍了采用BIM技术对其外墙建模、提取墙体关键点的控制坐标用于模板拼装、施工测量、钢筋成型加工等内容,混凝土在层高
针对专用总线电路板模件，利用一种通用电路测试仪，设计了一个专用总线电路模件测试维修平台。
本文针对城市公交快速发展的现状,提出了一种基于GPS的自助式高效的公交线路查询系统。分析了公交系统的基本形态、特点,对查询系统的工作流程做出说明。针对传统公交线路查询算法以站点为主的分析方式,提出一种新的公交查询算法,着重说明了站点与线路,线路与线路之间的关系,将公交查询算法的切入点从站点转向各条线路之间的联系,大大减少了系统查询时所分析的目标数量,节省了硬件资源,加快了响应速度。该算法特别适用于
2021年是"十四五"开局之年,也是媒体融合全面发力、构建体系、提质增效、挺进深融的决胜之年。河南郑州报业集团作为省会主流媒体,按照一体化发展要求,坚持移动优先、技术驱
挤扩灌注桩竖向承载力的准确计算对于设计和施工具有重要意义。本文对现有挤扩灌注桩竖向承载力计算公式进行了梳理,结合工程实例,对比分析了各种公式计算结果的差异性及适用
针对目前浅槽重介和动筛跳汰分选方法对动力煤分选深度有限的问题,提出了采用新型三产品重介质旋流器分选动力煤中末煤的观点,新型三产品重介质旋流器对原煤煤质变化适应性强
为解决传统远程监控方法由于视频处理模块的构成较为复杂,导致其稳定性和扩展性较差的问题,提出一种基于嵌入式Web的双路远程视频同步监控方法。监控前端由两个摄像机组合而
网络强国的下一步发展方向是创新,代表着新一代信息技术的应用方向;网络强国的下一步发展方向是民生,代表着人们对美好生活的迫切希望;网络强国的下一步发展方向是绿色,代表
GPU拥有几百GFlops甚至上TFlops的浮点计算能力，将GPU应用于粒子模拟，可有效提高大规模粒子模拟的速度，降低计算成本。本文利用GPU加速三维激光等离子体模拟算法LARED-P，提出了基