【摘 要】
:
越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模
【机 构】
:
解放军理工大学通信工程学院,解放军理工大学指挥自动化学院
论文部分内容阅读
越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.
其他文献
依据我国高速铁路分相区长度设置规定,总结各型动车组自动过分相的差异,确定动车组过分相时无电运行走行距离的计算方式。在此基础上,分析动车组自动过分相最低入口速度与分
随着互联网技术发展的突飞猛进,以微博作为突出代表的新媒体传播方式的盛行预示着"微时代"已经走进我们的日常生活中。当代大学生作为接收新鲜事物的前沿群体,其不可避免地受
<正>刷新的印迹设计师:安勇、李志君、李湘军参与设计:覃文权、陈国柱、袁霞、廖洪勇建筑面积:2400平方米主要材料:大理石、石膏板、透光膜、玻璃、铁艺、墙纸、方毯建设单位
家庭农场的"商事主体化",是对普通民事主体意义上"农村承包经营户"的人格和信用,基于"商主体法定"原则,进行商事能力意义上的拟制和确认。我国家庭农场的概念多维、多义,实践
<正>全国教育工作会指出:“建立高质量的教师队伍是全面实施素质教育的根本保证”。《中共中央国务院关于进一步加强和改进未成年人思想道德建设的若干意见》中又指出,“要完
目的研究中学生社会支持和学校归属感的关系。方法对2所中学的224名被试进行社会支持评定量表和学校归属感问卷测试。结果1中学生社会支持在性别差异上不显著,但是在支持的部
本文以霍克斯的《红楼梦》英译本为例,以功能目的论为理论基础,以《红楼梦》中全120回的美食名称以及在霍克斯英译本中全120回的美食名称翻译为研究语料,以浙江绍兴文理学院
目的探讨达格列净联合二甲双胍治疗2型糖尿病的临床效果。方法 60例服用二甲双胍治疗血糖控制不佳的2型糖尿病患者,随机分为对照组和观察组,每组30例。对照组患者使用二甲双
目的分析犯罪青少年父母养育方式与其个性特征之间的关系,以便指导广大儿童青少年的父母采取正确的养育方法,促进青少年的身心健康。方法采用父母养育方式评价量表(EMBU)和艾
《企业会计准则第2号——长期股权投资》规定长期股权投资初始与后续会计确认与计量原则及方法 ,企业应该根据长期股权投资具体情况选择成本法或权益法进行会计处理,但是成本