收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的实时系统并行对象模型

湛辉来  
【摘要】: 随着面向对象的技术在应用软件系统领域的发展和成熟,人们也逐渐用面向对象的方法来分析和设计嵌入式实时系统。在面向对象的分析和设计过程中,人们经常借助模型来分析和设计系统。实时系统中的活动往往是并发进行的,而目前大多数面向对象模型只提供了描述系统顺序执行的能力。为了加强面向对象模型的表达能力,必须在面向对象模型中提供并发描述机制,使其能够描述系统中的并发行为。在最终的可运行的实时系统中,并行运行的任务往往是通过进程来实现,进程构成了系统并行运行的基本对象。UML作为面向对象的标准建模语言,是面向对象技术领域中的重要成果,在采用UML进行实时系统开发的过程中,人们往往采用主动对象来表示系统中并行运行的实体,而主动对象由于表达能力的限制,不能够对系统的并发性作出一个完整的、详尽的描述,这就要求我们能够提供一种新的机制来描述实时系统中的并行对象。 本文针对实时系统中进程的特点,采用UML的扩展机制,提出了一种新的用于表示实时系统并发性的模型元素以及采用这些元素建立系统模型的方法。 首先,根据UML的扩展机制在UML的语义中定义了几种新的模型元素:用于表达系统中并行运行的对象的封装体和用于描述封装体对象间通信的协议。其中,封装体代表系统中并行运行的基本单位,因此是一种特殊的主动对象。它有着区别于主动对象的语义和表示方法,而协议被定义为一种协作,端口是参与协作的主要角色,通过状态机定义了端口间消息收发的序列,并隐式地描述了封装体对象之间的同步要求。其次,介绍了通过UML的标准建模机制,利用这些模型元素建立实时系统中并行对象模型的方法。最后,根据UML的扩展语义提出了构造基于编程语言的描述实时系统并行对象的基础类库的方案,和采用基础类库建立实际系统中子类的方法。对封装体和端口在基础类库中均给出了相应的C++的类的定义。从而使得我们能够利用这些元素在模型层建立关于一个具体的实时系统的并发性的形式化的UML模型,并可以利用形式化的方法来分析和验证系统的正确性,同时也对系统运行代码的自动生产奠定了基础。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡家宝,陈红艳,王舜生,古权;基于面向对象开发方法(OODM)的研究与应用[J];计算机应用研究;2000年07期
2 刘智勇,陶克;一种用于Web应用程序测试的对象模型[J];科学技术与工程;2005年13期
3 刘涛;对象模型向数据模型映射的研究[J];佳木斯大学学报(自然科学版);2005年03期
4 程跃华;基于Internet软件工程方法的学生信息发布系统的实现[J];河南机电高等专科学校学报;2005年04期
5 罗彦;方春恩;李伟;;SCL文件的研究和IED配置器与实现[J];西华大学学报(自然科学版);2008年04期
6 杨垚;;面向对象的关系数据库设计[J];湖北造纸;2009年01期
7 王世伟;方涛;;基于对象建模的遥感影像建筑物提取方法[J];计算机仿真;2010年12期
8 李博;许跞;王惠;;应用编程智能处理不满幅遥感影像[J];影像技术;2011年04期
9 杨火荣;符永法;;对象模型的直接闭环辨识[J];工业仪表与自动化装置;1989年04期
10 宋国宁,张毅,白晓光,赵俊国;企业经营系统的对象模型──资金流模型[J];信息与控制;1995年01期
11 乔琳;面向对象系统开发模型OOSDM[J];中山大学学报论丛;1996年06期
12 尹伟强,于晓晖;基于代理方式为面向对象系统提供二次开发能力[J];计算机工程与应用;2000年07期
13 宁玉富,潘东静,刘建军;利用面向对象方法进行关系数据库的设计[J];德州学院学报;2001年02期
14 温晓军,曾谦;Office 2000组件的对象模型及应用[J];现代计算机;2001年07期
15 陈琼;;OFFICE编程技术简介之对象模型[J];中文信息;2003年01期
16 邢丽娟,李胜玉;工艺对象仿真装置的设计[J];山西电子技术;2004年01期
17 董春桥 ,李凯;BACnet互操作机制的研究[J];IB智能建筑与城市信息;2005年07期
18 张本成 ,刘应成;基于对象模型的通用网络考试平台的数据设计[J];微计算机信息;2005年20期
19 耶晓东;何亚银;庞亮亮;;对象数据库技术发展及其应用[J];现代机械;2006年04期
20 曾红;;图形化编程对象模型及运行算法设计[J];现代电子技术;2006年22期
中国重要会议论文全文数据库 前10条
1 代建民;齐欢;刘云峰;;分布异地HLA对象模型协同建立技术的研究[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
2 王仕雷;廖湖声;;基于关系对象模型的异构空间数据集成[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
3 李勇;贾连兴;程安潮;;基于HLA的人民防空仿真联邦设计[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
4 佟贵生;李也白;张俊灵;籍志兵;;对象模型在工程数据库中的应用研究[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
5 刘晨;王少刚;杨峰;李群;;基于对象模型的仿真实验设计[A];'2002系统仿真技术及其应用学术论文集(第四卷)[C];2002年
6 饶浩;林育曼;陈正铭;;OODM与ERM的转换机制研究及其在MIS中的应用[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
7 吴宁;陆于平;朱国防;林霞;;基于IEC61 850的配电网自动化馈线保护IED设计[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(中册)[C];2008年
8 胡晓鹏;李晓航;李岗;;一类复杂关联铁路报表软件的设计[A];中国电气化铁路两万公里学术会议论文集[C];2005年
9 李海林;郭义喜;;基于HLA的仿真系统模型研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
10 程成;蔡雪琴;董雪梅;;面向三维交互的对象动态模型研究[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 贾晓亮;制造企业工艺信息集成平台开发与关键技术研究[D];西北工业大学;2004年
2 王磊;雷达系统标准化建模与仿真关键技术研究[D];电子科技大学;2013年
3 王召福;HLA邦元范型框架设计及其关键技术研究[D];中国人民解放军国防科学技术大学;2002年
4 张锦;多分辨率空间数据模型理论与实现技术研究[D];中国科学院研究生院(测量与地球物理研究所);2002年
5 谢健文;产品族模型快速构建与智能配置关键技术研究[D];广东工业大学;2004年
6 彭勇;作战仿真模型体系分析及其模型设计与实现关键技术研究[D];国防科学技术大学;2011年
7 彭春光;基于语义交互和动态重构的兵棋推演系统概念框架及其关键技术研究[D];国防科学技术大学;2010年
8 钱贞国;面向互操作的分布式网络地理信息系统研究[D];中国科学院研究生院(遥感应用研究所);2004年
9 姜景杰;苯乙烯装置先进控制的研究与应用[D];北京化工大学;2007年
10 周乐荣;电力无缝通信中远动通信、网元与网络模型[D];华南理工大学;2004年
中国硕士学位论文全文数据库 前10条
1 庞亮亮;机械设计与分析工程数据管理技术研究[D];西北工业大学;2006年
2 徐鹏;双功能燃气热水器对象模型研究及仿人智能控制算法设计[D];重庆大学;2006年
3 洪艺;.NET平台下ORM组件的研究与实现[D];国防科学技术大学;2005年
4 姚屏;基于XML的机械图形标记语言的研究与开发[D];中南大学;2005年
5 侯海平;基于面向对象数据库的粗糙集模型的研究[D];大连交通大学;2008年
6 王林;基于IEC 61850的电能质量监测IED研究[D];西南交通大学;2008年
7 金红宇;基于对象关系映射的信息管理系统的研究与实现[D];国防科学技术大学;2007年
8 王杰;基于递归对象模型的跨语言转换研究[D];华中科技大学;2012年
9 陈丹凌;围棋算法研究——对象模型与模式匹配[D];华东师范大学;2006年
10 段鹏飞;基于网络对象模型的网络分析算法及应用[D];武汉理工大学;2011年
中国重要报纸全文数据库 前10条
1 ;SMI-S: 统一SAN管理[N];网络世界;2004年
2 任敬丽;轻松定制——企业的迫切需求[N];中国国门时报(中国出入境检验疫报);2001年
3 韩海丽;VBA轻松定制ERP[N];中国计算机报;2001年
4 ;FAIS为存储应用提速[N];网络世界;2005年
5 士心;让Linux更易用[N];中国计算机报;2001年
6 黄健 郝建国 黄柯棣;HLA的开发与应用[N];计算机世界;2001年
7 伊佳;宽带亟需发展速度和质量[N];通信产业报;2007年
8 本报记者 郭涛;终结SAN割据SAN时代[N];中国计算机报;2004年
9 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(二)[N];国际商报;2002年
10 国防科技大学机电工程与自动化学院 李革 黄柯棣;规范技术[N];计算机世界;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978