【并发面向对像形式化方法与技术的研究】杨大军.pdf
论文答辨日期:2000年4月29日 指导教师:吕建(签字)
SOMERESEARCHONFORMALMETHODS ANDTECHNOLOGYOFCONCURRENT OBJECT-ORIENTEDPROGRAMS(Ph.D.Dissertation) Yang Dajun InstituteofComputerSoftware Nanjing University Supervisedby Professor Liui Jian InstituteofComputerSoftware Nanjing University April 2,2000
摘要 础,将系统规约为一组彼此间通过消息传递进行通信的主动对象或被动对象。这种模型不 仅能够有效地支持并发软件的复用,而且也能够有效地直接模拟客观世界中的实体及其关 系,从而有利于用户的理解和使用.并发面向对象形式化设计方法的研究 本文在VDM基础上引I入了另一种新的开发手段一数据分解,并给出了相应的形式化 规则,从而形成了比VDM更加一般的软件形式化方法DD-VDM。提出了一种与DD-VDM 树型开发结构相对应的嵌套对象模型,它既可支持内部并发和服务并发,又可支持虚拟原 子动作的概念,从而有效地将DD-VDM用于并发面向对象程序的开发。