Formal specification of non-functional properties of component-based software systems

被引：14
|
作者：
Zschaler, Steffen [1 ]
机构：
[1] Univ Lancaster, Dept Comp, Lancaster, England
来源：
SOFTWARE AND SYSTEMS MODELING | 2010年 / 9卷 / 02期
关键词：
Non-functional properties; Formal specification; Component-based software engineering; QML/CS; CLASSIFICATION;
D O I：
10.1007/s10270-009-0115-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component markets, where more or less generic pieces of software are traded, to be combined into applications by third-party application developers. For such a component market to work successfully, all relevant properties of components must be precisely and formally described. This is especially true for non-functional properties, such as performance, memory foot print, or security. While the specification of functional properties is well understood, non-functional properties are only beginning to become a research focus. This paper discusses semantic concepts for the specification of non-functional properties, taking into account the specific needs of a component market. Based on these semantic concepts, we present a new specification language QML/CS that can be used to model non-functional product properties of components and component-based software systems.
引用
收藏
页码：161 / 201
页数：41
相关论文
共 50 条
  • [31] Ranking software components for reuse based on non-functional properties
    Marcus Kessel
    Colin Atkinson
    Information Systems Frontiers, 2016, 18 : 825 - 853
  • [32] Integrating non-functional properties to architecture specification and analysis
    Zhang, Shifeng
    Third International Conference on Information Technology: New Generations, Proceedings, 2006, : 112 - 117
  • [33] Component-based specification, design and verification of adaptive systems
    Graics, Bence
    Molnar, Vince
    Majzik, Istvan
    SYSTEMS ENGINEERING, 2023, 26 (05) : 567 - 589
  • [34] A logical basis for the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 37 - 51
  • [35] A component-based approach to verification and validation of formal software models
    Desovski, Dejan
    Cukic, Bojan
    ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 89 - +
  • [36] Rigorous design of robot software: A formal component-based approach
    Abdellatif, Tesnim
    Bensalem, Saddek
    Combaz, Jacques
    de Silva, Lavindra
    Ingrand, Felix
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2012, 60 (12) : 1563 - 1578
  • [37] A formal approach to component-based software engineering: Education and evaluation
    Sitaraman, M
    Long, TJ
    Weide, BW
    Harner, EJ
    Wang, LQ
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 601 - 609
  • [38] Formal Specification and Analysis of Timing Properties in Software Systems
    AlTurki, Musab
    Dhurjati, Dinakar
    Yu, Dachuan
    Chander, Ajay
    Inamura, Hiroshi
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 262 - +
  • [39] A process framework for characterising security properties of component-based software systems
    Khan, KM
    Han, J
    2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 358 - 367
  • [40] Component-based software engineering for embedded systems
    Crnkovic, I
    ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 712 - 713
12345