论文部分内容阅读
UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证.针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证明其具有全序的消息关系的性质,为序列图的语义分析与验证提供了基础.
基于事件序的UML序列图语义规范
【摘 要】
：
UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证.针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证
【机 构】
：
西安电子科技大学,软件工程研究所,陕西,西安,710071上海贝尔有限公司研发部,上海,200092;
【出 处】
：
长安大学学报(自然科学版)
【发表日期】
：
2002年6期
其他文献
大胆猜想、勇于探索和培养创新精神是当前课程改革的主体思想,以实验为主是物理教学的基础,在学习过程中,不仅要培养观察能力,分析问题和解决问题的能力,而且要注重动手能力
考虑到间隙机构运动副中的边界润滑和副元素接触时的边界条件 ,采用非线性弹簧和阻尼建立了边界润滑条件下的接触摩擦模型 ,并结合摩擦学理论给出了间隙机构中运动副表面的磨
从目前的情况来看,我国企业发展十分迅速,市场经济的飞速发展带动了我国的企业建设,在很大程度上要求我国企业会计内部控制体系不断完善和优化,只有这样才能够更好地促进企业
随着我国汽车行业的不断发展以及人民对于汽车质量的要求的不断提高，安全、节能、环保，已经成为汽车工业发展的三大主题，不断加强汽车制造的质量控制具有重要意义，尤其是汽车保险
你见过动物当议员吗？白俄罗斯近日就上演了这样匪夷所思的一幕。据英国《镜报》报道，一只名叫“亚沙”的鹦鹉被白俄罗斯政府同意参加地方议员选举。
浙江省政策性农业保险采取了建立共保体的运作模式,共保体为保障农业生产做出贡献的同时也面临着内部激励机制缺乏,保险公司参与积极性不高的问题.本文首先对浙江省政策性农
随着目前社会经济的快速发展,促使了医疗保险日益发展和完善,同时在医院财务管理过程当中日益完善,医保支付方式是目前医院财务管理过程当中比较重点的内容,目前医保支付方式
超超临界发电厂四大管道上的热电偶长期承受高温、高压及高速的汽水冲击，对安全性要求非常高。本文对此类热电偶的设计、选型、制造、安装等进行了论述，希望为其测温设计提供指