Types of quality of service contracts for component-based systems

被引：0
|
作者：
Zschaler, S [1 ]
Röttger, S [1 ]
机构：
[1] Dresden Univ Technol, Dept Comp Sci, Inst Software & Multimedia Technol, D-8027 Dresden, Germany
来源：
Proceedings of the IASTED International Conference on Software Engineering | 2004年
关键词：
software engineering; quality of service; component-based software; design by contract;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising result of our work is that direct contracts between components are not necessary and even insufficient to handle non-functional properties of component-based systems.
引用
收藏
页码：385 / 388
页数：4
相关论文
共 50 条
  • [1] Enforcing different contracts in hierarchical component-based systems
    Collet, Philippe
    Ozanne, Alain
    Rivierre, Nicolas
    [J]. SOFTWARE COMPOSITION, 2006, 4089 : 50 - 65
  • [2] Composition and decomposition of quality of service parameters in distributed component-based systems
    Sun, CL
    Raje, RR
    Olson, AM
    Auguston, M
    Bryant, BR
    Burt, C
    Huang, ZS
    [J]. FIFTH INTERNATIONAL CONFERENCE ON ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS, 2002, : 273 - 276
  • [3] Modal Contracts for Component-based Design
    Goessler, Gregor
    Raclet, Jean-Baptiste
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 295 - 303
  • [4] Probabilistic Contracts for Component-Based Design
    Xu, Dana N.
    Goessler, Gregor
    Girault, Alain
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340
  • [5] Enforceable component-based realtime contracts
    Haertig, Hermann
    Zschaler, Steffen
    Pohlack, Martin
    Aigner, Ronald
    Goebel, Steffen
    Pohl, Christoph
    Roettger, Simone
    [J]. REAL-TIME SYSTEMS, 2007, 35 (01) : 1 - 31
  • [6] Probabilistic contracts for component-based design
    Gregor Gössler
    Dana N. Xu
    Alain Girault
    [J]. Formal Methods in System Design, 2012, 41 : 211 - 231
  • [7] Probabilistic contracts for component-based design
    Goessler, Gregor
    Xu, Dana N.
    Girault, Alain
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (02) : 211 - 231
  • [8] Contracts-refinement proof system for component-based embedded systems
    Cimatti, Alessandro
    Tonetta, Stefano
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 333 - 348
  • [9] Quality Assurance for Component-based Systems in Embedded Environments
    Li, Wenbin
    Le Gall, Franck
    Vlacheas, Panagiotis
    Cheptsov, Alexey
    [J]. 2018 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, EMBEDDED SYSTEMS AND COMMUNICATIONS (IINTEC), 2018, : 171 - 176
  • [10] Quality aspects for component-based systems: A metrics based approach
    Kumar, Vijai
    Sharma, Arun
    Kumar, Rajesh
    Grover, P. S.
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (12): : 1531 - 1548
12345