Embedding Continuous Lifelong Verification in Service Life Cycles

被引：1
作者：
Bianculli, Domenico [1 ]
Ghezzi, Carlo [2 ]
Pautasso, Cesare [1 ]
机构：
[1] Univ Lugano, Fac Informat, Lugano, Switzerland
[2] Politecn Milan, DEEP SE Grp, DEI, Milan, Italy
来源：
PESOS: 2009 ICSE WORKSHOP ON PRINCIPLES OF ENGINEERING SERVICE ORIENTED SYSTEMS | 2009年
基金：
欧盟第七框架计划; 欧洲研究理事会;
关键词：
D O I：
10.1109/PESOS.2009.5068828
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. To address the challenges of applying verification to open service-oriented systems, in this position paper we propose to apply verification across the entire life cycle of a service and introduce a verification-oriented service life cycle.
引用
收藏
页码：99 / +
页数：2
相关论文
共 15 条
  • [1] [Anonymous], 2005, Service-Oriented Architecture: Concepts, Technology, and Design
  • [2] Ardagna D, 2008, LECT NOTES COMPUT SC, V5281, P1, DOI 10.1007/978-3-540-87879-7_1
  • [3] BARESI L, 2007, TEST ANAL WEB SERVIC
  • [4] Toward open-world software: Issues and challenges
    Baresi, Luciano
    Di Nitto, Ellsabetta
    Ghezzi, Carlo
    [J]. COMPUTER, 2006, 39 (10) : 36 - +
  • [5] Beck K., 2003, Test Driven Development: By Example
  • [6] Bertolino A, 2006, LECT NOTES COMPUT SC, V3938, P1
  • [7] BIANCULLI D, 2008, P 2 INT WORKSH SYST, P7
  • [8] Decomposing composition: Service-oriented software engineers
    Blake, M. Brian
    [J]. IEEE SOFTWARE, 2007, 24 (06) : 68 - 77
  • [9] A journey to highly dynamic, self-adaptive service-based applications
    Di Nitto, Elisabetta
    Ghezzi, Carlo
    Metzger, Andreas
    Papazoglou, Mike
    Pohl, Klaus
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2008, 15 (3-4) : 313 - 341
  • [10] EPIFANI I, 2009, P ICSE 09 I IN PRESS
12