-
题名反演计算技术及其在动态工作流管理中的应用
被引量：7
- 1
-
-
作者
王海波
韩燕波
-
机构
中国科学院计算技术研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第11期1537-1545,共9页
-
基金
国家自然科学基金(60173018)
-
文摘
反演计算技术自诞生以来,对若干信息技术领域分支的发展带来了深远的影响,在增强灵活性方面展示出巨大潜力.对工作流技术来说,灵活性问题正是应该具备而却没有得到很好解决的问题.首先介绍反演计算的基本概念以及面向对象反演计算的模型,然后介绍反演计算目前的一些典型应用.最后,结合作者目前的工作,给出反演计算在动态工作流中的应用模型,并设计实现了原型系统,经过初步验证,该模型和原型系统能够对工作流的灵活性问题提供良好的支持.
-
关键词
反演计算
元对象
元对象协议
动态工作流
-
Keywords
computational reflection
metaobject
metaobject protocol
adaptive workflow
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名开放实现与计算反射技术综述
- 2
-
-
作者
唐亚哲
李增智
张鹏
-
机构
西安交通大学电信学院系统结构与网络研究所
-
出处
《计算机科学》
CSCD
北大核心
2002年第2期81-83,共3页
-
基金
国家863项目资助(863-511-946-008)
陕西省自然科学基金(99X18)
-
文摘
1.引言传统上软件开发遵循这样的原则:模块应提供表达其功能的接口,同时应隐藏其实现细节.这个原则被非正式地称为'黑盒抽象',是软件设计的一个基本方法学原则,也是其他研究方向比如可移植性、重用、组件软件、软件工程方法、标准式设计等的基石.
-
关键词
软件工程
软件重用
软件可扩展性
软件开发
开放实现
计算反射
-
Keywords
Open implementation, Computational reflection, metaobject protocol
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于安全元对象的CORBA系统的访问控制机制
- 3
-
-
作者
吴新勇
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2003年第8期1032-1036,共5页
-
文摘
目前 ,使用反射机制实现非功能性机制变得越来越流行 ,出现了面向可靠性应用的各种元对象协议。针对CORBA安全服务在访问控制的细粒度实现、可定制性方面不够灵活的问题 ,提出了基于安全元对象的CORBA系统的访问控制技术。反射机制把客户对服务器对象的访问隔离开来 ,进行访问权限的检查和安全审计 ,防止应用软件的非法访问和操作来提高系统可靠性。安全元对象协议的实现采用了开放式编译器 ,使最终的访问控制系统代码量小、运行开销小 ,同时安全策略定制灵活。
-
关键词
CORBA
访问控制
反射
安全元对象协议
-
Keywords
CORBA
Access control
Reflection
Security metaobject protocol
-
分类号
TP311.132.4
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于Renew的有色网元对象协议的设计与实现
- 4
-
-
作者
郭胜基
齐大伟
林明
王生原
董渊
-
机构
清华大学计算机科学与技术系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期63-68,共6页
-
基金
国家自然科学基金(60573017
90818019)
国家高技术研究发展计划863(2008AA01Z102)
-
文摘
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
-
关键词
PETRI网
元对象协议
Renew
银行家算法
-
Keywords
Petri Net
metaobject protocol
Renew
Banker's Rounding
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
