基于时序描述逻辑的Web服务本体语言过程模型语义
기우시서묘술라집적Web복무본체어언과정모형어의
Semantics of OWL-S process model based on temporal description logic
  • 万方数据
    计算机应用 계산궤응용
    COMPUTER APPLICATION
    2013年 1期 266-269 ,共4页

    李明%刘士仪%年福忠

    리명%류사의%년복충

    Web服务本体语言%时序描述逻辑%服务组合%形式化%过程模型%建模 Web服務本體語言%時序描述邏輯%服務組閤%形式化%過程模型%建模
    Web복무본체어언%시서묘술라집%복무조합%형식화%과정모형%건모
    针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法.通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模.实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础.
    침대Web복무본체어언(OWL-S)과정모형존재동태교호화시서특정표체능력불족적문제,제출일충기우시서묘술라집적과정모형형식화방법.통과대OWL-S과정모형적원자과정화조합과정어의진행형식화적묘술,득도료OWL-S적과정모형적동태어의,최종실현료대OWL-S과정모형적형식화건모.실례결과험증료소제방법적가행성,위진일보적분석화험증제공료기출.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문