论文部分内容阅读
UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形式化B方法的转换规则,并以汽车租系统为例,给出了UML时序图的B方法描述。
UML模型的B形式化描述方法研究
【摘 要】
：
UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形
【机 构】
：
扬州市职业大学信息工程学院
【出 处】
：
信息技术与信息化
【发表日期】
：
2018年12期
其他文献
总局党委（扩大）会议明确提出，垦区要抓住国家“一带一路”和我省“东部陆海丝绸之路经济带”建设、鼓励农业“走出去”的重大战略机遇，积极稳妥做实“走出去”。这是垦区深刻领会
报纸
词与燕乐（俗乐）结合，使得词本身的风貌整体上呈现出民间文艺的特征。南宋时，雅乐的介入．使得词风开始更深程度地转向“骚雅”；而原本的俗乐慢慢融合到其他民间曲艺中。
<正>农发行江苏省盐城市分行积极探索新员工管理方式,为每一名新员工建立成长跟踪档案,通过两到三年的跟踪期,使新员工在业务技能的提升、职业习惯的养成等方面有明显的进步,
近年来，拉萨市越来越重视生态环境保护建设，作为“城市之肺”的拉鲁湿地，其重要性已不言而喻。自2000年拉萨市出台《拉萨市拉鲁湿地自然保护区管理条例》后，拉鲁湿地的保护和发展
报纸
在英语教学中创设教学情景,更能展现英语作为语言学科的生命活力与丰富内涵,让学生的语言学习活动更加主动,学生全身心地投入其中,实现了学生由要我学到我要学的转变。学生不
目的通过研究美国异维A酸上市后风险控制措施,以期为我国建立完善的药品上市后风险管理体系提供参考。方法通过查阅FDA药品上市后风险管理指南及法规,分析美国对异维A酸致畸
陶行知先生是20世纪我国伟大的人民教育家,他毕生从事教育事业,创建了意蕴深刻、价值独特的健身教育思想理论和实践。陶行知健身教育思想的文化意蕴就在于它的健康性、生活性
移动ad hoc网络是由移动节点搭建的临时通信网络。网络中没有任何固定的基础设施和中心管理设备。因为节点可以自由移动,网络拓扑随时可能发生变化。所以ad hoc路由协议必须
本文在犯罪调查的基础上，立足于实证研究，论证了犯罪成本的结构，对犯罪直接成本、犯罪机会成本和犯罪风险成本进行了分析。并阐述了这三种犯罪成本对犯罪人的犯罪行为所产生的不