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 条
  • [21] Lifelong Embedding Learning and Transfer for Growing Knowledge Graphs
    Cui, Yuanning
    Wang, Yuxin
    Sun, Zequn
    Liu, Wenqiang
    Jiang, Yiqiao
    Han, Kexin
    Hu, Wei
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4217 - 4224
  • [22] Embedding ultrasonic transducers in concrete: A lifelong monitoring technology
    Deraemaeker, Arnaud
    Dumoulin, Cedric
    CONSTRUCTION AND BUILDING MATERIALS, 2019, 194 : 42 - 50
  • [23] Extending the service life of bridges using continuous decks
    El-Safty, Adel
    Okeil, Ayman M.
    PCI JOURNAL, 2008, 53 (06): : 96 - 111
  • [24] Increasing the Service Life of Continuous Rolling Mill Mandrels
    Struin, D. O.
    Toporov, V. A.
    Panasenko, O. A.
    P'yankov, A. G.
    P'yankov, K. P.
    Shkuratov, E. A.
    METALLURGIST, 2019, 63 (7-8) : 684 - 689
  • [25] Increasing the Service Life of Continuous Rolling Mill Mandrels
    D. O. Struin
    V. A. Toporov
    O. A. Panasenko
    A. G. P’yankov
    K. P. P’yankov
    E. A. Shkuratov
    Metallurgist, 2019, 63 : 684 - 689
  • [26] ENDOGENOUS CYCLES WITH UNCERTAIN LIFE-SPANS IN CONTINUOUS-TIME
    WHITESELL, W
    ECONOMICS LETTERS, 1986, 22 (2-3) : 153 - 158
  • [27] Triangulation by continuous embedding
    Meila, M
    Jordan, MI
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 9: PROCEEDINGS OF THE 1996 CONFERENCE, 1997, 9 : 557 - 563
  • [28] Service-oriented Life Cycles for Developing Transdisciplinary Engineering Systems
    Sobolewski, Michael
    Kolonay, Raymond
    TRANSDISCIPLINARY LIFECYCLE ANALYSIS OF SYSTEMS, 2015, 2 : 541 - 551
  • [29] A Scenario-Based Governance Method for Coordination of Service Life Cycles
    Overbeek, Sietse
    Janssen, Marijn
    Tan, Yao-Hua
    ENGINEERING METHODS IN THE SERVICE-ORIENTED CONTEXT, 2011, 351 : 225 - 230
  • [30] On Virtual Network Embedding: Paths and Cycles
    Wu, Haitao
    Zhou, Fen
    Chen, Yaojun
    Zhang, Ran
    2019 IEEE 27TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS 2019), 2019, : 179 - 188
12345