A Novel Semantic Framework for Analyzing Dynamic Web Services

被引：0
|
作者：
Latreche, Fateh [1 ]
Belala, Faiza [1 ]
机构：
[1] Mentouri Univ, Dept Comp Sci, Constantine, Algeria
来源：
2011 20TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE) | 2011年
关键词：
Dynamic web services; formal methods; real time rewriting logic;
D O I：
10.1109/WETICE.2011.52
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Web Services are a kind of distributed systems built by using a set of loosely coupled components; these elementary components may be situated in dynamic environments characterized by intense use of wireless medium. In such environments requested services may failed at any time during the composition process. However, current research works on Web services focus merely on static composition and disregard dynamic one. To cope with this problem we exploit in this work real time rewriting logic to design and formal check dynamic Web services. Thanks to this formalization we do not only obtain a high level specification of dynamic Web services behavior, but we are able to formally reason on it thanks to Maude real time.
引用
收藏
页码：67 / 72
页数：6
相关论文
共 50 条
  • [21] A framework for analyzing and measuring business performance with web services
    McGregor, C
    Schiefer, J
    [J]. IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE, 2003, : 405 - 412
  • [22] 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 - +
  • [23] Semantic Web Services Ingestion in a Process Mining Framework
    Redavid, Domenico
    Ferilli, Stefano
    [J]. ELECTRONICS, 2023, 12 (23)
  • [24] A conceptual framework for semantic Web Services development and deployment
    Pahl, C
    [J]. WEB SERVICES, PROCEEDINGS, 2004, 3250 : 270 - 284
  • [25] 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
  • [26] 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
  • [27] Dynamic agent composition from semantic web services
    Czajkowski, M
    Buczak, AL
    Hofmann, MO
    [J]. SEMANTIC WEB AND DATABASES, 2005, 3372 : 27 - 40
  • [28] Dynamic discovery, invocation and composition of Semantic Web services
    Sycara, K
    [J]. METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3025 : 3 - 12
  • [29] Research on reasoning of the dynamic semantic web services composition
    Li, Yingjie
    Yu, Xueli
    Geng, Lili
    Wang, Li
    [J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, (WI 2006 MAIN CONFERENCE PROCEEDINGS), 2006, : 435 - +
  • [30] An INFRAWEBS Approach to Dynamic Composition of Semantic Web Services
    Agre, Gennady
    Marinova, Zlatina
    [J]. CYBERNETICS AND INFORMATION TECHNOLOGIES, 2007, 7 (01) : 45 - 61
12345