Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems

被引：0
|
作者：
Oster, Zachary J. [1 ]
机构：
[1] Iowa State Univ, Formal Methods & Verificat Grp, Ames, IA 50011 USA
来源：
PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013) | 2013年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
To produce an optimal component-based software system for a given application, it is necessary to consider both the required functionality of the system and its stakeholders' preferences over various non-functional properties. We propose a new modular end-to-end framework for component-based system development that combines formal specification and verification of functional requirements with a novel method for representing and reasoning with stakeholders' qualitative preferences over properties of the system. This framework will facilitate the use of formal verification to ensure system correctness while making it easier to identify truly optimal component-based system designs.
引用
收藏
页码：1456 / 1458
页数：3
相关论文
共 50 条
  • [1] Hierarchical model to develop component-based systems
    Amirat, Abdelkrim
    Oussalah, Mourad
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 337 - 345
  • [2] Optimal Component Selection for Component-Based Systems
    Khan, Muhammad Ali
    Mahmood, Sajjad
    INNOVATIONS IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 467 - 472
  • [3] Compositional reasoning of performance in component-based distributed systems
    Sun, Changlin
    Raje, Rajeev R.
    Tilak, Omkar
    Bryant, Barrett R.
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2008, 11 (04): : 331 - 340
  • [4] Compositional reasoning of performance in component-based distributed systems
    Changlin Sun
    Rajeev R. Raje
    Omkar Tilak
    Barrett R. Bryant
    Cluster Computing, 2008, 11 : 331 - 340
  • [5] Architecture-based reasoning about performability in component-based systems
    Schmidt, Heinz W.
    SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 130 - 137
  • [6] REASONING, MODELING, AND COMPONENT-BASED TECHNOLOGY
    WEGNER, P
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 372 - 386
  • [7] An approach to develop component-based control software for flexible manufacturing systems
    Morton, YT
    Troy, DA
    Pizza, GA
    PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 4708 - 4713
  • [8] ARCHITECTURES IN PARAMETRIC COMPONENT-BASED SYSTEMS: QUALITATIVE AND QUANTITATIVE MODELLING
    Pittou, Maria
    Rahonis, George
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04) : 26:1 - 26:53
  • [9] Representing and Reasoning with Qualitative Preferences for Compositional Systems
    Santhanam, Ganesh Ram
    Basu, Samik
    Honavar, Vasant
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 211 - 274
  • [10] Optimal Refinement for Component-based Architectures
    Bibartiu, Otto
    Duerr, Frank
    Rothermel, Kurt
    2021 IEEE 25TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2021), 2021, : 142 - 151
12345