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] Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
    Hill, James H.
    Gokhale, Aniruddha
    2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3766 - 3773
  • [32] Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption
    Siegmund, Norbert
    Rosenmueller, Marko
    Kaestner, Christian
    Giarrusso, Paolo G.
    Apel, Sven
    Kolesnikov, Sergiy S.
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (03) : 491 - 507
  • [33] An Evolutionary Multiobjective Optimization Approach to Component-Based Software Architecture Design
    Li, R.
    Etemaadi, R.
    Emmerich, M. T. M.
    Chaudron, M. R. V.
    2011 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2011, : 432 - 439
  • [34] An Aspect-Based Unsupervised Approach for Classifying Non-Functional Requirements on Software Reviews
    Wang, Yinglin
    Zhang, Jianzhang
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 766 - 778
  • [35] A semantic paradigm for component-based specification integrating a notion of security risk
    Braendeland, Gyrd
    Stolen, Ketil
    FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 31 - +
  • [36] Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 600 - 608
  • [37] Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems
    Li, Mo
    Liu, Shaoying
    IEEE TRANSACTIONS ON RELIABILITY, 2016, 65 (01) : 88 - 106
  • [38] Automatic, Model-Based Software Performance Improvement for Component-based Software Designs
    Martens, Anne
    Koziolek, Heiko
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) : 77 - 93
  • [39] A Testability Analysis Framework for Non-Functional Properties
    Felderer, Michael
    Marculescu, Bogdan
    de Oliveira Neto, Francisco Gomes
    Feldt, Robert
    Torkar, Richard
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 54 - 58
  • [40] Identifying Functional and Non-functional Software Requirements From User App Reviews
    Dave, Dev
    Anu, Vaibhav
    2022 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS), 2022, : 845 - 850
12345