论文部分内容阅读
该文结合实验室863/CIMS项目的实践成果,对基于移动代理的敏捷供应链的相关技术进行了研究,提出了基于P_ROATL模型的移动代理本体论,对于多安全域移动代理的访问协议进行了探讨,给出了基于角色和任务的工作流技术支持的移动代理协调模型,对移动代理的活动行为进行了形式化分析和验证.该文的创新性体现在以下几个方面:1. 根据实际应用的需要,结合企业P_ROATL模型,构建了移动代理商务活动Ontology的基本框架,为多移动代理协作运行时知识的共享和重用奠定了基础.在移动代理系统中,各个代理之间要进行协作通信,就必须有相同的Ontology作为对话的基础.用本体建立移动代理元模型,实现移动代理系统之间的通信、集成和转换.根据提出的企业P_ROATL模型,从以下七个子领域对移动代理所涉及的ontology进行了概念化的描述:组织ontology、资源ontology、时间位置ontology、活动ontology、过程ontology、产品ontology和代理ontology,从而形成了移动代理商务活动ontology的基本框架,为多移动代理协作运行提供了语义基础.2. 针对移动代理多安全域访问,提出了基于角色的授权和基于公钥证书的认证机制,给出了一个多安全域的移动代理访问协议.移动代理的安全性可能体现在四个环节上,相对应的就有四类安全问题:移动代理之间的安全问题;移动代理和主机之间的安全问题;主机之间的安全问题;主机与其他系统之间的安全问题.基于角色的授权和基于公钥证书的认证对于保护主机和移动代理来说是一个很好的解决方案.Kerberos是最著名的分布式身份验证系统,但它的集中管理模式对多安全域来说是不适用的,而且它是一个身份验证系统,不适用于授权.该文提出的移动代理访问机制,允许安全服务器根据代理执行的任务来分配角色,支持多安全域的授权和认证,允许被授权移动代理访问其他安全域的主机.和其他协议相比,它实现更容易,安全性更高.3. 给出了移动代理的工作流协调模型.这个模型有以下的优点:◆ 引入工作流流程控制机制,进行相关的流程建模,从而可以更好地控制协调;◆ 引入任务和角色,并设定任务和角色对应的权限,使得代理在协调中的行为有所约束;◆ 采用ECA或者ECAA规则控制活动的流程,满足企业应用中的敏捷化需求.◆ 给予形式化模型,精确定义程序语言的语义,对程序进行正确性分析;4. 因为Petri 网缺少表达并发进程通信行为和移动特征的能力,该文给出了用π-演算形式化描述商业活动过程行为和系统通讯的一个方法,很好地表达了移动代理进程间的通信和移动特性.5. 针对某企业的实际应用需求,开发了基于移动代理的敏捷供应链应用系统.该系统采用了基于工作流技术的协调机制,基于本体的知识共享方案,多安全域的代理访问控制协议和基于 演算的工作流校验模型,使该系统在可靠性、协调性和安全性方面都得到了保证.这些方面的研究对移动代理的应用具有较强的实用价值和理论指导意义.