柴新
- 作品数：2 被引量：3H指数：1
- 供职机构：湖北第二师范学院计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于Mealy!机的语义程序验证方法
- 2012年
- 语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。
- 胡罗凯柴新许庆炜应时
- 关键词：MEALY机本体语义验证
- 一种基于多本体体系的语义Web服务访问控制方法被引量：3
- 2012年
- 提出一种基于多本体体系的语义Web服务访问控制方法。首先,基于分布式描述逻辑DDL,刻画了一种基于桥接本体的跨域多本体体系,它为语义Web服务的访问控制提供了知识库;其次,在基于语义的访问控制方法基础上,给出了适用于语义Web服务的访问控制模型;最后,设计了基于多本体体系的语义Web服务访问控制方法及其体系结构,并给出了该方法的案例应用。在语义Web服务的访问控制方法中,基于桥接本体的跨域多本体体系既为各安全域的语义模型提供了语义关联,又保证了各安全域中语义表示的隐私性。
- 胡罗凯陈旭柴新应时
- 关键词：语义WEB服务访问控制
