Vittorio Cortellessa

Learn More
58 Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
The ability to validate software systems early in the development lifecycle is becoming crucial. While early validation of functional requirements is supported by well known approaches, the validation of non-functional requirements, such as reliability, is not. Early assessment of non-functional requirements can be facilitated by automated transformation of(More)
The SPE process uses multiple performance assessment tools depending on the state of the software and the amount of performance data available. This paper describes two XML based interchange formats that facilitate using a variety of performance tools in a plug-and-play manner thus enabling the use of the tool best suited to the analysis. The Software(More)
Service selection and composition are central activities in service-oriented computing, and the prediction of the QoS attributes of a Service-Oriented Architecture (SOAs) plays a key role to appropriately drive these activities. Software composition driven by QoS criteria (e.g., optimization of performance, maximization of reliability) has been mostly(More)
Non-functional attributes of software/hardware systems are aspects of interest to embed in modeling notations. In the last few years, extensions of UML in this direction have been proposed, and some of them have been recently adopted as final specifications, such as the UML Profile for Schedulability, Performance, and Time. In this paper we intend to(More)
A rather complex task in the performance analysis of software architectures has always been the interpretation of the analysis results and the generation of feedback that may help developers to improve their architecture with alternative "better performing" solutions. This is due, on one side, to the fact that performance analysis results may be rather(More)
The development of complex software systems satisfying performance requirements is achievable only spending careful attention to performance goals throughout the lifecycle, and especially from its very beginning. Uni1ed modeling language (UML) is quickly becoming a standard notation for speci1cation and design of software systems. UML o,ers several diagrams(More)
It is generally believed that component-based software development leads to improved application quality, maintainability and reliability. However, most software reliability techniques model integrated systems. These models disregard system’s internal structure, taking into account only the failure data and interactions with the environment. We propose a(More)
The recent approaches to software performance modeling and validation share the idea of annotating software models with information related to performance (e.g. operational profile) and transforming the annotated model into a performance model (e.g. a Stochastic Petri Net). Up to date, no standard has been defined to represent the information related to(More)