基于面向对象Petri网的软件体系结构描述语言

来源 :西安交通大学学报 | 被引量 : 18次 | 上传用户：fr20899

【摘要】

：

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和

【作者】

：

于振华蔡远利

【机构】

：

西安交通大学电子与信息工程学院

【出处】

：

西安交通大学学报

【发表日期】

：

2004年12期

【关键词】

：

软件体系结构体系结构描述语言面向对象PETRI网 Computer softwareConcurrent engineeringFlexible manuf

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于风景生态园林施工的注意事项分析

本文从风景生态园林建设工程的施工现状着手分析,通过对目前园林建设中常见的几点施工问题现象做出简要叙述,并以举例的形式深层次探究了问题成因。施工流程的规划离不开对注

期刊

风景生态园林注意事项施工

市政工程管理的现状及加强市政工程管理的措施探讨

摘要：我国的经济正处在高速增长的快速发展期，人民的生活质量不断提高，市政工程提供的公共服务也不断地完善，市政服务承担的服务和功能越来越多，涉及到城市服务的方方面面，为了支撑这些越来越庞杂的施工内容，管理也需要与时俱进。本文首先对当前市政工程建设中存在的问题进行分析，然后提出一些有效的工程建议，以提供市政工程的服务能力，进而更好地给人民提供公共服务。　　关键词：市政工程；管理现状；应对措施　　1 市

期刊

市政工程管理现状应对措施

基于超收敛点的应力恢复方法提高场强计算精度

将力学中基于超收敛点的应力恢复方法(SPR)应用到电磁场问题中,可以有效地克服三角形三节点有限元法在计算场强时精度较低的问题.通过对单元中超收敛点上场强的插值,可以得到

期刊

超收敛点应力恢复方法计算精度有限元方法电场强度数值计算线性插值finite element methodsuperconvergentaccura

基于支持向量机的多类数字调制方式自动识别算法

为了解决软件无线电系统中多种调制方式之间切换的问题,提出了一种基于支持向量机的多类数字调制方式识别算法.该算法通过提取有效的特征向量以区分不同的调制方式,并基于支

期刊

支持向量机调制方式识别软件无线电特征提取AlgorithmsDigital signal processingFeature extractionGau

岩土工程勘察外业工作的技术与措施浅述

在我国的建设过程中,岩土工程的作用非常重要。而总体建设水平提升的基础就是保证岩土工程设计更加的合理,经济以及施工质量更加的优良,基于此,我们一定要将前期的勘察外业工

期刊

岩土工程勘察外业

建筑工程施工现场管理措施及重要性探讨

在对建筑工程施工时,现场管理已成了一项极其关键的内容,也是确保工程质量的前提,所以,对施工现场进行管理是非常有必要的。作为管理者,要重视现场管理的重要性,结合现场管理

期刊

建筑工程现场管理重要性

自适应散列映射的弱跳完整性研究

提出了自适应散列映射的弱跳完整性校验方法(AHMWHI),该方法的思想是:先校验其他数据包,而将校验周期内的大数据包进行散列映射,即将大数据包缓存;当散列表产生冲突时,将数据

期刊

跳完整性自适应散列完整性校验Adaptive systemsComputer networksData transferMapping

混凝土配比中有关水泥变量与强度的试验探讨

在我国的交通建设中,最为常见的便是混凝土路面,使用混凝土的路面具有抗压性择、明度大、抗弯性高、耐久性久等特点。长时间承载车辆的重量,导致混凝土的路面变得弯曲,并且下

期刊

混凝土水泥变量强度试验

对一起亡人火灾的调查

通过对一起家庭亡人火灾事故现场的勘查,结合调查询问、现场痕迹特征和刑侦技术手段结果进行综合分析判断,查清了火灾原因。

期刊

消防现场勘查火灾原因firefighting fire scene renaissance fire cause

方腔内竖直板振荡的自然对流换热数值研究

以空调工程热环境控制和冷冻冷藏设备为应用背景,采用非稳态数学模型,通过数值模拟研究了具有对称结构的封闭方腔内竖直板自然对流换热中的非线性现象.数值结果表明:在所考虑

期刊

自然对流分岔数值模拟Bifurcation (mathematics)Boundary conditionsComputer simulationHeat

基于面向对象Petri网的软件体系结构描述语言

与本文相关的学术论文