计算机工程2012，Vol.38Issue(12)：45-47,51,4.DOI:10.3969/j.issn.1000-3428.2012.12.013
OWL-S过程模型的一阶动态逻辑语义研究
Research on First-order Dynamic Logic Semantic of OWL-S Process Model
摘要
Abstract
The semantics of Ontology Web Language for Services(OWL-S) process model is not complete, which makes it difficult to carry out analysis and verification by machine. To solve this problem, this paper proposes a formalization method of OWL-S process model. It describes the atomic processes with their inputs, outputs, preconditions and effects and composite processes with their control construct, then the first-order dynamic logic semantics for process model is obtained. Example result validates the effectiveness of this method.关键词
语义Web/Web服务/Web服务本体语言/过程模型/一阶动态逻辑/形式化Key words
semantic Web/ Web services/ Ontology Web Language for Services(OWL-S)/ process model/ first-order dynamic logic/ formalization分类
信息技术与安全科学引用本文复制引用
李明,刘冬..OWL-S过程模型的一阶动态逻辑语义研究[J].计算机工程,2012,38(12):45-47,51,4.基金项目
甘肃省自然科学基金资助项目(1014RJZA028) （1014RJZA028）
