期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
UML到Event-B的系统化转换方法 被引量:1
1
作者 耿雪 邹盛荣 +1 位作者 刘晓莹 姚聚义 《计算机技术与发展》 2023年第12期113-120,共8页
在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难... 在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用。因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法。系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一。一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚。文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中。基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性。UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用。 展开更多
关键词 统一建模语言 形式化方法 EVENT-B 抽象转换 模型
在线阅读 下载PDF
A Simple Model of Interaction between Journals, Authors and Editorial Board Members
2
作者 zou sheng-rong XU Ying-Ying +2 位作者 XU Xiu-Lian WANG Jian HE Da-Ren 《Chinese Physics Letters》 SCIE CAS CSCD 2011年第1期222-225,共4页
Recently, quantitative study on complex systems has become an attractive research area for physicists. Human scientific activity, including scientific paper publication, is an important complex system and therefore de... Recently, quantitative study on complex systems has become an attractive research area for physicists. Human scientific activity, including scientific paper publication, is an important complex system and therefore deserves an investigation. We present a simple model to describe the interaction between journals, authors and editorial board members. In the model the probabilities, with which a journal accepts papers from an author or invites him as an editorial board member, obey normal distributions. However, the most probable value of the latter distribution shifts such that the journal can have higher level authors being its editorial board members. The analytic derivation by the model is in rather good agreement with the empirical observation from the selected fifteen worldwide journals with different impact factors. 展开更多
关键词 Statistical physics and nonlinear systems
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部