基于面向方面和UML的实时系统建模研究
一、基本信息
标题:基于面向方面和UML的实时系统建模研究
时间:2010
出版源:计算机技术与发展
领域分类:面向方向;实时系统;横切关注点;统一建模语言;
二、研究背景
问题定义:实时系统建模研究
难点:关注点分散于不同的类中,造成代码纠缠和重用性差等缺点,对系统的开发和维护造成困难。
相关工作:理解相关概念如:关注点、AspectJ主要术语、UML的扩展机制。关注点的分离,关注点的建模。
三、创新方法
1.运用UML扩展机制满足建模的需要
2.关注点的分离相关与关注点建模
3.扩展UML表达方面的概念,并描述这些元素的结构和行为。
四、实验
实验:实例分析
要探究的问题:ATM终端静态模型以及ATM时间方面植入模型及其AspectJ实现,方面织入时冲突的解决。
结论:方面织入时很容易出现关注点组合的各种冲突问题,例如系统的响应时间和系统安全性的冲突,冲突行为可以通过确定优先权的办法来解决,如果冲突的非功能需求优先权相同则可通过与用户协商进行解决。
五、结论
作者的总结:文中基于面向方面思想讨论了实时系统关注点建模的技术 ,实时系统还有许多可以抽取的方面 ,比如异常处理 、日志记录 、安全检测等等都可以通过上面介绍的方法对其进行建模分析 。面向方面编程现在比较成熟了 ,如何很好地利用这一技术为实际应用还是要解决的问题 ,在实时系统中利用这种技术进行开发还是比较少人研究 ,其难点还是如何解决好切面的分离和组合的问题 , 这由实时系统本身的特点决定 。文中的后期主要工作是横切关注点的形式化描述和验证 。
自己的评价:实时系统是一类对时间性要求十分严格的系统,系统的正确性不仅依赖于系统计算的逻辑结果的正确性,还依赖于产生结果的时间。通过对于UML进行扩展,使其适用于对实时系统建模的描述是一个十分有意义的研究方向。
参考文献:
【1】 Filman R E, Elrad T , Clarke S , et al.面向方面的软件开发【M】 .莫 倩 , 王 恺, 刘冬梅, 等译.北京:机械工业出版社, 2005.
【2】IEEE Std 1471 -2000 IEEE Recommended P ractice for Ar-chitectural Description of Software -Intensive Systems De-scription【S】 .New York:ISO, 2000.
【3】王海 龙.What is AspectJ【EB/OL】 .中国 , 2003.http://www .ibm .com/ developerworks/ cn/ java/ l - aspectJ/ index.html.
【4】Gradecki J D, Lesiecki N.精通 AspectJ【M】 .王欣轩 , 吴东升, 等译 .北京 :清华大学出版社 , 2005.
【5】Aspect -Oriented Prog ramming with AspectJ[【M】 .【s.l.】 :Ivan Kiselev , 2002.
【6】刘瑞成 .基于 UM L 和形式化方法的面向方面实时系统模型【D】 .广州:广东工业大学, 2006.
【7】Jacobson I, Pan-wei NG.AOSD 中文版———基于用例的面向方面软件开发【M】 .徐 锋, 译.北京 :电子工业出版社,2005.
【8】Wagelaar D.A Concept-based approach for early aspect modeling【EB/OL】 .Boston, 2003.http://www .cs.Bilkent .edu.tr/AOSD-EarlyAspects/Papers/Wagelaar.pdf .
【9】方义秋 , 冉华锋, 葛君伟.基于用例的面向方面需求建模【J】 .计算机工程, 2009, 35(12):44 -46.
【10】刘瑞成 , 张立臣.基于 UML 的面向方面建模方法【J】 .计算机科学, 2005, 32(10):204-209.
【11】 张琳琳, 应 时, 倪友聪, 等.一种软件体系结构关注点分析方法【J】 .计算机学报, 2009, 32(9):1782-1791.
【12】郑旭飞 .一种面向方面的非功能需求框架 AONFRF 建模研究【D】 .重庆 :西南师范大学 , 2005 .
基于面向方面和UML的实时系统建模研究的更多相关文章
- 基于UML的文献管理系统建模研究
一.基本信息 标题:基于UML的文献管理系统建模研究 时间:2016 出版源:信息与电脑(理论版) 领域分类:UML:文献管理系统:系统建模: 二.研究背景 问题定义:图书的管理与规划 难点:系统和管 ...
- 基于UML的毕业选题系统建模研究
一.基本信息 标题:基于UML的毕业选题系统建模研究 时间:2018 出版源:电脑迷 领域分类:UML建模技术 二.研究背景 问题定义:为了加强学生设计分析开发软件的相关能力,有效避免结构化模型存在的 ...
- 基于 WebSocket 实现 WebGL 3D 拓扑图实时数据通讯同步(二)
我们上一篇<基于 WebSocket 实现 WebGL 3D 拓扑图实时数据通讯同步(一)>主要讲解了如何搭建一个实时数据通讯服务器,客户端与服务端是如何通讯的,相信通过上一篇的讲解,再配 ...
- Socket.IO – 基于 WebSocket 构建跨浏览器的实时应用
Socket.IO 是一个功能非常强大的框架,能够帮助你构建基于 WebSocket 的跨浏览器的实时应用.支持主流浏览器,多种平台,多种传输模式,还可以集合 Exppress 框架构建各种功能复杂 ...
- 基于 WebSocket 构建跨浏览器的实时应用
Socket.IO – 基于 WebSocket 构建跨浏览器的实时应用 Socket.IO 是一个功能非常强大的框架,能够帮助你构建基于 WebSocket 的跨浏览器的实时应用.支持主流浏览器,多 ...
- 基于FPGA的线阵CCD实时图像采集系统
基于FPGA的线阵CCD实时图像采集系统 2015年微型机与应用第13期 作者:章金敏,张 菁,陈梦苇2016/2/8 20:52:00 关键词: 实时采集 电荷耦合器件 现场可编程逻辑器件 信号处理 ...
- window平台基于influxdb + grafana + jmeter 搭建性能测试实时监控平台
一.influxdb 安装与配置 1.1 influxdb下载并安装 官网无需翻墙,但是下载跳出的界面需要翻墙,我这里提供下载链接:https://dl.influxdata.com/influxdb ...
- 基于 Hudi 和 Kylin 构建准实时高性能数据仓库
在近期的 Apache Kylin × Apache Hudi Meetup直播上,Apache Kylin PMC Chair 史少锋和 Kyligence 解决方案工程师刘永恒就 Hudi + K ...
- 《基于 Web Service 的学分制教务管理系统的研究与实现》论文笔记(十一)
标题:基于 Web Service 的学分制教务管理系统的研究与实现 一.基本内容 时间:2014 来源:苏州大学 关键词:: 教务管理系统 学分制 Web Service 二.研究内容 1.教务管理 ...
随机推荐
- 文件下载Controller,文件夹内容监听,文件上传,运行程序通过url实现文件下载
文件下载Controller @RequestMapping("/fileDownLoad") public ResponseEntity<byte[]> fileDo ...
- Game Engine Architecture 8
[Game Engine Architecture 8] 1.Differences across Operating Systems • UNIX uses a forward slash (/) ...
- VS2017企业版密钥
Visual Studio 2017(VS2017) 企业版 Enterprise 注册码:NJVYC-BMHX2-G77MM-4XJMR-6Q8QFVisual Studio 2017(VS2017 ...
- idea激活方式
idea破解方法:转自https://note.youdao.com/ynoteshare1/index.html?id=d0f3fb42bfa1bb65a33115a1b6140f5f&ty ...
- git 安装及常见问题处理
卸载掉自带的: yum remove git 安装: yum -y install curl-devel expat-devel gettext-devel openssl-devel zlib-de ...
- python 基础 ----- 变量
------ python注释 注释的作用:代码提示,运行时忽略不必要的代码 注释的三种方式: 1.“#” 单行注释 2.多行注释 三个单引号 和三个双引号都可以 注释的快捷键 Ctrl + ...
- phpstudy 配置端口 和 虚拟域名访问
打开phpstudy窗口 选择->其他选项菜单->打开配置文件->httpd.conf 添加一个 Listen 8081(端口号) 查看到 Include conf/vhost ...
- express基础项目创建
https://www.cnblogs.com/zhentaoo/p/6392248.html
- PowerDesigner反向生成PDM和name与注释互换
Option Explicit ValidationMode = True InteractiveMode = im_Batch Dim mdl 'the current model 'get the ...
- jieba库词频统计
一.jieba 库简介 (1) jieba 库的分词原理是利用一个中文词库,将待分词的内容与分词词库进行比对,通过图结构和动态规划方法找到最大概率的词组:除此之外,jieba 库还提供了增加自定义中文 ...