论文部分内容阅读
针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个应用实例说明了该方法的有效性.
基于Z规范的统一建模语言序列图语义分析方法
【摘 要】
：
针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下
【机 构】
：
西安电子科技大学软件工程研究所
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2003年4期
【基金项目】
：
国家"九五"预研资助项目(6 2 1 4);"十五"预研资助项目(41306060106,413150501)
其他文献
低脂干酪产品存在质地和风味的缺陷，不能满足消费者的需求，因此需要改进生产技术。本文介绍了低脂干酪的技术发展，包括调控工艺参数、选择发酵剂、使用附属发酵剂、使用脂肪模拟
通过分析电子身份证、电子护照以及驾照技术研究现状和应用中所面临的问题,对现存的电子证件技术和"一卡多用"方案进行了分析和评估,并讨论了"一卡多用"尚未推广的问题和电子
目的探讨行为技能训练对流浪救助精神病患者预后的影响。方法将2016年1月~2017年1月在我院精神病科治疗的94例流浪救助精神病患者随机分为两组,均采用常规药物治疗,对照组给
近年来,患者胃肠道功能的作用越来越受到重视。入重症监护病房（ICU）24h内75%的患者内镜下可见胃肠道黏膜的损害,5%-10%的患者可见临床表现的出血症状,〉48h的呼吸机辅助和凝血
污染源与空气质量的关系即"源-受体"关系一直是环境科学研究的关键科学问题,也是环境管理和环境决策关注的核心问题。文章介绍了大气污染特征以及污染源解析技术的产生与发展
主要介绍了集中布置的空压站,并结合湛江钢铁基地集中空压站的设置,介绍了其规模,布置方式。将其与分散的空压站布置进行比较,突出大型钢铁企业中集中布置空压站的优势。
目的探讨鸦胆子油乳注射剂联合放疗对脑转移瘤患者的疗效及对神经功能和生活质量的影响。方法将64例脑转移瘤患者通过随机数字表法分为研究组与对照组,每组32例。对照组仅采
本文选择了1,4-二甲氧基-β-D-葡萄糖（Glc）和β-D-葡萄糖（Glu）作为纤维素模型。首先运用量子化学中的密度泛函理论,分子中的原子理论,自然键轨道理论和红外波谱等方法研究纤维素
伴随中国战略性新兴LED产业的迅猛发展,LED芯片与基板之间的连接材料—导电胶,也成为了当前学术界和产业界的研究热点之一。分别从导电胶主要成分方面阐述了导电胶近年来的研