Deriving Specifications for Composite Web Services

被引：1
|
作者：
Baryannis, George [1 ]
Carro, Manuel [2 ,3 ]
Plexousakis, Dimitris [1 ,4 ,5 ]
机构：
[1] Univ Crete, Dept Comp Sci, Iraklion, Greece
[2] Univ Politecn Madrid, Sch Comp Sci, Madrid, Spain
[3] IMDEA Software Inst, Madrid, Spain
[4] Univ Crete, Dept Comp Sci, Iraklion, Greece
[5] FORTH ICS, Iraklion, Greece
来源：
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2012年
关键词：
specification of service compositions; inference of specifications; service composition;
D O I：
10.1109/COMPSAC.2012.64
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable - at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing
引用
收藏
页码：432 / 437
页数：6
相关论文
共 50 条
  • [1] Deriving transactional properties of composite web services
    Li, Li
    Liu, Chengfei
    Wang, Junhu
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 631 - +
  • [2] Web services interoperability specifications
    Nezhad, HRM
    Benatallah, B
    Casati, F
    Toumani, F
    [J]. COMPUTER, 2006, 39 (05) : 24 - +
  • [3] 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
  • [4] 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
  • [5] Survey on the Web Services Security Specifications
    Zhang, Xiaofen
    Hou, Yi
    Ma, Jialin
    [J]. ENGINEERING SOLUTIONS FOR MANUFACTURING PROCESSES, PTS 1-3, 2013, 655-657 : 1809 - +
  • [6] Overview of Secured Web Services Specifications
    Mukherjee, Sudeep
    Beg, Rizwan
    Srivastava, Amit
    Khan, Riyazuddin
    [J]. 2013 IEEE CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT 2013), 2013, : 4 - 9
  • [7] Specifications for Web Services testing: A Systematic Review
    Nabil, El Ioini
    [J]. 2015 IEEE World Congress on Services, 2015, : 152 - 159
  • [8] An analysis of reliable delivery specifications for web services
    Pallickara, S
    Fox, G
    Pallickara, SL
    [J]. ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 1, 2005, : 360 - 365
  • [9] Constructing Security Protocol Specifications for Web Services
    Bela, Genge
    Piroska, Haller
    Ratoi, Ovidiu
    [J]. INTELLIGENT DISTRIBUTED COMPUTING, SYSTEMS AND APPLICATIONS, 2008, 162 : 245 - 250
  • [10] Lesson 174: Web services security specifications
    Conry-Murray, Andrew
    [J]. Network Magazine, 2003, 18 (01):
12345