A formal framework for description of semantic web services

被引：0
|
作者：
Jiang Zhixiong [1 ]
Qian Leqiu [1 ]
Pen xin [1 ]
机构：
[1] Fudan Univ, Dept Comp Sci & Engn, Shanghai 200433, Peoples R China
来源：
2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/CIT.2007.24
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Web services may produce the effect change of the world. To describe web services faithfully, not only static information but also dynamic information such as state change should be represented. In this paper we propose service dynamic description logic (SDDL) to represent and model the dynamic aspect of web services. Three basic reasoning services are introduced in our formal framework to support the discovery and composition of web services.
引用
收藏
页码：1065 / 1070
页数：6
相关论文
共 50 条
  • [1] A Framework for the composition and formal verification of adaptable semantic Web services
    Ben Lamine, Rihab
    Ben Djemaa, Raoudha
    Amous, Ikram
    [J]. 16TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING AND MULTIMEDIA (MOMM 2018), 2014, : 25 - 33
  • [2] SDWS: Semantic Description of Web Services
    Bravo, Maricela
    Rodriguez, Jose
    Pascual, Jorge
    [J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2014, 11 (02) : 1 - 23
  • [3] The Formal Definitions of Semantic Web Services and Reasoning
    Duan Yuexing
    [J]. EMERGING RESEARCH IN WEB INFORMATION SYSTEMS AND MINING, 2011, 238 : 303 - 311
  • [4] A Formal Framework for Web Services Coordination
    Guidi, Claudio
    Lucchi, Roberto
    Mazzara, Manuel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 180 (02) : 55 - 70
  • [5] A Formal Description of Web Services Container Architecture
    Liu, Jian
    Ma, Dianfu
    Li, Zhuqing
    Sun, Don
    [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES, 2009, : 30 - 36
  • [6] A framework for deriving semantic web services
    David Bell
    Sergio de Cesare
    Nicola Iacovelli
    Mark Lycett
    Antonio Merico
    [J]. Information Systems Frontiers, 2007, 9 : 69 - 84
  • [7] A framework for deriving semantic web services
    Bell, David
    de Cesare, Sergio
    Iacovelli, Nicola
    Lycett, Mark
    Merico, Antonio
    [J]. INFORMATION SYSTEMS FRONTIERS, 2007, 9 (01) : 69 - 84
  • [8] Semantic Description and Discovery for Travel Web Services
    Peng, Hui
    Tan, Dan
    Liu, Yafei
    Wu, Xuying
    Zhang, Wenqing
    [J]. EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, 2012, 315 : 311 - +
  • [9] Web Services Orchestration in the WebContent Semantic Web Framework
    Cuevas-Vicenttin, Victor
    Vargas-Solar, Genoveva
    Collet, Christine
    [J]. NINTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, PROCEEDINGS, 2008, : 271 - +
  • [10] A Formal Model for Classifying Trusted Semantic Web Services
    Galizia, Stefania
    Gugliotta, Alessio
    Pedrinaci, Carlos
    [J]. SEMANTIC WEB, PROCEEDINGS, 2008, 5367 : 540 - 554
12345