导读:本文包含了面向对象并发程序论文开题报告文献综述及选题提纲参考文献，主要关键词:程序切片,线性时序逻辑性质,并发程序,程序验证
面向对象并发程序论文文献综述
戎玫,何志学,张广泉[1]（2008）在《一种基于LTL性质的面向对象并发程序切片方法》一文中研究指出为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。切片后的程序与原程序对待验证的LTL性质具有相同的可满足性,而其对应的状态转换图中的状态个数明显减少。(本文来源于《计算机应用》期刊2008年05期）
何志学[2]（2008）在《面向对象并发程序切片技术及其在程序验证中的应用》一文中研究指出程序切片是一种重要的程序分析技术,它通过提取程序中直接或间接影响某个特定程序点变量值的语句达到分解程序的目的。随着对程序切片技术研究的深入,其应用领域由软件调试、测试、软件维护扩展到逆向工程、再工程和程序验证等。面向对象技术仍是目前软件开发方法的主流,其中封装、继承、多态、并发等特征都为程序的理解与分析提出了新的问题。本文针对面向对象程序的并发机制,介绍了程序的图形化表示方法——面向对象并发系统依赖图,提出利用变量缓存表分析程序语句间依赖关系的方法,根据分析结果构造面向对象并发系统依赖图,并在此基础上采用改进的两步遍历图可达性算法计算动态切片。程序验证面临的主要问题是由于程序规模的增大,尤其是并发分量的增加,所带来的状态空间爆炸问题。程序切片可以将程序中不影响待验证性质的语句删除以减小针对该程序抽象出的模型的复杂性,从而缩减其对应的状态空间,在一定程度上缓解状态空间爆炸问题。本文提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法,切片后的程序与原程序关于待验证的LTL性质具有相同的可满足性,而其对应的状态转换图中的状态个数明显减少。随着Internet技术和WWW技术的发展,Web应用涉及的范围越来越广,程序规模在不断扩大,其复杂性也越来越高。针对Java Web开发中关键技术的实现机制,把程序切片技术引入到Web应用程序的分析中,定义了Web应用程序中存在的依赖关系,提出了一种构造Web程序系统依赖图并计算程序切片的方法。在以上工作的基础上,本文以Java语言实现的典型并发程序为例对以上提出的方法在实际开发中的应用进行了说明、分析。(本文来源于《苏州大学》期刊2008-04-01）
何志学,张广泉[3]（2007）在《一种面向对象并发程序的动态切片方法》一文中研究指出程序切片是面向对象并发程序分析、理解、测试和维护的重要手段。针对Java程序的同步和通信机制,首先介绍了一种面向对象并发程序的表示方法——多线程依赖图,然后提出利用变量缓存表分析程序语句间依赖关系的方法,根据分析结果建立多线程依赖图,并在此基础上采用两步遍历图可达性算法计算动态程序切片。(本文来源于《苏州大学学报(工科版)》期刊2007年03期）
任爱华,牛锦中,张永鸣[4]（1998）在《一种基于面向对象 Petri 网的并发程序建模方法》一文中研究指出介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述．(本文来源于《北京航空航天大学学报》期刊1998年04期）
郑广海[5]（1998）在《面向对象并发程序模型分析和设计技术》一文中研究指出面向对象程序设计技术是 90年代程序设计技术的主流 ,针对广泛应用的并发程序设计技术 ,讨论了面向对象程序设计中基于对象的并发程序设计技术。(本文来源于《微机发展》期刊1998年01期）
黄小虎,徐晓燕,郑南宁[6]（1997）在《DAI中面向对象的并发程序设计》一文中研究指出1引言 对象具有一定的独立性且具有一统一的通信协件所以将系统分解成为并行运行的伟的集合,既提供了对象间合作的可能性又增加了系统组合的灵(本文来源于《计算机科学》期刊1997年01期）
李涛,伍良富,彭康[7]（1996）在《面向对象的并发程序设计语言》一文中研究指出将并发机构引入Ｃ＋＋，本文提出了面向对象的并发程序设计语言ＣｏｎｃｕｒｒｅｎｔＣ＋＋，揭示了类、对象及进程之间的关系。(本文来源于《成都科技大学学报》期刊1996年05期）
李涛,刘晓洁,虞厥邦[8]（1995）在《面向对象的并发程序设计语言ConcurrentC~（＋＋）》一文中研究指出提出了一种面向对象的并发程序设计语言ＣｏｎｃｕｒｒｅｎｔＣ￣（＋＋）。在ＣｏｎｃｕｒｒｅｎｔＣ￣（＋＋）中，进程就是一种特殊的对象─—并发对象，因而具有抽象性（ａｂｓｔｒａｃｔｉｏｎ）、封装性（ｅｎｃａｐｓｕｌａｔｉｏｎ）、继承性（ｉｎｈｅｒｉｔａｎｃｅ）以及同式多型（ｐｏｌｙｍｏｒｐｈｉｓｍ）。并发对象可以动态地产生，动态地消亡。进程之间的通信与同步依据并发对象之间的消息传递。ＣｏｎｃｕｒｒｅｎｔＣ￣（＋＋）为实现复杂的并发问题提供了一种良好的手段，为仿真神经网络的实现奠定了基础。(本文来源于《电子科技大学学报》期刊1995年02期）
裴健,胡冰烽,徐良贤[9]（1994）在《MultiobjectC─一个面向对象的并发程序设计语言的设计》一文中研究指出ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。(本文来源于《计算机研究与发展》期刊1994年03期）
裴健[10]（1993）在《面向对象的并发程序设计语言与Multiobject C的设计》一文中研究指出结合Multiobject C语言的设计,讨论了面向对象的并发程序设计语言设计与实现中的几个问题。(本文来源于《微型机与应用》期刊1993年11期）
面向对象并发程序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
程序切片是一种重要的程序分析技术,它通过提取程序中直接或间接影响某个特定程序点变量值的语句达到分解程序的目的。随着对程序切片技术研究的深入,其应用领域由软件调试、测试、软件维护扩展到逆向工程、再工程和程序验证等。面向对象技术仍是目前软件开发方法的主流,其中封装、继承、多态、并发等特征都为程序的理解与分析提出了新的问题。本文针对面向对象程序的并发机制,介绍了程序的图形化表示方法——面向对象并发系统依赖图,提出利用变量缓存表分析程序语句间依赖关系的方法,根据分析结果构造面向对象并发系统依赖图,并在此基础上采用改进的两步遍历图可达性算法计算动态切片。程序验证面临的主要问题是由于程序规模的增大,尤其是并发分量的增加,所带来的状态空间爆炸问题。程序切片可以将程序中不影响待验证性质的语句删除以减小针对该程序抽象出的模型的复杂性,从而缩减其对应的状态空间,在一定程度上缓解状态空间爆炸问题。本文提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法,切片后的程序与原程序关于待验证的LTL性质具有相同的可满足性,而其对应的状态转换图中的状态个数明显减少。随着Internet技术和WWW技术的发展,Web应用涉及的范围越来越广,程序规模在不断扩大,其复杂性也越来越高。针对Java Web开发中关键技术的实现机制,把程序切片技术引入到Web应用程序的分析中,定义了Web应用程序中存在的依赖关系,提出了一种构造Web程序系统依赖图并计算程序切片的方法。在以上工作的基础上,本文以Java语言实现的典型并发程序为例对以上提出的方法在实际开发中的应用进行了说明、分析。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
面向对象并发程序论文参考文献
[1].戎玫,何志学,张广泉.一种基于LTL性质的面向对象并发程序切片方法[J].计算机应用.2008
[2].何志学.面向对象并发程序切片技术及其在程序验证中的应用[D].苏州大学.2008
[3].何志学,张广泉.一种面向对象并发程序的动态切片方法[J].苏州大学学报(工科版).2007
[4].任爱华,牛锦中,张永鸣.一种基于面向对象Petri网的并发程序建模方法[J].北京航空航天大学学报.1998
[5].郑广海.面向对象并发程序模型分析和设计技术[J].微机发展.1998
[6].黄小虎,徐晓燕,郑南宁.DAI中面向对象的并发程序设计[J].计算机科学.1997
[7].李涛,伍良富,彭康.面向对象的并发程序设计语言[J].成都科技大学学报.1996
[8].李涛,刘晓洁,虞厥邦.面向对象的并发程序设计语言ConcurrentC~（＋＋）[J].电子科技大学学报.1995
[9].裴健,胡冰烽,徐良贤.MultiobjectC─一个面向对象的并发程序设计语言的设计[J].计算机研究与发展.1994
[10].裴健.面向对象的并发程序设计语言与MultiobjectC的设计[J].微型机与应用.1993