论文部分内容阅读
为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。
支持软件并行工程过程建模的一种形式化方法
【摘 要】
：
为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行
【机 构】
：
云南大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2004年18期
【基金项目】
：
云南省自然科学基金项目“基于构件的快速软件并行开发技术”(2001F0006M);云南省中青年学术和技术带头人培养基金联合资助项目(1998-37)
其他文献
本报报道，9月10日，市政府常务会议审议通过《东莞市新一代人工智能发展规划》（以下简称《发展规划》），提出全面融入粤港澳大湾区及广深港澳科技创新走廊发展格局，围绕人工智能硬件
报纸
目的:探讨提高耻骨上经膀胱前列腺摘除术后患者住院满意度的方法。方法:将符合纳入标准的患者按入院先后顺序分为两组,对照组采用常规护理、放松练习、床上操练习,实验组每天
分析了现阶段应用XSLT、XPath和DOM查询XML数据的可行性，提出了一个应用模型 ，并用一个实例说明编程方法。最后指出了这种应用技术需要进一步解决的问题和应用前景 。
设计模式是人们在实践过程中总结出来的成功设计范例，它的正确选择和使用是发挥模式作用的关键。该文从模式的基本概念入手，详细讨论了选择设计模式的正确方法，并结合实例讨论了
目的:了解杭州市中小学生体质健康状况。方法:采用分层整群随机抽样的方法获取杭州市中小学生2009-2010学年健康检查资料,对营养状况分布、部分学生常见病和阳性体征检出情况
目的:掌握宁波市第二类疫苗使用情况,为改进第二类疫苗接种工作策略提供依据。方法:对2008-2011年宁波市第二类疫苗使用情况进行分析。结果:宁波市第二类疫苗的品种逐年增加,
本文通过介绍广场绿地设计原则和植物种植形式,阐述了植物景观照明设计的营造条件、设计原则及照明效果类型,并结合景观照明对广场种植设计的影响进行分析研究。从而得出在针
中国的建筑行业高速发展,在建筑行业的施工中一定会涉及到电气的设计。电气设计是建筑施工中最为复杂的组成项目之一,其施工过程中涉及到大量的管线的连接。在施工过程中要严
道路桥梁在当前的交通发展中占据着重要的地位,也对人类社会的发展起着重要的作用,方便了人们的出行以及运输行业的发展。这就需要对道路桥梁的质量得到有效保障,基于此,本文