切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
UML模型的B形式化描述方法研究
UML模型的B形式化描述方法研究
来源 :信息技术与信息化 | 被引量 : 0次 | 上传用户:zhengwei129
【摘 要】
:
UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形
【作 者】
:
沈利
【机 构】
:
扬州市职业大学信息工程学院
【出 处】
:
信息技术与信息化
【发表日期】
:
2018年12期
【关键词】
:
状态图
B方法
UML
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形式化B方法的转换规则,并以汽车租系统为例,给出了UML时序图的B方法描述。
其他文献
抓住机遇稳步实施“走出去”战略
总局党委(扩大)会议明确提出,垦区要抓住国家“一带一路”和我省“东部陆海丝绸之路经济带”建设、鼓励农业“走出去”的重大战略机遇,积极稳妥做实“走出去”。这是垦区深刻领会
报纸
论南宋乐风分化与词风雅化之关系
词与燕乐(俗乐)结合,使得词本身的风貌整体上呈现出民间文艺的特征。南宋时,雅乐的介入.使得词风开始更深程度地转向“骚雅”;而原本的俗乐慢慢融合到其他民间曲艺中。
期刊
南宋
词乐
词风
雅化
建立成长跟踪档案 创新员工管理方式
<正>农发行江苏省盐城市分行积极探索新员工管理方式,为每一名新员工建立成长跟踪档案,通过两到三年的跟踪期,使新员工在业务技能的提升、职业习惯的养成等方面有明显的进步,
期刊
员工管理
农发行
江苏省盐城市
员工成长
成长档案
让湿地保护与发展共存
近年来,拉萨市越来越重视生态环境保护建设,作为“城市之肺”的拉鲁湿地,其重要性已不言而喻。自2000年拉萨市出台《拉萨市拉鲁湿地自然保护区管理条例》后,拉鲁湿地的保护和发展
报纸
情景创设在小学英语教学中的应用研究
在英语教学中创设教学情景,更能展现英语作为语言学科的生命活力与丰富内涵,让学生的语言学习活动更加主动,学生全身心地投入其中,实现了学生由要我学到我要学的转变。学生不
期刊
游戏情景
生活情景
动画情景
音乐情景
交际情景
美国异维A酸上市后风险控制措施研究
目的通过研究美国异维A酸上市后风险控制措施,以期为我国建立完善的药品上市后风险管理体系提供参考。方法通过查阅FDA药品上市后风险管理指南及法规,分析美国对异维A酸致畸
期刊
异维A酸
风险评估与减低策略
i PLEDGE
陶行知健身教育思想的文化意蕴及其当代价值
陶行知先生是20世纪我国伟大的人民教育家,他毕生从事教育事业,创建了意蕴深刻、价值独特的健身教育思想理论和实践。陶行知健身教育思想的文化意蕴就在于它的健康性、生活性
期刊
陶行知
健身教育思想
文化意蕴
价值
基于Event-B的ad hoc路由协议及任务级时间约束的形式化建模与验证
移动ad hoc网络是由移动节点搭建的临时通信网络。网络中没有任何固定的基础设施和中心管理设备。因为节点可以自由移动,网络拓扑随时可能发生变化。所以ad hoc路由协议必须
学位
移动ad hoc网络
ZRP
SRP
Ariadne
形式化验证
Event-B
任务级时间约束
难度、替代性与风险——对犯罪成本的一种结构性分析
本文在犯罪调查的基础上,立足于实证研究,论证了犯罪成本的结构,对犯罪直接成本、犯罪机会成本和犯罪风险成本进行了分析。并阐述了这三种犯罪成本对犯罪人的犯罪行为所产生的不
期刊
犯罪成本
直接成本
机会成本
与本文相关的学术论文