ρ Graph: Rendezvous Ordering Graph forAda Concurrent Programs

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:vforvivid
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In disciplined Ada software development and maintenance, an adequate and suitable graphical representation for concurrency is important. To describe rendezvous ordering, tasking andexecuting flow of tasks, p graph--Rendezvous Ordering Graph is presenced in this paper. pgraph is a kind of-hierarchical oriented graph with nodes representing rendezvouses and edgesshowing’ordering relations between rendezvouses as well as flow of tasks. It can be used insoftware understanding, design description and documentation. In disciplined Ada software development and maintenance, an adequate and suitable graphical representation for concurrency is important. To describe rendezvous ordering, tasking andexecuting flow of tasks, p graph - Rendezvous Ordering Graph is presenced in this paper. Pgraph is a kind of-hierarchical oriented graph with nodes representing rendezvouses and edgesshowing’ordering relations between rendezvouses as well as flow of tasks. It can be used insoftware understanding, design description and documentation.
其他文献
软质挡烟垂壁是地下与大空间建筑防排烟系统中的关键设备。平时 ,挡烟帘布卷绕在专用电动滚筒上并置于装饰吊顶内 ,当消防控制中心发出火警信号或接受烟感、温感信号后 ,挡烟
Itube 3c号称国产第一款入耳式动铁耳机。从理论上讲,动铁式耳塞在音乐的动态表现、瞬间细节表现、声音密度上要远胜于动圈耳塞,只是由于技术水平所限,长期以来国内厂商一直
2005年,著名青年导演郑克洪拍摄完成了《沉默的远山》和《丛林无边》两部风格样式迥异的影片,两部影片都由程青松编剧。两部影片虽然题材不同,但都体现了导演创作上突破的决
出品人:郑宇明  制片人:颢 然  编 剧:颢 然  导 演:颢 然  监 制:王 斌、李 讯  摄 影:吕更新  领衔主演:刘烨饰小谢石周靓饰柳芭  王思懿饰芬姐倪大洪饰老莫  郭涛饰老K 黄格选饰谢学东    出品单位:深圳电影制片厂   北京磐石天地影视文化传播有限公司     影片简介   影片《青春爱人事件》是一部反映现实生活中青年人真实的情感生活的艺术电影。  她具有新颖的故
韩泰轮胎公司公布的2009年第3季度业绩报告显示,其销售额比上年同期增加26.4%,达14400亿韩元,营业利润比上年同期激增536·4%,达2750亿韩元。韩泰轮胎公司的全球运营利润率也
对于大多数人来说从色列这个名字是和新闻媒体中的中东政局、巴以冲突、自杀性爆炸事件等政治名词联系在一起的,而以色列电影对于我们来说就像一道遥远而模糊的风景,2002年,尼尔
《天黑请闭眼》又名:《杀人游戏》/类型:恐怖片/导演:阿甘/主演:王志文、吴倩莲、张耀扬、李小冉、廖凡、于娜、黄智贤、宋佳 集心理恐怖与视觉恐怖为一体的影片,剧情内容借
以山东省枣庄市抱犊崮林场侧柏人工林为研究对象,采用典型抽样方法调查了特大雪灾后林木的受灾程度,探讨了坡向、海拔和林分结构特征对受灾程度的影响,以期为人工林雪灾预防
演员是一个较为特殊的职业,他需要有名气,他希望走上金字塔的顶尖,然而依靠什么去达到目的是非常重要的。在旧中国,由于长期的封建统治,人们对戏曲表演者惯称为“戏子”,整个
彩色激光打印机终于达到了极佳的品质,并以25000元的低价位让绝大多数主流商业用户能够承受。PCLabs测试了六种彩色激光打印的机器。 Color laser printer has finally reac