论文部分内容阅读
为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点,UML是一种被推荐的面向对象建模语言,Z是一种广泛使用的形式化规约语言,适合用来精确表示模型的语法和语义,本文利用DFA描述了UML状态机的语法,并采用Z(Object-Z)语言对UML状态机视图进行了形式化描述.
UML状态图的形式化
【摘 要】
：
为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点,UML是一种被推荐的面向对象建模语言,Z是一种广泛使用的形式化规约语言,适合用来精确表示模型的语法和语义,本
【机 构】
：
广西大学计算机与信息工程学院
【出 处】
：
广西大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
对目前以蓝牙技术和无线局域网(802.11标准系列)为代表的短距离无线接入技术作了研究和介绍,并对蓝牙技术和无线局域网的体系结构、网络拓扑结构、底层特性、电源管理、安全
苏里格气田区块储层以岩屑砂岩为主,结构、成分成熟度较低,属典型的低孔低渗储层。区块内多口井二开钻进时在延长组发生井漏等复杂情况,且固井过程中发生的井漏带来地层漏封,
采用改进的Ellis平衡釜和毛细管气相色谱分析方法,测定了常压及在真空度0.013 31～0.039 9 MPa、温度501.19～527.55 K条件下高浓度长叶烯体系的汽液平衡数据,根据稀溶液的溶剂符
本文以磷酸氢二铵和钼酸铵为原料,经氢等离子体法还原制备Ni-MoP催化剂;催化剂经XRD、SEM分析表征;在固定床反应器进行二苯并噻吩加氢脱硫,实验结果表明Ni-MoP催化剂的DBT的
为解决油田注入水二次污染水质劣化问题,本研究以杏子川油田某联合站注水工艺中的不同节点的污水作为研究对象,通过水样的水质和回注水系统管垢分析,得出油田回注水水质的主
文章针对供应链成员间共享信息被频繁泄露及其对供应链运作产生的不良后果，构建了单个供应商和两个数量竞争的零售商组成的供应链的信息泄露模型，研究了需求信息不对称条件下需
课程设计是工科专业课程教学中的一个重要环节，具有很强的综合性和实践性．本文结合电气工程学科的特点，在课程设计的过程中，继续深化课程设计理论，同时加强实践教学，全面提高学生的
7月30日，江苏省南通市通州区物价局召开价格诚信表彰会议。桑夏太阳能股份有限公司（以下简称“桑夏”）因表现突出，工作成绩优异，荣获“2012年度南通市通州区价格诚信单位”称号。
采用单晶X-射线衍射仪测定了cydta(环己二胺四乙酸)的分子结构和晶体结构.通过edta与cydta,(NH4)[YⅢ(edta)(H2O)3](5H2O与(NH4)[YⅢ(cydta)(H2O)2](5H2O和 (NH4)[GdIII(edta