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 条
  • [1] Modeling Service Life Cycles within Product Life Cycles
    Zinke, Christian
    Meyer, Lars-Peter
    Meyer, Kyrill
    COLLABORATIVE SYSTEMS FOR REINDUSTRIALIZATION, 2013, 408 : 335 - 342
  • [2] Service engineering to intensify service contents in product life cycles
    Tomiyama, T
    SECOND INTERNATIONAL SYMPOSIUM ON ENVIRONMENTALLY CONSCIOUS DESIGN AND INVERSE MANUFACTURING, PROCEEDINGS, 2001, : 613 - 618
  • [3] Embedding Lifelong Learning in Engineering Courses
    Al-Masoud, Nidal
    Naoumov, Viatcheslav
    Kirstukas, Steven Joseph
    2013 ASEE ANNUAL CONFERENCE, 2013,
  • [4] Sentence Embedding Alignment for Lifelong Relation Extraction
    Wang, Hong
    Xiong, Wenhan
    Yu, Mo
    Guo, Xiaoxiao
    Chang, Shiyu
    Wang, William Yang
    2019 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES (NAACL HLT 2019), VOL. 1, 2019, : 796 - 806
  • [5] SERVICE LIFE OF LONG MANDRELS FOR CONTINUOUS MILL
    DOLINSKAYA, LA
    CHERNENK.EN
    STAL IN ENGLISH-USSR, 1968, (08): : 678 - +
  • [6] THE LIFE CYCLES OF SOME PRODUCTS USED IN THE CONTINUOUS CASTING OF STEEL
    Nicolae, Avram
    Berbecaru, Andrei
    Nicolae, Maria
    METALURGIA INTERNATIONAL, 2012, 17 (05): : 97 - 100
  • [7] The life cycles of some products used in the continuous casting of steel
    Nicolae, A. (nicolae_maria@yahoo.com), 2012, Editura Stiintifica F. M. R. (17):
  • [8] EMBEDDING OF SIMPLE CYCLES IN HYPERCUBES
    Chen, Y-Chuang
    Jhang, Tang-Fong
    THIRD INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY (ICCET 2011), 2011, : 103 - +
  • [9] Embedding cycles in IEH graphs
    Chang, HY
    Chen, RJ
    INFORMATION PROCESSING LETTERS, 1997, 64 (01) : 23 - 27
  • [10] ON THE EMBEDDING OF CYCLES IN PANCAKE GRAPHS
    KANEVSKY, A
    FENG, C
    PARALLEL COMPUTING, 1995, 21 (06) : 923 - 936
12345