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 条
  • [31] 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
  • [32] A Framework for Parameterized Semantic Matchmaking and Ranking of Web Services
    Gmati, Fatma Ezzahra
    Ayadi, Nadia Yacoubi
    Bahri, Afef
    Chakhar, Salem
    Ishizaka, Alessio
    [J]. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (WEBIST), 2016, : 54 - 65
  • [33] A Framework of Web Services Discovery and Composition Based on Semantic
    Huang, Zhiling
    Ai, Weihua
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER, NETWORKS AND COMMUNICATION ENGINEERING (ICCNCE 2013), 2013, 30 : 52 - 55
  • [34] A Novel Semantic Framework for Analyzing Dynamic Web Services
    Latreche, Fateh
    Belala, Faiza
    [J]. 2011 20TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2011, : 67 - 72
  • [35] A formal description framework and a matchmaking technique for web service composition
    Karunamurthy, Rajesh
    Khendek, Ferhat
    Glitho, Roch H.
    [J]. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2010, 6 (01) : 24 - +
  • [36] Multi-Intentional Description of Learning Semantic Web Services
    Ben Mahmoud, Chaker
    Azaiez, Ikbel
    Bettahar, Fathia
    [J]. INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2020, 16 (02) : 108 - 125
  • [37] A Semantic Model for Matchmaking of Web Services Based on Description Logics
    Shen, Guohua
    Huang, Zhiqiu
    Zhang, Yuping
    Zhu, Xiaodong
    Yang, Jun
    [J]. FUNDAMENTA INFORMATICAE, 2009, 96 (1-2) : 211 - 226
  • [38] Dynamic Description Logics Based Semantic Web Services Composition
    Peng, Hui
    Chen, Limin
    Zeng, Weizhong
    Tang, Junjian
    [J]. ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT II, 2011, 7003 : 594 - +
  • [39] Semantic description of web-based services in temporal logic
    Garcia Garcia, Adrian
    Andrade Gomez, Hector A.
    Toledo Martinez, Sidney R.
    [J]. CISCI 2007: 6TA CONFERENCIA IBEROAMERICANA EN SISTEMAS, CIBERNETICA E INFORMATICA, MEMORIAS, VOL I, 2007, : 375 - 380
  • [40] Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
    Hammal, Youcef
    Mansour, Khadidja Salah
    Abdelli, Abdelkrim
    Mokdad, Lynda
    [J]. 2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 1004 - 1009
12345