Study on Hierarchical Model for Ada Parallel Softwares
-
摘要: 基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.Abstract: Having visualization and formalization, Petri net has been used to model and analyze parallel softwares. Comparatively,OPN(Object-oriented Petri Nets) is more capable of modeling.A hierarchical parallel software model based on OPN is presented. It refers to UML(Unified Modeling Language) description in its structure, describes the internal state of an object and mutual interaction among objects by means of ECPN, making simulation of parallel softwares and translation to Ada programs easier. The model will be useful for quality assurance of parallel softwares, specially Ada95 parallel softwares, and improvement of development efficiency.
-
Key words:
- software engineering /
- software tools /
- simulation /
- parallel software /
- Petri net /
- object-oriented /
- Ada
-
1. Flowler M,Scott K.UML distilled—applying the standard object modelling language.New York:Addison-Wesley,1997 2. 姚淑珍,金茂忠.并发软件开发方法学研究. 计算机科学, 1997,24(5):87~89 3. 袁崇义. PETRI NETS 佩特里网. 南京:东南大学出版社,1989 4. Englist S L.Coloured Petri nets for object-oriented modeling:[Dissertation]. Brighton:University of Brighton, 1993 5. Baldassari M,Bruno G. PROTOB:an object oriented methodology for developing discrete event dynamic systems. Computer Languages, 1991,16(1):39~63 6. Jensen K.Coloured Petri Nets.In:Rozenberg G,ed.Lecture Notes in Computer Science. Berlin:Springer,1990,483:342~416 7. 邓焰群.并发软件仿真工具的研究与实现:[学位论文]. 北京:北京航空航天大学计算机科学与工程系,1998 8. 蔡希尧,陈 平.面向对象技术. 西安:西安电子科技大学出版社,1993 -
点击查看大图
计量
- 文章访问数: 2258
- HTML全文浏览量: 76
- PDF下载量: 928
- 被引次数: 0
下载:
