Nowadays requirements related to quality attributes such as performance, reliability, safety and ... more Nowadays requirements related to quality attributes such as performance, reliability, safety and security are often considered the most important requirements for software development projects. To reason about these quality attributes different stochastic models can be used. These models enable probabilistic verification as well as quantitative prediction at design time. On the other hand, these models could be also used to perform runtime adaptation in order to achieve certain quality goals. This workshop aims to provide a forum for researchers in these areas that should help with the adoption of quantitative stochastic models into general software development processes.
Service-based systems that are dynamically composed at runtime to provide complex, adaptive funct... more Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment, and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations. The QoSMOS self-adaptation ...
ABSTRACT According to the vision of Design for Reliability, software reliability has to be consid... more ABSTRACT According to the vision of Design for Reliability, software reliability has to be considered in all the activities within the software development life cycle. In particular, writing formal specifications, like other activities in software development, is error-prone, especially for large-scale systems. This paper presents a reliability prediction method for Abstract State Machines specifications. The method considers the internal structure of an ASM by computing its reliability based on the reliabilities calculated inductively along the call tree of the ASM rules and the structure of the rule bodies.
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
ABSTRACT One of the major current research trends in Software Engineering is the focus on the dev... more ABSTRACT One of the major current research trends in Software Engineering is the focus on the development of new techniques to deal efficiently with the design of systems that are able to evolve overtime and adapt to rapid changes of their requirements. However, it is still an open issue how to quantify and evaluate the adaptability of a given software system. In this paper we propose the definition of metrics able to quantify and evaluate such software adaptability at the architectural level. Besides, we define a relationship with the quality of service that the software must guarantee by means of a relation between the values of these metrics and the system quality requirements. The presented metrics can be used by the software architect to guide the system adaptation to fulfill the overall quality requirements.
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
... In HotOS'01, May 2001. 4. Y. Chen, A. Das, W. Qin, A. Sivasubramaniam, Q. Wang, and N. G... more ... In HotOS'01, May 2001. 4. Y. Chen, A. Das, W. Qin, A. Sivasubramaniam, Q. Wang, and N. Gautam. Managing server energy and operational costs in hosting centers. SIGMETRICS Perform. ... ACM. 13. P. Ranganathan. Recipe for efficiency: principles of power-aware computing. ...
... Affiliation: Universität Karlsruhe (TH), Germany Team Leader: Ralf Reussner, reussner@ipd.uka... more ... Affiliation: Universität Karlsruhe (TH), Germany Team Leader: Ralf Reussner, reussner@ipd.uka. de Team Members: Steffen Becker, Thomas Goldschmidt, Henning Groenda, Jens Happe, HeikoKoziolek, Klaus Krogmann, Michael Kuperberg, Anne Martens, Ralf Reussner ...
In the Service Oriented Architecture (SOA) complex applications can be described as business proc... more In the Service Oriented Architecture (SOA) complex applications can be described as business processes from independently developed services that can be selected at run time on the basis of the provided Quality of Service (QoS). However, QoS requirements are difficult to satisfy especially for the high variability of Internet application workloads. Autonomic grid architectures, which provide basic mechanisms to dynamically re-configure service center infrastructures, can be be exploited to fullfill varying QoS requirements. We tackle the problem of selection of Web services that assure the optimum mapping between each abstract Web service of a business process and a Web service which implements the abstract description, such that the overall quality of service perceived by the user is maximized. The proposed solution guarantees the fulfillment of global constraints, considers variable quality of service profile of component Web services and the long term process execution. The soundness of the proposed solution is shown trough the results obtained on an industrial application example. Furthermore, preliminary computational experiments show that the identified solution has a gap of few percentage units to the global optimum of the problem.
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, 2013
ABSTRACT Service choreographies specify the intended interaction protocol among a set of cooperat... more ABSTRACT Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.
Nowadays it is widely recognized the crucial role played in the software development process by t... more Nowadays it is widely recognized the crucial role played in the software development process by the analysis of extra-functional properties (and especially performance) at the architectural level. To foster this kind of quantitative analysis we envisage the need to transform the performance model generation and analysis into a rigorous and sound discipline. To this end we intend to exploit the
Multiple, often conflicting quality of service (QoS) requirements arise when evaluating design de... more Multiple, often conflicting quality of service (QoS) requirements arise when evaluating design decisions and selecting design alternatives of complex componentbased software systems. In this scenario, selecting a good solution with respect to a single quality attribute can lead to unacceptable results with respect to the other quality attributes. A promising way to deal with this problem is to exploit multi-objective optimization where the objectives represent different quality attributes. The aim of these techniques is to devise a set of solutions, each of which assures a trade-off between the conflicting qualities. To automate this task, this paper proposes a combined use of analytical optimization techniques and evolutionary algorithms to efficiently identify a significant set of design alternatives, from which an architecture that best fits the different quality objectives can be selected. The proposed approach can lead both to a reduction of development costs and to an improvement of the quality of the final system. We demonstrate the use of this approach on a simple case study.
Proceedings of the 6th international workshop on Software and performance - WOSP '07, 2007
Dynamic reconfiguration techniques appear promising to build component-based (C-B) systems for ap... more Dynamic reconfiguration techniques appear promising to build component-based (C-B) systems for application domains that have strong adaptability requirements, like the mobile and the serviceoriented computing domains. However, introducing dynamic reconfiguration features into a C-B application makes even more challenging the design and verification of functional and non functional requirements. Our goal is to support the model-based analysis of the effectiveness of reconfigurable C-B applications, with a focus on the assessment of the non-functional performance and reliability attributes. As a first step towards this end, we address the issue of selecting suitable analysis models for reconfigurable systems, suggesting to this end the use of joint performance and reliability (performability) models. Furthermore, we propose a model-driven approach to automatically transform a design model into an analysis model. For this purpose, we build on the existence of intermediate languages that have been proposed to facilitate this transformation and we extend one of them, to capture the core features (from a performance/reliability viewpoint) of a dynamically reconfigurable C-B system. Finally, we illustrate by a simple application example the main steps of the proposed approach.
Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '04, 2004
The high heterogeneity and variability of mobile computing environments can adversely affect the ... more The high heterogeneity and variability of mobile computing environments can adversely affect the performance of applications running in these environments. To tackle this problem, adaptation techniques can be exploited. Adaptation based on code mobility is a possible solution, as it allows to dynamically modify the load of the hosting nodes and the internode traffic, to adapt to the changing characteristics of computing nodes and network links. In this paper we propose a modeling framework to analyze the performance effectiveness of code mobility based adaptation in a mobile computing environment. A distinguishing feature of our framework is the modeling of both physical and logical mobility as something that can be "plugged" into a pre-existing architecture model, to ease the analysis of the performance impact of both different physical mobility scenarios, and of different adaptation strategies based on code mobility. To enhance the framework usability, we have adopted UML as modeling language, remaining fully compliant with the latest UML 2.0 specification and with the standard UML "Profile for Schedulability, Performance and Time Specification".
Abstract. Modern distributed software applications generally operate in complex and heterogeneous... more Abstract. Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobility based, etc.) have been suggested and adopted to cope with the complexity of designing ...
ABSTRACT Automatic prediction tools play a key role in enabling the application of non-functional... more ABSTRACT Automatic prediction tools play a key role in enabling the application of non-functional analysis to the selection and the assembly of components for component-based systems, without requiring extensive knowledge of analysis methodologies to the application designer. A key idea to achieve this goal is to define a model transformation that takes as input some “design-oriented” model of the component assembly and produces as a result an “analysis-oriented” model that lends itself to the application of some analysis methodology. For this purpose, we define a model-driven transformation framework, centered around a kernel language whose aim is to capture the relevant information for the analysis of non-functional attributes of component-based systems, with a focus on performance and reliability. Using this kernel language as a bridge between design-oriented and analysis-oriented notations we reduce the burden of defining a variety of direct transformations from the former to the latter to the less complex problem of defining transformations to/from the kernel language. The proposed kernel language is defined within the MOF (Meta-Object Facility) framework, to allow the exploitation of existing model transformation facilities. In this chapter, we present the key concepts of our methodology and we show its application to the CoCoME case study.
Proceedings of the 5th international workshop on Software and performance - WOSP '05, 2005
To facilitate the use of non-functional analysis results in the selection and assembly of compone... more To facilitate the use of non-functional analysis results in the selection and assembly of components for component-based systems, automatic prediction tools should be devised, to predict some overall quality attribute of the application without requiring extensive knowledge of analysis methodologies to the application designer. To achieve this goal, a key idea is to define a model transformation that takes as input some "design-oriented" model of the component assembly and produces as a result an "analysis-oriented" model that lends itself to the application of some analysis methodology. However, to actually devise such a transformation, we must face both the heterogeneous design level notations for component-based systems, and the variety of nonfunctional attributes and related analysis methodologies we could be interested in. In this perspective, we define a kernel language whose aim is to capture the relevant information for the analysis of non-functional attributes of component-based systems, with a focus on performance and reliability. Using this kernel language as a bridge between design-oriented and analysis-oriented notations we reduce the burden of defining a variety of direct transformations from the former to the latter to the less complex problem of defining transformations to/from the kernel language. The proposed kernel language is defined within the MOF (Meta-Object Facility) framework, to allow the exploitation of MOFbased model transformation facilities.
ABSTRACT The adoption of a “high level” perspective in the design of a component-based applicatio... more ABSTRACT The adoption of a “high level” perspective in the design of a component-based application, without considering the specific features of some underlying supporting platform, has the advantage of focusingon the relevant architectural aspects and reasoning about them in a platform independent way, omitting unnecessary details that could even not be known at the earliest development stages.On the other hand, many of the details that are typically neglected in this high-level perspective must necessarily be taken into account to obtain a meaningful evaluation of different architectural choices in terms of extra-functional quality attributes, like performance or reliability. Toward the reconciliation of these two contrasting needs, we propose a model-based approach whose goal is to support the derivation of sufficiently detailed prediction models from high level models of component-based systems, focusing on the prediction of performance and reliability. We exploit for this purpose a refinement mechanism based on the use of model transformation techniques.
In recent years, the focus of software development has progressively shifted upward, in the direc... more In recent years, the focus of software development has progressively shifted upward, in the direction of the abstract level of architecture specification. However, while the functional properties of the systems have been extensively dealt with in the literature, relatively less attention has been given until recently to the specification and analysis at the architectural level of quality attributes such as performance and reliability. The contribution of this paper is twofold: first we discuss the type of information that should be provided at the architectural level in order to successfully address the problem of performance and reliability modeling and analysis of software systems; based on this discussion, we define an extension of the xADL architectural language that enables the support for stochastic modeling and analysis of performance and reliability in software architectures.
Nowadays requirements related to quality attributes such as performance, reliability, safety and ... more Nowadays requirements related to quality attributes such as performance, reliability, safety and security are often considered the most important requirements for software development projects. To reason about these quality attributes different stochastic models can be used. These models enable probabilistic verification as well as quantitative prediction at design time. On the other hand, these models could be also used to perform runtime adaptation in order to achieve certain quality goals. This workshop aims to provide a forum for researchers in these areas that should help with the adoption of quantitative stochastic models into general software development processes.
Service-based systems that are dynamically composed at runtime to provide complex, adaptive funct... more Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment, and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations. The QoSMOS self-adaptation ...
ABSTRACT According to the vision of Design for Reliability, software reliability has to be consid... more ABSTRACT According to the vision of Design for Reliability, software reliability has to be considered in all the activities within the software development life cycle. In particular, writing formal specifications, like other activities in software development, is error-prone, especially for large-scale systems. This paper presents a reliability prediction method for Abstract State Machines specifications. The method considers the internal structure of an ASM by computing its reliability based on the reliabilities calculated inductively along the call tree of the ASM rules and the structure of the rule bodies.
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
ABSTRACT One of the major current research trends in Software Engineering is the focus on the dev... more ABSTRACT One of the major current research trends in Software Engineering is the focus on the development of new techniques to deal efficiently with the design of systems that are able to evolve overtime and adapt to rapid changes of their requirements. However, it is still an open issue how to quantify and evaluate the adaptability of a given software system. In this paper we propose the definition of metrics able to quantify and evaluate such software adaptability at the architectural level. Besides, we define a relationship with the quality of service that the software must guarantee by means of a relation between the values of these metrics and the system quality requirements. The presented metrics can be used by the software architect to guide the system adaptation to fulfill the overall quality requirements.
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
... In HotOS'01, May 2001. 4. Y. Chen, A. Das, W. Qin, A. Sivasubramaniam, Q. Wang, and N. G... more ... In HotOS'01, May 2001. 4. Y. Chen, A. Das, W. Qin, A. Sivasubramaniam, Q. Wang, and N. Gautam. Managing server energy and operational costs in hosting centers. SIGMETRICS Perform. ... ACM. 13. P. Ranganathan. Recipe for efficiency: principles of power-aware computing. ...
... Affiliation: Universität Karlsruhe (TH), Germany Team Leader: Ralf Reussner, reussner@ipd.uka... more ... Affiliation: Universität Karlsruhe (TH), Germany Team Leader: Ralf Reussner, reussner@ipd.uka. de Team Members: Steffen Becker, Thomas Goldschmidt, Henning Groenda, Jens Happe, HeikoKoziolek, Klaus Krogmann, Michael Kuperberg, Anne Martens, Ralf Reussner ...
In the Service Oriented Architecture (SOA) complex applications can be described as business proc... more In the Service Oriented Architecture (SOA) complex applications can be described as business processes from independently developed services that can be selected at run time on the basis of the provided Quality of Service (QoS). However, QoS requirements are difficult to satisfy especially for the high variability of Internet application workloads. Autonomic grid architectures, which provide basic mechanisms to dynamically re-configure service center infrastructures, can be be exploited to fullfill varying QoS requirements. We tackle the problem of selection of Web services that assure the optimum mapping between each abstract Web service of a business process and a Web service which implements the abstract description, such that the overall quality of service perceived by the user is maximized. The proposed solution guarantees the fulfillment of global constraints, considers variable quality of service profile of component Web services and the long term process execution. The soundness of the proposed solution is shown trough the results obtained on an industrial application example. Furthermore, preliminary computational experiments show that the identified solution has a gap of few percentage units to the global optimum of the problem.
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, 2013
ABSTRACT Service choreographies specify the intended interaction protocol among a set of cooperat... more ABSTRACT Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.
Nowadays it is widely recognized the crucial role played in the software development process by t... more Nowadays it is widely recognized the crucial role played in the software development process by the analysis of extra-functional properties (and especially performance) at the architectural level. To foster this kind of quantitative analysis we envisage the need to transform the performance model generation and analysis into a rigorous and sound discipline. To this end we intend to exploit the
Multiple, often conflicting quality of service (QoS) requirements arise when evaluating design de... more Multiple, often conflicting quality of service (QoS) requirements arise when evaluating design decisions and selecting design alternatives of complex componentbased software systems. In this scenario, selecting a good solution with respect to a single quality attribute can lead to unacceptable results with respect to the other quality attributes. A promising way to deal with this problem is to exploit multi-objective optimization where the objectives represent different quality attributes. The aim of these techniques is to devise a set of solutions, each of which assures a trade-off between the conflicting qualities. To automate this task, this paper proposes a combined use of analytical optimization techniques and evolutionary algorithms to efficiently identify a significant set of design alternatives, from which an architecture that best fits the different quality objectives can be selected. The proposed approach can lead both to a reduction of development costs and to an improvement of the quality of the final system. We demonstrate the use of this approach on a simple case study.
Proceedings of the 6th international workshop on Software and performance - WOSP '07, 2007
Dynamic reconfiguration techniques appear promising to build component-based (C-B) systems for ap... more Dynamic reconfiguration techniques appear promising to build component-based (C-B) systems for application domains that have strong adaptability requirements, like the mobile and the serviceoriented computing domains. However, introducing dynamic reconfiguration features into a C-B application makes even more challenging the design and verification of functional and non functional requirements. Our goal is to support the model-based analysis of the effectiveness of reconfigurable C-B applications, with a focus on the assessment of the non-functional performance and reliability attributes. As a first step towards this end, we address the issue of selecting suitable analysis models for reconfigurable systems, suggesting to this end the use of joint performance and reliability (performability) models. Furthermore, we propose a model-driven approach to automatically transform a design model into an analysis model. For this purpose, we build on the existence of intermediate languages that have been proposed to facilitate this transformation and we extend one of them, to capture the core features (from a performance/reliability viewpoint) of a dynamically reconfigurable C-B system. Finally, we illustrate by a simple application example the main steps of the proposed approach.
Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '04, 2004
The high heterogeneity and variability of mobile computing environments can adversely affect the ... more The high heterogeneity and variability of mobile computing environments can adversely affect the performance of applications running in these environments. To tackle this problem, adaptation techniques can be exploited. Adaptation based on code mobility is a possible solution, as it allows to dynamically modify the load of the hosting nodes and the internode traffic, to adapt to the changing characteristics of computing nodes and network links. In this paper we propose a modeling framework to analyze the performance effectiveness of code mobility based adaptation in a mobile computing environment. A distinguishing feature of our framework is the modeling of both physical and logical mobility as something that can be "plugged" into a pre-existing architecture model, to ease the analysis of the performance impact of both different physical mobility scenarios, and of different adaptation strategies based on code mobility. To enhance the framework usability, we have adopted UML as modeling language, remaining fully compliant with the latest UML 2.0 specification and with the standard UML "Profile for Schedulability, Performance and Time Specification".
Abstract. Modern distributed software applications generally operate in complex and heterogeneous... more Abstract. Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobility based, etc.) have been suggested and adopted to cope with the complexity of designing ...
ABSTRACT Automatic prediction tools play a key role in enabling the application of non-functional... more ABSTRACT Automatic prediction tools play a key role in enabling the application of non-functional analysis to the selection and the assembly of components for component-based systems, without requiring extensive knowledge of analysis methodologies to the application designer. A key idea to achieve this goal is to define a model transformation that takes as input some “design-oriented” model of the component assembly and produces as a result an “analysis-oriented” model that lends itself to the application of some analysis methodology. For this purpose, we define a model-driven transformation framework, centered around a kernel language whose aim is to capture the relevant information for the analysis of non-functional attributes of component-based systems, with a focus on performance and reliability. Using this kernel language as a bridge between design-oriented and analysis-oriented notations we reduce the burden of defining a variety of direct transformations from the former to the latter to the less complex problem of defining transformations to/from the kernel language. The proposed kernel language is defined within the MOF (Meta-Object Facility) framework, to allow the exploitation of existing model transformation facilities. In this chapter, we present the key concepts of our methodology and we show its application to the CoCoME case study.
Proceedings of the 5th international workshop on Software and performance - WOSP '05, 2005
To facilitate the use of non-functional analysis results in the selection and assembly of compone... more To facilitate the use of non-functional analysis results in the selection and assembly of components for component-based systems, automatic prediction tools should be devised, to predict some overall quality attribute of the application without requiring extensive knowledge of analysis methodologies to the application designer. To achieve this goal, a key idea is to define a model transformation that takes as input some "design-oriented" model of the component assembly and produces as a result an "analysis-oriented" model that lends itself to the application of some analysis methodology. However, to actually devise such a transformation, we must face both the heterogeneous design level notations for component-based systems, and the variety of nonfunctional attributes and related analysis methodologies we could be interested in. In this perspective, we define a kernel language whose aim is to capture the relevant information for the analysis of non-functional attributes of component-based systems, with a focus on performance and reliability. Using this kernel language as a bridge between design-oriented and analysis-oriented notations we reduce the burden of defining a variety of direct transformations from the former to the latter to the less complex problem of defining transformations to/from the kernel language. The proposed kernel language is defined within the MOF (Meta-Object Facility) framework, to allow the exploitation of MOFbased model transformation facilities.
ABSTRACT The adoption of a “high level” perspective in the design of a component-based applicatio... more ABSTRACT The adoption of a “high level” perspective in the design of a component-based application, without considering the specific features of some underlying supporting platform, has the advantage of focusingon the relevant architectural aspects and reasoning about them in a platform independent way, omitting unnecessary details that could even not be known at the earliest development stages.On the other hand, many of the details that are typically neglected in this high-level perspective must necessarily be taken into account to obtain a meaningful evaluation of different architectural choices in terms of extra-functional quality attributes, like performance or reliability. Toward the reconciliation of these two contrasting needs, we propose a model-based approach whose goal is to support the derivation of sufficiently detailed prediction models from high level models of component-based systems, focusing on the prediction of performance and reliability. We exploit for this purpose a refinement mechanism based on the use of model transformation techniques.
In recent years, the focus of software development has progressively shifted upward, in the direc... more In recent years, the focus of software development has progressively shifted upward, in the direction of the abstract level of architecture specification. However, while the functional properties of the systems have been extensively dealt with in the literature, relatively less attention has been given until recently to the specification and analysis at the architectural level of quality attributes such as performance and reliability. The contribution of this paper is twofold: first we discuss the type of information that should be provided at the architectural level in order to successfully address the problem of performance and reliability modeling and analysis of software systems; based on this discussion, we define an extension of the xADL architectural language that enables the support for stochastic modeling and analysis of performance and reliability in software architectures.
Uploads
Papers by Raffaela Mirandola