论文部分内容阅读
构件演化前后的交互行为执行序列不一致，会导致系统行为偏离系统的功能目标。针对该问题，基于进程代数描述构件间的交互行为，归纳交互行为一致性的定义，给出交互行为一致性所需满足的约束条件，提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。
构件演化的交互行为一致性研究
【摘 要】
：
构件演化前后的交互行为执行序列不一致，会导致系统行为偏离系统的功能目标。针对该问题，基于进程代数描述构件间的交互行为，归纳交互行为一致性的定义，给出交互行为一致性所需满
【机 构】
：
燕山大学信息科学与工程学院,河北科技师范学院欧美学院
【出 处】
：
计算机工程
【发表日期】
：
2010年24期
【基金项目】
：
河北省自然科学基金资助项目（F2008000861）
其他文献
目的系统评价前列环素类似物(prostacyclin analogues,PA)治疗肺动脉高压(pulmonary arterial hypertension,PAH)的安全性与耐受性。方法在线检索中国知网、万方、维普、PubM
移动设备业的龙头厂家——诺基亚的全球市场份额正在不断下滑，今年第一季度，其全球市场份额由去年同期的30．6％跌至25％，创14年新低。在严峻的市场形势下，诺基亚公司开始进行大规模的
目的：观察不同类型干扰素治疗慢性丙型肝炎的临床疗效。方法：将94例患者随机分为治疗组52例和对照组42例,治疗组应用上海罗氏制药有限公司的PegIFNα-2a注射液（派罗欣）180mg,每周
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
中国新闻对外报道的困境之一在于酒香却怕巷子深。因为中西方语境不同，文化差异及编辑记者观察新闻事件的出发点和角度不一，西方读者还是倾向于阅读外媒稿件而错过中国记者调研
在过去20年,金融衍生品市场的兴起和发展成为国际金融市场出现的最为突出的变化之一。金融衍生品的迅速扩散和广泛应用,把自20世纪70年代出现的金融深化推向了高潮,也给整个