计算数学

 翻译样例中心 >> 数学翻译样例 >> 计算数学

翻译样例: 协作策略驱动的构件组合行为提取_
版权信息   版权信息

本文提出了一种策略满足的构件组合行为提取方法.这个方法首先将用户指定的构件协作策略强加于组合系统的行为模型之上,并从结果模型中获取可接受的执行路径.然后,基于获取的行为,构造协作环境(Coordination Environment, CE).协作环境类似于连接器和适配器[6],但是,它能主动地驱动组合系统中的构件以一种无死锁,协作策略满足的方式一同工作,从而使运行系统具有良好的属性,如安全性,公平性等有效地复用已有构件需要某种形式化语言准确地描述构件的接口性质并支持设计阶段构件组合相关性质的检查.通常的形式化方法对接口性质的检查只局限于输入输出数据的静态检查上.但是,构件设计者可能会考虑范围更广泛的外部环境假设,比如,在面向对象设计中,要求在调用某个方法之前必需首先调用相关的初始化方法等等,这就存在一个对时序的假设因此我们需要语义更为丰富的接口模型.本文使用了一种基于自动机的形式化语言——接口自动机及其网络来描述构件系统的行为模型线性时序逻辑(LTL)[5] 是一种重要的描述和验证系统特性的形式化工具.它采用线性,离散且与自然数同构的时间结构,以路径(或状态序列)作为命题论断对象.我们将使用它作为组合系统构件协作策略的描述语言接口自动机(Interface Automata, IA)[2]是一种轻量级语言能用于描述构件接口的时序特征.它描述了使用构件时其对外界环境的输入假设和输出保证,即构件方法被调用的先后次序以及构件向外环境输出调用信息或结果的次序接口自动机采用与传统组合兼容性不同的思想,认为构件的设计总是基于一定的环境假设,当两个自动机组合时,它们的环境假设也应该同时组合在一起.那么只要存在某个环境使组合假设得以满足,则这二者可兼容.其语法形式与自动机相似,都基于有限迁移系统.系统的每个状态上可能有输入,输出或内部动作(用符号“?”, “!”和“;”分别表示).在接口自动机中,明确地表示出在当前状态上只有哪些输入动作是可接受的,而其它的输入动作是不可接受的,即非法的输入.构件对环境的假设就是通过对系统状态上的某些输入动作做出限制来达到的

收稿邮箱: sotrans@126.com
QQ: 1169561052    MSN: jesczhao@hotmail. com

最新翻译样例

相关翻译样例

专业英语词汇频道