从UML图导出Petri网模型的方法研究

来源 :2003'全国软件与应用学术会议 | 被引量 : 0次 | 上传用户:posedong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
UML已成为被广泛应用的建模工具.Petri网是严格定义的数学对象,借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析,又可以用于动态的行为分析.对象Petri网(OPN)能够为系统设计者提供严格正式的语义框架对UML模型的结构,行为和性能进行分析和评价.本文通过一个实例研究了从UML图导出对象Petri网模型(OPMs)的方法.
其他文献
本文提出了一个基于mediator中介结构的扩展框架,能够较好地实现动态资源共享,解决数据库变更所带来的服务自适应性问题.该框架在铁路信息统计项目中得到很好应用.接下来的工
一堂好的美术课,看似平常,却课艺细巧,蕴含着众多的教学规律,俗语说:“留心天下皆学问.”因此,听评课时,要从课外功夫、教师修养、课堂结构三个方面来有效地听课.
本文简要总结了无线电工程从软件型无线电到认知型无线电的演变.认知型无线电主要是在软件型无线电的基础上发展起来的.认知型无线电的主要职责是解决频谱资源的有效利用问题
一位雕塑家用石头雕塑了一只鹰,鹰雕塑得栩栩如生,好像真的在天空中展翅高飞一样. 有人问他:“你是怎样把石头雕塑得飞起来的呢? ”雕塑家回答:“其实,这只高飞的鹰本来就在
期刊
本文研究了XML在数据集成方面的相关技术,提出了面向Web的数据集成方案.实现了Web中各种信息系统之间的接口问题,通过XML和关系数据库的接口,不但可以把网络上的有意义XML信
会议
近些年,我国的科学技术不断进步,信息技术的迅猛发展使得一部分发达国家对于数字电视网络技术的研究更加深入和宽泛.本文先介绍了广播电视数字发射技术的特点,然后详细分析了
目的:分析多发性骨髓瘤(MM)患者初诊或诊治病程中并发髓外病变(EMD)的临床特征和预后。方法:回顾性分析2007年12月~2012年11月在本院住院治疗的213例MM患者中并发EMD的临床特
现代科学技术的进步,推动了数字微波技术的发展,使得广播电视节目的数字化传输成为了可能,文章介绍了数字微波技术的特点,以及将其应用于广播电视节目传输的方法,以期保障广
这是芬兰前总理说过的一句话. 这些年国内很多人都纷纷提出要给孩子最好的教育.可是,最好的教育是什么?是不输在起跑线?是提供精英教育?短短几天的考察,让我对这句话有了深刻
期刊
本文主要研究一类单数据源实例层的数据质量问题,给出了一个基于概率方法的数据质量定量描述模型,并提出了一种研究数据质量的统计方法.