云南高校图书馆联盟文献共享服务平台- EVENT-B

EVENT-B: 作品数：42被引量：52H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：胡晓辉李钦杨桦乔磊蒲戈光更多>>; 相关机构：华东师范大学兰州交通大学北京交通大学扬州大学更多>>; 相关期刊：《江苏科技大学学报（自然科学版）》《合肥工业大学学报（自然科学版）》《软件学报》《计算机工程》更多>>; 相关基金：国家自然科学基金中央高校基本科研业务费专项资金四川省科技计划项目国际科技合作与交流专项项目更多>>

基于Event-B的区块链Raft共识形式化建模方法: 《山西电子技术》2025年第2期97-99,共3页陈中绪任睿崔慧敏; 山西省重点研发计划“区域性股权市场金融服务创新关键技术研发及应用示范”(202102020101016)。; Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,...; 关键词：Raft共识算法 Event-B方法形式化建模

Studies of an event-building algorithm of the readout system for the twin TPCs in HFRS: 《Nuclear Science and Techniques》2024年第4期82-95,共14页Jing Tian Zhi-Peng Sun Song-Bo Chang Yi Qian Hong-Yun Zhao Zheng-Guo Hu Xi-Meng Chen; partially supported by the Strategic Priority Research Program of Chinese Academy of Science(No.XDB 34030000);the National Natural Science Foundation of China(Nos.11975293 and 12205348)。; The High-energy Fragment Separator(HFRS),which is currently under construction,is a leading international radioactive beam device.Multiple sets of position-sensitive twin time projection chamber(TPC)detectors are dist...; 关键词：High counting rate Twin TPCs Trigger-less Readout electronics Event building Hierarchical data processing

基于Event-B与ADT的TACS形式化开发方法与验证被引量：1: 《中国铁道科学》2023年第6期172-183,共12页陈祖希牛传军梅萌刘杰刘传振郑黎晓骆翔宇潘亮汪小勇徐中伟; 国家重点研发计划项目(2022YFB430050461802134);福建省自然科学基金资助项目(2021J01320);上海市自然科学基金资助项目(22ZR1422200)。; 为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验...; 关键词：EVENT-B 抽象数据类型精化策略列车自主运行控制系统

UML到Event-B的系统化转换方法: 《计算机技术与发展》2023年第12期113-120,共8页耿雪邹盛荣刘晓莹姚聚义; 国家自然科学基金(61972335)。; 在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难...; 关键词：统一建模语言形式化方法 EVENT-B 抽象转换模型

基于Event-B的可靠智能合约自动生成方法: 《计算机科学》2023年第10期343-349,共7页朱健胡凯王军李洁叶亚飞时希言; 北京市自然科学基金(M22040);云南省重大科技专项(202103AN080001-001,202102AD080006)。; 智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言E...; 关键词：智能合约 Event-B方法自动代码生成 Solidity合约定理证明

一种基于Event-B语言的时间触发系统建模方法: 《计算机工程与科学》2023年第4期613-621,共9页姚袭欣章博陈香兰乔磊李曦; 国家自然科学基金(61772482);开放基金(OBCandETL-2020-02)。; 安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题,验证时耗少,适用于高并发系统。然而,常规的Event-B方法缺乏时间语义表达结构,特别是缺乏对可提高系统可预测性...; 关键词：EVENT-B 实时系统建模时间触发系统分布式多时钟

基于EVENT-B的飞机起落架控制系统形式化建模: 《电脑知识与技术》2022年第7期100-101,共2页孟开元王瑾彭寒曹庆年; 飞机起落架控制系统作为飞机的一个极其重要的部分,在飞机着陆、滑跑、起飞过程中起着非常重要的作用,该部分系统性能的好坏将直接影响整个飞机的安全性。飞机起落架系统作为一个极其复杂的系统,如果使用传统的建模语言对其进行建模,可...; 关键词：起落架形式化建模 EVENT-B IUML-B 精化

Graphical Transformation of OWL Ontologies to Event-B Formal Models: 《Computers, Materials & Continua》2022年第2期3733-3750,共18页Eman H.Alkhammash; This work was supported by Taif University Researchers Supporting Project Number(TURSP-2020/292),Taif University,Taif,Saudi Arabia.; Formal methods use mathematical models to develop systems.Ontologies are formal specifications that provide reusable domain knowledge representations.Ontologies have been successfully used in several data-driven appli...; 关键词：Data analysis OWL ontologies event-B formal method REFINEMENT requirements OntoGraf

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification被引量：1: 《Journal of Computer Science & Technology》2022年第1期4-28,共25页Inès Mouakher Fatma Dhaou J.Christian Attiogbé; UML 2.X sequence diagrams(SD)are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current systems.However,there are several issues related to the standard seman...; 关键词：UML 2.X sequence diagram formal semantics nested combined fragment partial order theory EVENT-B

基于Event-B的软件工程形式化方法综述被引量：2: 《计算机系统应用》2021年第9期12-23,共12页彭寒张晓丽刘洲洲曹国震景月娟王瑾李添锐; 陕西省重点研发计划(2018GY-028,2020GY-084);陕西省自然科学基金(2020JM-633);陕西省教育厅科研计划(20JG014)。; 在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期. Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑...; 关键词：软件工程形式化方法面向对象可重用形式化模型

EVENT-B