检索结果-南通市图书馆

基于UML状态机与b方法的高可信嵌入式软件开发

在线全文

学校读者我要写书评

暂无评论

计算机工程 2006年第8期32卷 64-66页

作者：肖健宇张德运陈海诠董皓湖南涉外经济学院计算机系长沙410205 西安交通大学电子与信息工程学院西安710049

提出了一套集成UML与b方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为b抽象模型并在b工具中验证该模型的一致性,然后遵循b模型逐步精化的开发规则,利用b方法的精化正确性验证功能,得到系统的可靠的实现模... 详细信息

提出了一套集成UML与b方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为b抽象模型并在b工具中验证该模型的一致性,然后遵循b模型逐步精化的开发规则,利用b方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助b工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到b抽象模型的转换规则。

关键词： b方法形式化方法 UML状态机嵌入式软件高可信软件工程

一个基于Web技术的网络银行系统的b方法设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程 2001年第10期27卷 65-66,121页

作者：李莉缪淮扣上海大学计算机工程与科学学院上海200072

方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网b,b络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及... 详细信息

方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网b,b络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用。

关键词：形式化方法 b方法网络银行系统 Web Internet

在线全文

学校读者我要写书评

暂无评论

b方法在家庭智能控制系统开发中的应用

计算机工程与应用 2006年第24期42卷 80-83页

作者：王友张广泉重庆师范大学数学与计算机学院重庆400047

精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化... 详细信息

精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以b方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了b方法在软件开发过程中的应用。

关键词： b方法软件过程抽象机形式规约软件设计

在线全文

学校读者我要写书评

暂无评论

基于b方法的体系结构描述语言的形式化研究

计算机工程与科学 2013年第1期35卷 100-106页

作者：丁湘陵王志刚怀化学院物理与信息工程系湖南怀化418008 湖南师范大学数学与计算机学院湖南长沙410081

通过分析b方法和软件体系结构描述语言AbC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用b方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于b方法... 详细信息

通过分析b方法和软件体系结构描述语言AbC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用b方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于b方法的AbC/ADL能够形式化描述软件体系结构的结构和行为。

关键词：体系结构描述语言 b方法事件形式化

b方法在变配电所实时控制系统的可靠性设计中的应用

在线全文

学校读者我要写书评

暂无评论

B方法在变配电所实时控制系统的可靠性设计中的应用

作者：高丽萍合肥工业大学

学位级别：硕士

随着电力系统的飞速发展，变配电所综合自动化得到越来越广泛的应用。以计算机控制、计算机通信技术和电力自动装置为基础的微机保护系统作为变配电所自动化系统的核心部分，克服了传统电力系统功能性差、可靠性差和管理不便等缺陷，实... 详细信息

随着电力系统的飞速发展，变配电所综合自动化得到越来越广泛的应用。以计算机控制、计算机通信技术和电力自动装置为基础的微机保护系统作为变配电所自动化系统的核心部分，克服了传统电力系统功能性差、可靠性差和管理不便等缺陷，实现了无人值班系统。电力系统关系到整个电网安全可靠地供电，它对系统可靠性的要求很高。b方法是目前在工业界应用广泛的形式化方法之一，它建立在需要对实际操作进行验证分析的基础上，从而保证模型设计的正确性和系统功能的可靠性。本文基于变配电所实时控制系统的工程背景，为提高系统的可靠性，采用b方法完成了系统的模型设计和实现。文章首先在全面了解b方法规约机制、验证理论和开发过程的基础上，提炼出b方法提高软件可靠性的有利因素。然后介绍了变配电所的背景知识，并抽取其微保单元的模块功能如下：电流选择性速断、过流、过压、低压、母联自投等。通过对这些功能的分析，利用b方法对这个分布式系统的各个单元进行模型设计;同时考虑故障定位的准确性，为依靠单元间的相互协作而设计的保护功能建立模型。接着根据b方法分层构造的思想对模型进行精化，并提出两种保证系统可靠性和正确性的手段：容错设计和分析验证。最终，软件实现是依靠b工具自动合成代码，大大减少了程序的出错率。

关键词：形式化方法 b方法可靠性验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

b方法与UML在软件设计中的结合应用

计算机工程与科学 2007年第1期29卷 134-137页

作者：何飞谷建华西北工业大学软件学院陕西西安710072

形式化方法b用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过b方法和UML在问题对象域层次上的结合,给出一种在软件设计中... 详细信息

形式化方法b用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过b方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。

关键词：统一建模语言 b方法软件设计

基于b方法的Web Service组合描述和验证方法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2007年第19期33卷 19-22,41页

作者：王帅强万建成侯金奎冯仕红山东大学计算机科学与技术学院济南250061

对于Web Service及其组合来说,保证其组合的正确性是十分必要的。b方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于b方法对Web服务及其组合进行了形式化建模,并能够... 详细信息

对于Web Service及其组合来说,保证其组合的正确性是十分必要的。b方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于b方法对Web服务及其组合进行了形式化建模,并能够利用b方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。

关键词： Web Service b方法服务形式化服务组合