论文部分内容阅读
本文对一种基于时序逻辑的UML 2.0形式化语义进行了研究。文章围绕时序逻辑语言XYZ/E、UML 2.0顺序图的XYZ/E时序逻辑语义等进行了论述。
一种基于时序逻辑的UML 2.0形式化语义
【摘 要】
：
本文对一种基于时序逻辑的UML 2.0形式化语义进行了研究。文章围绕时序逻辑语言XYZ/E、UML 2.0顺序图的XYZ/E时序逻辑语义等进行了论述。
【机 构】
：
苏州大学计算机科学与技术学院,苏州,215006
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年8期
其他文献
2004年年底,中国电信就提出了"由传统基础网络运营商向综合信息服务提供商转变"的转型目标.从此,中国电信转型打响了第一枪.武汉电信作为武汉地区的主导基础电信运营商、网络
会议
目的:观察银杏叶提取物EGb761对外源性自由基所致离体心脏损伤的保护作用及其机制。方法:离体大鼠心脏采用Langengoff灌流法,记录心率(HR)、冠脉流量(CF)、左室内压(LVP)和左
武汉本地网管系统是本地网集中维护管理的基础支撑平台,每天存入的告警、话务数据量十分庞大,现有数据库只能保留最近一年多的网管数据,无法对长远话务趋势进行分析,针对这一
会议
目的:观察不同浓度的罗哌卡因硬膜外麻醉在肛门直肠部手术的临床效果.方法:选择90例ASA Ⅰ～Ⅱ级肛门直肠手术患者,随机分为3组,分别给予浓度为1%(A组),0.5%(B组),0.375%(C组)
近日,海南清水湾样板房首度全球开放,同步举行的“巴黎宝藏”奢侈品私人定制展更将现场气氛推向高潮,吸引了来自世界各地的富豪名流接踵而至。据悉,活动期间,海南清水湾开启
本文对基于蜜罐的网络安全评估技术进行了研究。文章围绕当前网络安全评估系统现状、蜜罐的网络安全评估、蜜罐的安全评估系统结构等进行了论述。
本文对构造正则表达式的几种NFA算法进行了分析和比较。文章在给出了一些重要的3一状态设备网络保可靠度简化之后，给出了计算一类特殊设备网络系统可靠度的一个线性时间算法，对
目的:介绍临床药师如何开展患者的药学监护。方法:对1例扩张型心肌病患者药物治疗进行监护,总结经验。结果:临床药师对患者状况评估,建立用药监护计划,采取合适措施,并跟踪治
目的:评价国产阿德福韦酯胶囊治疗HBeAg阳性的中国慢性乙型病毒性肝炎患者48周的疗效和安全性.方法:采用多中心、随机、双盲、安慰剂平行对照的研究设计.前12周双盲阶段,240