论文部分内容阅读
提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。
基于OWL时间本体的工作流建模与验证
【摘 要】
：
提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。
【机 构】
：
中山大学计算机科学系,湖南工程学院
【出 处】
：
通信学报
【发表日期】
：
2006年11期
【基金项目】
：
国家自然科学基金资助项目（60373081,60673135）,广东省自然科学基金资助项目（04105503,5003348）,教育部“新世纪优秀人才支持计划”基金资助项目
其他文献
基于一种用于混合属性数据的距离定义和改进的最近邻分类方法,提出了一种基于聚类的有指导的入侵检测方法。该方法首先利用一趟聚类算法对训练集进行聚类,再利用数据的标识和少数服从多数的原则将聚类标识为“正常”或“攻击”,以标识的聚类作为分类模型对数据进行分类。理论分析表明提出的检测方法关于数据集大小和属性个数具有近似线性时间复杂度。不同于一般的有指导的入侵检测方法,改进的最近邻方法从理论上保证了该方法对未
根据混沌理论,在研究大量小规模室内火灾实验结果的基础上,得到了一种新的、通过温度变化率表征的轰燃判据;利用大规模室内火灾的实验结果,对该判据的实用性进行了初步验证。
复旦大学电子工程系成立于1982年,隶属于复旦大学信息科学与工程学院。电子工程系现有"电子信息科学与技术"、"生物医学工程"本科专业以及"电路与系统"、"生物医学工程"硕士点和博士点。"生物医学工程"具有一级学科博士授予权,电路与系统是"电子科学与技术"一级学科博士授予点的组成部分之一。2002年"电路与系统"被评为国家重点
用户在接入网络和使用网络服务时,过多的账号对身份认证、授权和计费(AAA)带来不便,并且许多网络服务提供商因没有合适的AAA手段而发展受限。针对上述问题,提出智能AAA的方案,设计了智能AAA的结构,并采用了基于SOAP的安全断言(SAML)来解决智能AAA与其它服务提供商信息交互的问题,最后给出了完整的身份认证流程。分析表明,智能AAA可以对用户的认证、授权和计费做到统一智能管理,为用户和网络服
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
买车的都知道4S店黑。配件贵，工时费高，我也来说说我的被黑经历。我是重庆的，2004年8月份从重庆某某现代店买了一台1．6手动豪华型的伊兰特。两年多来，我一直都坚持在4S店做保养，就
情境创设是教师在教学过程中为达到既定的教学目标．根据教学内容和学情特点，运用一定的手段创设出能够激发学生积极情感的情景与环境，使学生的认知、观念与情感充分统一的教学活
小麦、玉米都是我国主要的粮食作物,小麦套种玉米实现了对土地的高效利用,并且有效提升了粮食产量。本文就小麦套种玉米高产高效栽培技术的应用优势及应用要点进行介绍,以供
针对认知无线电系统中各种用户通信需求,采用多载波的码分多址(MC-CDMA)认知无线电(CR)系统,研究如何克服认知用户对主用户干扰和通信中断问题,给出了一种认知用户切换策略,为实现认知频谱资源的有效分配,提出了一种新的认知无线电功率控制算法。仿真结果表明,该算法既满足不同种类用户SIR要求,又达到了系统吞吐量的提高,实现了对不同用户发射功率有效控制,系统性能明显提高。