【摘 要】
：
UML是一种面向对象的建模语言,已经得到了广泛的应用.但是,它只是一种建模语言,而不是一种面向对象的建模方法,它没有规定如何进行系统建模.另外,UML异常庞大复杂,容易产生二
【机 构】
：
华中师范大学计算机系,武汉,430079
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
UML是一种面向对象的建模语言,已经得到了广泛的应用.但是,它只是一种建模语言,而不是一种面向对象的建模方法,它没有规定如何进行系统建模.另外,UML异常庞大复杂,容易产生二义性.所以,人们进行了各种探索,将UML与其它精确的建模技术进行结合,以弥补UML的不足.Petri网是一种可用图形表示的组合模型，能够深刻、简洁地刻画系统，并具有直观、易懂和易用等优点。Petri网是严格定义的数学对象，借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析，又可以用于动态的行为分析。Petri网为并发提供了清晰的形式化描述，复杂的并发系统要求形式化以描述如非确定性、同步和并发等重要特征。利用Petri网对UML视图进行分析，可以分析UML所建立的构件模型中存在的冲突、竟争、并发等各种关系。
其他文献
目的建立及优化准确、简便的用于测定人血清中甲氨蝶呤浓度的HPLC方法。方法色谱柱:ACE 5C18-AR柱,流动相:甲醇-3%冰醋酸溶液(pH 3.5)(20∶80),检测波长306nm,柱温40℃。血清
中间件是在两层结构的基础上发展起来的一个概念,两层结构的实现在实践中有其现实的优越性,特别是对系统开发商来说,它简单、直观,容易实现.由于它实现环节较少,系统稳定性、
[病例]患者,男性,90岁,因反复咳嗽气急10余年,呼吸衰竭于2011年3月16日入住我科。既往有膀胱癌史未手术,有高血压、冠心病、心率失常史,否认药物、食物过敏史。患者入我科后
目的 探讨在大型综合医院药品不良反应(ADR)监测工作中,临床药师的作用和价值.方法 临床药师深入病房,通过详细询问患者病史,关注药品相互作用和各种特殊生理病理状况,实施对
需求工程是软件生命周期中极其主要的一个环节.目前,与软件需求相关的方法和文献有几十种之多,且新的方法层出不穷.但由于软件需求自身所固有的模糊性和不确切性,不管采用哪
目的建立衍生化分光光度法测定阿米卡星注射剂中阿米卡星含量,并分析其在0.9%氯化钠注射剂中的稳定性。方法以乙酰丙酮-甲醛为衍生化试剂,硼酸-醋酸为缓冲液,用紫外分光光度
山东矿院许广银等技术人员经过反复研究,发明一种无度盘的电子经纬仪。这种新型电子经纬仪构思新颖,去掉了经纬仪有史以来度盘结构,而采用与照准镜头联动的光敏或磁敏元件做
基于单片机及自动检测控制技术,针对调节阀技术性能自动测控问题,研制了两级分布式调节阀技术性能微机校验系统。该系统以单片机为控制器核心,以间歇式控制算法为特点。
Bas
在软件开发中,人们越来越清楚地认识到软件需求工程(以下简称需求工程)是软件生产自动化的关键环节,故需求工程近几年来已成为软件工程领域中一个新的而又十分重要的研究领域
目的探讨对以精神障碍为突出症状的门诊甲状腺功能亢进(甲亢)患者药学监护的临床价值。方法结合患者个体特点,关注抗甲亢药、抗精神病药,以及辅助药物的使用,协助医师拟定个