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
相关论文
共 50 条
  • [41] Lifelong Learning in Later Life
    Mosweunyane, Dama
    INTERNATIONAL JOURNAL OF LIFELONG EDUCATION, 2012, 31 (05) : 657 - 660
  • [42] AGGREGATION AND EMBEDDING FOR GROUP MEMBERSHIP VERIFICATION
    Gheisari, Marzieh
    Furon, Teddy
    Amsaleg, Laurent
    Razeghi, Behrooz
    Voloshynovskiy, Slava
    2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2019, : 2592 - 2596
  • [43] Locality Regularization Embedding for face verification
    Pang, Ying Han
    Teoh, Andrew Beng Jin
    Hiew, Fu San
    PATTERN RECOGNITION, 2015, 48 (01) : 86 - 102
  • [44] Embedding and verification of PSL using ASM
    Gawanmeh, Amjad
    Tahar, Sofiene
    Habibi, Ali
    6TH INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2006, : 125 - +
  • [45] Life cycle engineering: Lifelong
    Bolleter, U.
    Kalberer, Albert
    Herde, Hugo
    Laux, Cord Henrich
    Sulzer Technical Review, 1994, 76 (03): : 11 - 13
  • [46] Blockchain for Education: Verification and Management of Lifelong Learning Data
    Ba-Lam Do
    Van-Thanh Nguyen
    Hoang-Nam Dinh
    Thanh-Chung Dao
    BinhMinh Nguyen
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2022, 43 (02): : 591 - 604
  • [47] Histogram Based Rule Verification in Lifelong Learning Models
    Khan, M. Taimoor
    Yar, Sonam
    Khalid, Shehzad
    PROCEEDINGS OF THE 2016 19TH INTERNATIONAL MULTI-TOPIC CONFERENCE (INMIC), 2016, : 31 - 35
  • [48] Lifelong Domain Word Embedding via Meta-Learning
    Xu, Hu
    Liu, Bing
    Shu, Lei
    Yu, Philip S.
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 4510 - 4516
  • [49] Increase of the service life of molds of continuous-casting machines
    Titlyanov, AE
    Radyuk, AG
    Vyshegorodtsev, VI
    Glebovskii, AE
    Bokarev, SP
    STEEL IN TRANSLATION, 1996, 26 (07) : 14 - 15
  • [50] PROLONGING SERVICE LIFE OF MOLDS IN CONTINUOUS-CASTING MACHINES
    ERMOLYUK, TD
    LYAKH, AP
    TSELIKOV, AA
    STEEL IN THE USSR, 1985, 15 (06): : 268 - 270
12345