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 条
  • [41] Scalable security description framework for mobile web services
    Morioka, M
    Yonemoto, Y
    Suzuki, T
    Etoh, M
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5: NEW FRONTIERS IN TELECOMMUNICATIONS, 2003, : 804 - 808
  • [42] A Semantic Web query Optimization Using Resource Description Framework
    Chooralil, Varghese S.
    Gopinathan, E.
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON ECO-FRIENDLY COMPUTING AND COMMUNICATION SYSTEMS, 2015, 70 : 723 - 732
  • [43] A theorem proving framework for the formal verification of Web Services Composition
    Papapanagiotou, Petros
    Fleuriot, Jacques D.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 1 - 16
  • [44] A Novel Framework for Semantic Discovery of Web Services using Integrated Semantic Model
    Sharma, Shailja
    Lather, Jagdeep Singh
    Dave, Mayank
    [J]. INFOCOMMUNICATIONS JOURNAL, 2015, 7 (02): : 10 - 18
  • [45] KAoS: A policy and domain services framework for grid computing and semantic web services
    Uszok, A
    Bradshaw, JM
    Jeffers, R
    [J]. TRUST MANAGEMENT, PROCEEDING, 2004, 2995 : 16 - 26
  • [46] On developing a distributed CBR framework through Semantic Web Services
    Díaz-Agudo, Belén
    González-Calero, Pedro A.
    Gomez-Martín, Pedro P.
    Gomez-Martín, Marco A.
    [J]. CEUR Workshop Proc., 1613,
  • [47] DAGIS: A geospatial semantic web services discovery and selection framework
    Alam, Ashraful
    Subbiah, Ganesh
    Khan, Latifur
    Thuraisingham, Bhavani
    [J]. GEOSPATIAL SEMANTICS, PROCEEDINGS, 2007, 4853 : 268 - 277
  • [48] A New Framework for Intelligent Semantic Web Services Based on GAIVAs
    Iglesias, Andres
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2008, 3 (04) : 30 - 58
  • [49] The Tomaco Hybrid Matching Framework for SAWSDL Semantic Web Services
    Stavropoulos, Thanos G.
    Andreadis, Stelios
    Bassiliades, Nick
    Vrakas, Dimitris
    Vlahavas, Ioannis
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2016, 9 (06) : 954 - 967
  • [50] ODE SWS:: A framework for designing and composing Semantic Web Services
    Gómez-Pérez, A
    González-Cabero, R
    Lama, M
    [J]. IEEE INTELLIGENT SYSTEMS, 2004, 19 (04) : 24 - 31
12345