论文部分内容阅读
通过分析B方法和软件体系结构描述语言ABC／ADL各自的特点，提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制，定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约，并给出了规约实例，从而使得基于B方法的ABC／ADL能够形式化描述软件体系结构的结构和行为。
基于B方法的体系结构描述语言的形式化研究
【摘 要】
：
通过分析B方法和软件体系结构描述语言ABC／ADL各自的特点，提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制，定义软件体系结构描述语言的构件和连接子观察模型、
【机 构】
：
怀化学院物理与信息工程系,湖南师范大学数学与计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2013年1期
【基金项目】
：
湖南省教育斤基金资助项目（29030523）,怀化学院资助科研项目（基于B方法的UML转换机制研究）
其他文献
小麦赤霉病(Fusarium head blight,FHB),是危害全球小麦产区的主要病害之一。小麦赤霉病具有扩展速度快、侵染面积广的特征,小麦一旦遭受侵害,不仅会造成大面积减产并且严重降低其生产品质,同时产生的毒素也会对人类与动物构成严重的威胁。多种病原菌可引发赤霉病,但引发小麦赤霉病的最主要致病菌为禾谷镰刀菌(Fusarium graminearun)。近年来,脂类物质在微生物病原物毒力作用
基于距离向量的按需路由协议AODV是Ad Hoc网络研究的热点之一.本文针对AODV路由协议提出一种链路可用时间算法,在路由请求数据包中增加链路可用时间参数,路由应答数据包中增
党的十八大以来,“反腐倡廉”的影响投射到资本市场,使得高管在职消费再次成为公司治理关注的焦点之一。基于高管在职消费的视角,考察具有审计经历的独立董事的公司治理效应,
对遵义市周边绥遵线、檬乐线及青檬线上的185个钢筋混凝土盖板涵和40个圆管涵进行了病害检查,根据涵洞缺损程度、缺损对结构使用功能的影响程度和缺损发展变化状况等3个方面,