检索结果-维普期刊中文期刊服务平台

基于Z规范的统一建模语言序列图语义分析方法被引量：3: 1; 作者李景峰陈平《西安电子科技大学学报》 EI CAS CSCD 北大核心 2003年第4期519-524,共6页; 针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个... 展开更多; 关键词 z规范统一建模语言序列图语义分析 UML; 在线阅读下载PDF 职称材料

UML序列图的Z形式规范被引量：5: 2; 作者李景峰李琰陈平《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页; 用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.; 关键词 UML序列图 z形式规范统一建模语言形式化 z语言; 在线阅读下载PDF 职称材料

信息对象开放式采集系统的形式化描述被引量：1: 3; 作者赵正旭张常有刘立嘉《微电子学与计算机》 CSCD 北大核心 2010年第8期20-23,共4页; 为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并... 展开更多; 关键词信息对象采集系统 z规范形式化; 在线阅读下载PDF 职称材料