1) refinement Calculus of Object Systems(rCOS)
对象精化演算系统
1.
This paper proposes refinement Calculus of Object Systems(rCOS)based on Unifying Theories of Programming(UTP)to specify the formal semantic of UML state-chart,which overcomes the limitation in the semantic research.
针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
2) Refinement calculus
精化演算
1.
The advantage of COOZ (complete object oriented Z) is to specify large scale software, but it does not support refinement calculus.
COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 。
2.
The refinement calculus neatly formalizes the stepwise refinement ideas using the weakest precondition formalism of Dijkstra.
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 。
3) System Evolution Algorithm
系统演化算法
1.
The Study on Modeling and Simulation for Water Resources Multi-agent System Based on System Evolution Algorithm;
基于系统演化算法的水资源多Agent系统建模仿真研究
4) Evolutionary Computational System
演化计算系统
1.
Synthesis of the Evolutionary Computational System for Engineering Optimization;
演化计算系统及其综合设计
5) Φ object calculus
Φ对象演算
补充资料：对象
对象
object
duixiang对象(object)面向对象系统中运行时刻的基本成分，它是数据和操作(或谓属性和行为)的封装通信单位。数据表示对象的属性状态;操作(或称方法)决定了对象的行为和与其它对象进行通信的接口。数据是对象私有的，只有该对象内的操作才能进行存取。 任何事物均有各自的属性与行为，当考察其某些属性与行为并进行研究时，它便成为有意义的对象。当用面向对象的方法进行计算机模拟时，应区别两种不同含义的对象:问砚对家和计葬机对朱。前者是指现实世界中存在的实体在问题域中的抽象，后者是指问题对象在计算机系统中的表示。 面向对象语育中的对象指的是计算机对象。对象具有被动和主动两个方面。被动方面指的是其相对静态属性，借以认识对象，并对之归类。主动方面指的是其具有改变静态属性的动态行为。静态属性与动态行为相互影响，属性决定行为，行为改变属性。此外，对象并非孤立存在，彼此之间通过传递消息进行交互。这样，对象可表示成三元组(接口、状态、操作)。动态地看，对象又是通信自动机。 对象内部有两类操作:一类是改变其内部属性的操作，另一类是生成输出的操作。 对面向对象语言中的对象，流行的观点有两种:一是以及朋】l翻dk语盲为代表的广义解释，将对象定义为计算机系统中的所有成分，强调动态系统本身;另一是以Eiffel语言为代表的狭义解释，将对象定义为计算机系统中用以模拟问题对象的成分，着重考察系统和现实世界间的对应关系。 计算机对象具有5个基本特性:①自治性，指对象具有一定的独立计算能力;②封闭性，指对象具有信息隐蔽的能力;③通信性，指对象具有与其它对象通信的能力;④被动性，指对象的状态转换由外部刺激引发;⑤暂存性，指对象的动态创建与消亡。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条