收藏本站
《郑州大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

对象并发演算模型及对象语言语义研究

吴海涛  
【摘要】: 虽然面向对象语言与技术已被广泛使用,但是面向对象语言理论还不完善。主要原因是,面向对象语言还没有一个被广泛认同的模型。对于顺序面向对象语言,人们研究得比较多,并取得了许多成果。相反,对于并发面向对象语言,人们研究得较少。 为了研究并发面向对象语言机制,本文首先讨论了几种面向对象语言模型,然后阐述了Pi演算和Actor模型两种并发模型。在此基础上,本文提出了Actor对象演算——AOC。AOC演算是扩充了Actor机制并且被重新解释了的异步Pi演算。最后,本文用AOC演算给出了一个对象语言OL的语义描述。
【学位授予单位】:郑州大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP312

【引证文献】
中国硕士学位论文全文数据库 前1条
1 王玫;程序设计语言模型的设计与实现[D];山东科技大学;2004年
【参考文献】
中国期刊全文数据库 前2条
1 李侃,王兵山,李舟军;并发面向对象语言的演算语义研究[J];国防科技大学学报;1996年01期
2 张黔,李卫华,傅建明,金涛;一个并发对象演算[J];计算机研究与发展;1999年05期
【共引文献】
中国期刊全文数据库 前10条
1 李仲侠;通信业务自然描述方法的研究[J];长春邮电学院学报;1997年03期
2 赵波,李文;C程序递归变换预编译系统的设计[J];大连铁道学院学报;1996年01期
3 李文,朱力鸣;分层递阶智能控制任务转换模型的研究现状[J];大连铁道学院学报;1996年02期
4 刘树锟;莫正杰;吴沛林;黄小波;;基于Java建模语言的不变量检测工具[J];电脑开发与应用;2012年05期
5 张宇;平龙妹;;基于敏捷建模的形式化需求分析方法[J];电脑知识与技术;2008年34期
6 林添荣;蒋建民;;UML活动图的一种逻辑语义[J];福建师范大学学报(自然科学版);2010年03期
7 刘富春;方程逻辑Institution理论及其性质[J];广东有色金属学报;2005年01期
8 李侃,王兵山,李舟军;并发面向对象语言的演算语义研究[J];国防科技大学学报;1996年01期
9 王彩芬;程序正确性证明及循环不变式的寻找方法[J];甘肃科学学报;2000年03期
10 白金山;杜习慧;赵莉莉;李祥;;并发程序验证器CPV的设计与应用研究[J];贵州大学学报(自然科学版);2008年01期
中国重要会议论文全文数据库 前2条
1 柳永坡;晏海华;张懋;刘雪梅;;测试流程管理与监控技术的研究与实现[A];第五届中国测试学术会议论文集[C];2008年
2 姚丹霖;殷建平;;大型汉英双语电子词典的结构与自动生成[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
中国博士学位论文全文数据库 前10条
1 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
2 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
3 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
4 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
5 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
6 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
7 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
8 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
9 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
10 徐晓泉;完备格的关系表示理论及其应用[D];四川大学;2004年
中国硕士学位论文全文数据库 前10条
1 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年
2 杨志财;安全策略的形式化描述及其可视化实现[D];东北师范大学;2011年
3 李超;基于扩展下推自动机的Java程序安全相关行为模型自动生成[D];东北师范大学;2011年
4 费利明;基于JVMTI实现安全策略的强制实施[D];东北师范大学;2011年
5 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
6 孙晓舟;HLR设计方法研究[D];西安电子科技大学;2002年
7 宁爱兵;面向事实程序设计的构思[D];江西师范大学;2003年
8 王振;MSC前台进程对象化方法研究[D];南京理工大学;2004年
9 崔海渤;Java语言的类和多态性的公理语义[D];大连理工大学;2005年
10 朱江;基于XML的程序设计自动批改的研究[D];湘潭大学;2005年
【同被引文献】
中国期刊全文数据库 前2条
1 王志喜,陈建生,谭青松;程序设计语言的类型结构剖析[J];计算机工程与应用;2002年08期
2 陈斌文,缪栋;面向对象文法分析[J];计算机工程与设计;2002年01期
【相似文献】
中国期刊全文数据库 前10条
1 刘书伦;程亚维;;BlueJ在Java面向对象教学中的应用[J];电脑知识与技术;2011年14期
2 李智毅;;C~(++)与面向对象的并行程序设计[J];微计算机应用;1993年04期
3 张欣;隗刚;裘宗燕;;初识Ruby语言[J];程序员;2002年12期
4 高红雨;廖湖声;;面向对象程序设计语言的部分求值动作分析[J];计算机工程;2006年09期
5 刘赢;王易;周健;;MPNoC设计中的面向对象层次化建模思想[J];硅谷;2009年20期
6 于勐 ,阳雪林 ,臧婉瑜 ,谢立 ,孙钟秀;基于方法调用一般化模型的并行性分析[J];计算机学报;2002年04期
7 夏永锋,曹元大;启发式搜索算法的面向对象设计实现[J];微机发展;2005年07期
8 刘新宇;;C++ Lite Memo[J];程序员;2009年04期
9 奚建清 ,胡守仁;面向对象原型语言OL-1的原理与实现[J];计算机工程与科学;1991年01期
10 刘永志,黄志球;持久性在面向对象语言中的扩充[J];南京航空航天大学学报;1992年04期
中国重要会议论文全文数据库 前9条
1 张晓哲;李云霞;赵尚弘;马丽华;蒙文;;红外辐射大气传输效应模型的分析与实现[A];第二届红外成像系统仿真测试与评价技术研讨会论文集[C];2008年
2 王峰;郭长国;宗建建;施寅生;;常用的基于数据流的测试充分性准则[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 巨永锋;刘新华;;平面交叉口交通控制计算机仿真系统研究[A];2003年全国系统仿真学术年会论文集[C];2003年
4 刘彬;汤爱涛;潘复生;;镁合金专家系统的用户系统的设计及应用[A];2011中国材料研讨会论文摘要集[C];2011年
5 高小明;叶茂盛;李红燕;杨冬青;;面向信息系统的业务规则引擎[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
6 陈学伟;韩小雷;孙思为;;三种非线性梁柱单元的研究及单元开发[A];第19届全国结构工程学术会议论文集(第Ⅰ册)[C];2010年
7 李辉;韩力;王亚峰;周晓峰;刘兴亚;;变频三相感应电动机设计及其CAD系统开发[A];四川省电工技术学会电机专业委员会二○○一年第十三届学术年会论文集[C];2001年
8 徐忠国;葛吉琦;;基于MapX组件技术开发农用地分等定级信息系统的探讨[A];地理空间信息技术与数字江苏论坛文集[C];2001年
9 黄为民;白晓东;;基于软构件的数据库应用系统的设计[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
中国重要报纸全文数据库 前4条
1 陈余年;Web 服务的“租用”本质[N];计算机世界;2002年
2 本报记者 刘晓莹;一C一世界[N];科技日报;2011年
3 VB爱好者;一切从这里开始Visual Basic.NET[N];中国电脑教育报;2001年
4 本报记者 侯闯;软件也能“攒”出来[N];计算机世界;2004年
中国博士学位论文全文数据库 前1条
1 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
中国硕士学位论文全文数据库 前10条
1 徐青;基于代码覆盖的面向对象语言错误定位技术研究[D];南京大学;2013年
2 侯惠芳;面向对象软件设计度量的研究与实现[D];郑州大学;2001年
3 高运荣;雅安职业技术学院学生宿舍管理信息系统的设计与实现[D];电子科技大学;2011年
4 肖颖;对象装配的应用研究[D];福建师范大学;2010年
5 唐亮;基于.net的政府值班值守系统的设计和实现[D];电子科技大学;2013年
6 徐林;供电企业配网现场管理系统服务器设计与开发[D];电子科技大学;2011年
7 孟海军;电声产品快速检测系统的设计与实现[D];西安工程大学;2012年
8 李蓓蓓;瓯海城建局办公管理信息系统的设计与实现[D];电子科技大学;2012年
9 刘梦兰;基于电路学习支撑平台的设计与实现[D];中南大学;2011年
10 蒲非;中山学院新闻专业实验室设备信息管理系统的设计与实现[D];电子科技大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026