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 条
  • [1] A framework for dynamic semantic Web services management
    Howard, R
    Kerschberg, LY
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2004, 13 (04) : 441 - 485
  • [2] 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
  • [3] A semantic specification framework for analyzing functional composability of autonomous web services
    Lin, Baoping
    Li, Qing
    Gu, Naijie
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 695 - +
  • [4] 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
  • [5] 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
  • [6] 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
  • [7] 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 - +
  • [8] A knowledge-based framework for dynamic semantic Web services brokering and management
    Howard, R
    Kerschberg, L
    [J]. 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2004, : 174 - 178
  • [9] Analyzing Distribution of Implicit Semantic Information in Web Services
    Hu, Xiaocao
    Feng, Zhiyong
    Chen, Shizhan
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 415 - 420
  • [10] Semantic Web Services Framework for Manufacturing Industries
    Lobov, Andrei
    Lopez, Fernando Ubis
    Herrera, Vladimir Villasenor
    Puttonen, Juha
    Lastra, Jose L. Martinez
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-4, 2009, : 2104 - 2108
12345