论文部分内容阅读
提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。
基于OWL时间本体的工作流建模与验证
【摘 要】
：
提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。
【机 构】
：
中山大学计算机科学系,湖南工程学院
【出 处】
：
通信学报
【发表日期】
：
2006年11期
【基金项目】
：
国家自然科学基金资助项目（60373081,60673135）,广东省自然科学基金资助项目（04105503,5003348）,教育部“新世纪优秀人才支持计划”基金资助项目
其他文献
基于一种用于混合属性数据的距离定义和改进的最近邻分类方法,提出了一种基于聚类的有指导的入侵检测方法。该方法首先利用一趟聚类算法对训练集进行聚类,再利用数据的标识和少数服从多数的原则将聚类标识为“正常”或“攻击”,以标识的聚类作为分类模型对数据进行分类。理论分析表明提出的检测方法关于数据集大小和属性个数具有近似线性时间复杂度。不同于一般的有指导的入侵检测方法,改进的最近邻方法从理论上保证了该方法对未
根据混沌理论,在研究大量小规模室内火灾实验结果的基础上,得到了一种新的、通过温度变化率表征的轰燃判据;利用大规模室内火灾的实验结果,对该判据的实用性进行了初步验证。
用户在接入网络和使用网络服务时,过多的账号对身份认证、授权和计费(AAA)带来不便,并且许多网络服务提供商因没有合适的AAA手段而发展受限。针对上述问题,提出智能AAA的方案,设计了智能AAA的结构,并采用了基于SOAP的安全断言(SAML)来解决智能AAA与其它服务提供商信息交互的问题,最后给出了完整的身份认证流程。分析表明,智能AAA可以对用户的认证、授权和计费做到统一智能管理,为用户和网络服
小麦、玉米都是我国主要的粮食作物,小麦套种玉米实现了对土地的高效利用,并且有效提升了粮食产量。本文就小麦套种玉米高产高效栽培技术的应用优势及应用要点进行介绍,以供
针对认知无线电系统中各种用户通信需求,采用多载波的码分多址(MC-CDMA)认知无线电(CR)系统,研究如何克服认知用户对主用户干扰和通信中断问题,给出了一种认知用户切换策略,为实现认知频谱资源的有效分配,提出了一种新的认知无线电功率控制算法。仿真结果表明,该算法既满足不同种类用户SIR要求,又达到了系统吞吐量的提高,实现了对不同用户发射功率有效控制,系统性能明显提高。