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 条
  • [21] Description logics approach to semantic matching of Web services
    Colucci, S
    Di Noia, T
    Di Sciascio, E
    Donini, FM
    Mongiello, M
    [J]. ITI 2003: PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2003, : 545 - 550
  • [22] Semantic description of multimedia content adaptation Web services
    Lemma, Surafel
    Bekele, Dawit
    Berhe, Girma
    [J]. ADVANCES IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2006, : 25 - +
  • [23] Model transformation and formal verification for Semantic Web Services composition
    Ni, Yue
    Fan, Yushun
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
  • [24] Formal techniques for consistency checking of orchestrations of semantic Web services
    Hammal, Youcef
    Mansour, Khadidja Salah
    Abdelli, Abdelkrim
    Mokdad, Lynda
    [J]. JOURNAL OF COMPUTATIONAL SCIENCE, 2020, 44
  • [25] Towards a formal framework for developing secure web services
    Haidar, Ali Nasrat
    Abdallah, Ali E.
    [J]. SELECTED PAPERS FROM THE SECOND INTERNATIOANL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS, 2007, : 61 - +
  • [26] Exception handling policies for composite web services and their formal description
    Lu, Qin
    Zhang, Weishi
    Su, Bo
    Zhang, Xiuguo
    [J]. 2007 IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING WORKSHOPS, PROCEEDINGS, 2007, : 793 - 798
  • [27] Semantic Web Services Ingestion in a Process Mining Framework
    Redavid, Domenico
    Ferilli, Stefano
    [J]. ELECTRONICS, 2023, 12 (23)
  • [28] A distributed CBR framework through semantic web services
    Recio-García, JA
    Díaz-Agudo, B
    González-Calero, P
    [J]. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXII, 2006, : 88 - +
  • [29] A conceptual framework for semantic Web Services development and deployment
    Pahl, C
    [J]. WEB SERVICES, PROCEEDINGS, 2004, 3250 : 270 - 284
  • [30] DynaComp: a Framework for dynamic composition of semantic web services
    Elmaghraoui, Hajar
    Benhlima, Laila
    Chiadmi, Dalila
    [J]. 2014 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2014, : 618 - 622
12345