论文部分内容阅读
分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制：选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射,同时结合实例加以说明该机制的可行性.
UML包与B结合的形式化建模研究
【摘 要】
：
分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制：选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射
【机 构】
：
怀化学院,湖南师范大学数学与计算机学院
【出 处】
：
怀化学院学报
【发表日期】
：
2010年11期
【基金项目】
：
怀化学院资助科研项目
其他文献
不相交差族（p^n，4，1）-DDF的存在性已经得到证明，其中p≡1（mod12）是一个质数．推广该结果，给出了当v≡1（mod12）为质数幂时不相交差族（v，4，1）-DDF的存在性结果．
【正】 预收贷款违约金,就是银行、信用社等金融部门在发放贷款时向借款户预先收取一定资金,作为贷款不按时归还的违约“罚金”,如贷款所按时归还,则届时如数退还给贷户。大
【正】 为了加快贫困地区脱贫步伐,国务院决定:“从1986年起,连续五年,每年发放10亿元专项贴息贷款,支持全国重点贫困县开发经济,发展商品生产,解决群众温饱问题。”这对资金
【正】 搞农村金融工作的同志大都知道,收回旧贷难,收回70年代沉淀的社队企业贷款更难,难就难在企业关停时间太长,财产失散,无人负责。然而,三都营业所却迎难而上,取得了较好
围绕大学校园文化育人这个中心,阐明了大学校园文化活动在育人的过程中不可替代的作用,分析了大学校园文化目前普遍存在的问题,并举实例提出了如何强化大学校园文化育人功能
【正】 为了加强农行对承包经营的监督检查,保证各项承包指标的真实正确和承包任务的完成,很有必要进行承包经营责任审计。笔者在此提出搞好承包经营责任审计的一些看法。一
【正】 玉林地区外贸系统九个出口基地,从1986年底起,向农业银行借入世界银行农村项目贷款324万元,发展三黄鸡和瘦肉型猪生产。经过几年的建设和生产,目前,九个出口基地,经营