Skip to main content
  • Conference proceedings
  • © 2008

Quality of Software Architectures Models and Architectures

4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5281)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): QoSA: International Conference on the Quality of Software Architectures

Conference proceedings info: QoSA 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (14 papers)

  1. Front Matter

  2. Keynote

    1. Rethinking the Use of Models in Software Architecture

      • Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola
      Pages 1-27
  3. Architectural Design Decisions and Influence on Quality

    1. Design Reasoning Improves Software Design Quality

      • Antony Tang, Minh H. Tran, Jun Han, Hans van Vliet
      Pages 28-42
    2. A Tool to Visualize Architectural Design Decisions

      • Larix Lee, Philippe Kruchten
      Pages 43-54
  4. Architecture and Components / Reasoning about Components

    1. Carmen: Software Component Model Checker

      • AleÅ¡ PlÅ¡ek, Jiří Adámek
      Pages 71-85
    2. MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis

      • Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale
      Pages 86-102
    3. Designing the Enterprise Architecture Function

      • Bas van der Raadt, Hans van Vliet
      Pages 103-118
    4. Quality Prediction of Service Compositions through Probabilistic Model Checking

      • Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
      Pages 119-134
  5. Models and Prediction

    1. Model-Driven Performance Analysis

      • Gabriel A. Moreno, Paulo Merson
      Pages 135-151
    2. Architectural Specification and Static Analyses of Contractual Application Properties

      • Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien
      Pages 152-170
    3. Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant

      • Andres Diaz-Pace, Hyunwoo Kim, Len Bass, Phil Bianco, Felix Bachmann
      Pages 171-188
  6. Architecture Evaluation Processes

    1. Middleware Architecture Evaluation for Dependable Self-managing Systems

      • Yan Liu, Muhammad Ali Babar, Ian Gorton
      Pages 189-204
    2. Comprehensive Architecture Evaluation and Management in Large Software-Systems

      • Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz
      Pages 205-219
    3. Sharing the Architectural Knowledge of Quantitative Analysis

      • Anton Jansen, Tjaard de Vries, Paris Avgeriou, Martijn van Veelen
      Pages 220-234
  7. Back Matter

Other Volumes

  1. Quality of Software Architectures. Models and Architectures

About this book

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system’s complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense,modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system’s extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system’s architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.

Keywords

  • design
  • distributed systems
  • dynamic analysis
  • enterprise architecture
  • formal models
  • model checker
  • model driven software
  • perform
  • performance analysis
  • software architecture
  • software design quality
  • software engineering
  • structured analysis
  • uml
  • visualization

Editors and Affiliations

  • FZI Forschungszentrum Informatik,, Karlsruhe, Germany

    Steffen Becker

  • Department of Software Engineering, Charles University, Prague 1, Czech Republic

    Frantisek Plasil

  • Chair for Software Design and Quality, University of Karlsruhe (TH), Karlsruhe, Germany

    Ralf Reussner

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions