Sharareh Afsharian, Via Vetoio, Marco Giacomobono, Paola Inverardi
Effective software project estimation is one of the most challenging activities in software development. In today’s highly competitive world, accurate software estimation can make the difference...
(Dagstuhl Seminar Organizer Authors) (2009)
Rogério De Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, ...
Software’s ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Paola Inverardi, Alexander Wolf, Daniel Yankelevich, Simone Scriboni, Massimo Tivoli, Sea Group
Several people contributed to the general issue over the years …
Marco Autili, Paola Inverardi, Massimo Tivoli
Synthesis of "correct " adaptors for protocol enhancement in component-based systems ∗
Towards an assume-guarantee theory for adaptable systems (2009)
Tivoli, Massimo, Pelliccione, Patrizio, Inverardi, Paola
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed...
Towards an assume-guarantee theory for adaptable systems (2009)
Tivoli, Massimo, Pelliccione, Patrizio, Inverardi, Paola
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed...
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009)
Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, ...
The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the...
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009)
Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, ...
The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the...
Towards a Formalization of Mediating Connectors for on the Fly Interoperability (2009)
Spalazzese, Romina, Inverardi, Paola, Issarny, Valérie
Mediators stand as a core architectural paradigm for today's and future systems that increasingly need to be connected. The mediator concept has been used to cope with many heterogeneity dimensions....
Towards a Formalization of Mediating Connectors for on the Fly Interoperability (2009)
Spalazzese, Romina, Inverardi, Paola, Issarny, Valérie
Mediators stand as a core architectural paradigm for today's and future systems that increasingly need to be connected. The mediator concept has been used to cope with many heterogeneity dimensions....
Automatic Synthesis of Behavior Protocols for Composable Web-Services (2009)
Bertolino, Antonia, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite...
Automatic Synthesis of Behavior Protocols for Composable Web-Services (2009)
Bertolino, Antonia, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite...
Non-functional Modeling and Validation in Model-Driven Architecture (2008)
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
Software models are, in most cases, considered as functional abstractions of systems. They represent the backbone of transformational processes aimed at code generation. On the other end, modeling is...
Reaction Graphs for the Testing and Analysis of Software Architectures (2008)
Antonia Bertolino, Paola Inverardi
In previous papers we have addressed the problem of deriving from an architectural description pieces of information useful to drive testing [2, 3]. Our approach is based on the use of the CHAM...
An Experience in Architectural Extensions: Active Objects in J2EE (2008)
Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione
Abstract. In this paper we present an experience in architectural extension. The goal of our project was to provide Active Objects in the Java 2 Enterprise Edition (J2EE) reference architecture by...
Contractual Delivery Date: Actual Delivery Date: (2008)
Contributing Wps Wp, Editor(s Antonia Bertolino, Domenico Bianculli, Istvan Forgacs, Andrea Polini, Author(s Antonia Bertolino, ...
This document is the first deliverable of PLASTIC Work Package 4 (WP4): Service Validation Methodology and Tools. It provides the high-level specifications of the “Test framework specification and...
Marco Autili, Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Di Marco
A conceptual model for adaptable
Software of the future is the future of Software? (2008)
Abstract. Software in the near ubiquitous future (Softure) will need to cope with variability, as software systems get deployed on an increasingly large diversity of computing platforms and operates...
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems (2008)
Michele Flammini, Paola Inverardi, Domenico Mango, Monica Nesi
Verification techniques based on rewriting can play an active role in many fields of software system analysis. To this respect, rewriting based tools can become complementary to model-checking or...
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software architect in the...
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...
Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio
From 13.01. to 18.01.2008, the Dagstuhl Seminar 08031 ``Software Engineering for Self-Adaptive Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During...
Bertolino, Antonia, Emmerich, Wolfgang, Inverardi, Paola, Issarny, Valérie, Liotopoulos, Fotis K., Plaza, Pierre
The PLASTIC project adopts and revisits serviceoriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices....
Bertolino, Antonia, Emmerich, Wolfgang, Inverardi, Paola, Issarny, Valérie, Liotopoulos, Fotis K., Plaza, Pierre
The PLASTIC project adopts and revisits serviceoriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices....
Colorado State University (2008)
Nelly Bencomo, Gordon Blair, Freddy Muñoz, Cedric Jeanneret, Betty Cheng, Fabio M. Costa, ...
Cédric Jeanneret. From a total of 20 papers submitted 6 full papers, 6 short papers, and a 1 demo were accepted. This volume gathers together all the 6 full papers accepted at
Formal Analysis of Clients Mobility in the Siena (2007)
Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
Abstract. Due to their nature to be independent from each other, loosely-coupled applications are gaining popularity with the introduction of wireless data communication and portable computing...
On Designing M-commerce Applications (2007)
Luca Dionisio, Benedetto Intrigila, Paola Inverardi
E-commerce has been a revolution for the marketplace and has greatly influenced and changed the way goods are exchanged in terms both of space and time. Mobility has added a new dimension the...
Candida Attanasio, Flavio Corradini, Paola Inverardi
Nowadays, more and more often, complex systems are built by assembling together dierent system components. This technology also aects the construction of heterogeneous and/or hybrid systems where...
On Relating Functional Specifications to Architectural Specifications: A Case Study (2006)
Flavio Corradini, C Flavio Corradini, Paola Inverardi, Paola Inverardi, Er L. Wolf, Er L. Wolf
Software architecture specifications are predominantly concerned with describing the component structure of systems and how the components interact behaviorally. Little attention has been paid to...
Towards anti-model-based testing (2004)
Antonia Bertolino, Andrea Polini, Paola Inverardi, Henry Muccini
Software testing refers to the dynamic verification of a system’s behavior based on the observation of a selected set of controlled executions, or test cases [2]. While in traditional approaches...
Stefano Porcarelli, Marco Castaldi, Felicita Di Gi, Paola Inverardi
Abstract. Nowadays, many critical services are provided by complex distributed systems which are the result of the reuse and integration of a large number of components. Given their multi-context...
Edinburgh, Scotland, UK Workshop Organization Program Co-Chairs (2004)
Antonio Carzaniga, Pascal Fenkam, Bernhard Aichernig, Jean Bacon, Gianpaolo Cugola, Juergen Dingel, ...
Henry Muccini, Antonia Bertolino, Paola Inverardi
Our research deals with the use of Software Architecture (SA) as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the...
A Lightweight Infrastructure for Reconfiguring Applications (2003)
Marco Castaldi, C Marco Castaldi, Antonio Carzaniga, Antonio Carzaniga, Paola Inverardi, Paola Inverardi, ...
We describe Lira, a lightweight infrastructure for managing dynamic reconfiguration that applies and extends the concepts of network management to component-based, distributed software systems. Lira...
An Approach to Manage Reconfiguration in Fault Tolerant Distributed Systems (2003)
Stefano Porcarelli, Marco Castaldi, Felicita Di Gi, Andrea Bondavalli, Paola Inverardi
This paper deals with dynamic resource management for real–time dependability–critical distributed systems. Requirements for such kind of systems span many domains such as time, survivability,...
Failure-free Coordinator Synthesis for Correct Components Assembly (2003)
Paola Inverardi, Massimo Tivoli
to the ability to predict possible coordination policies of the components interaction behavior by only assuming a limited knowledge of the single components computational behavior. Our answer to...
A Lightweight Infrastructure for Reconfiguring Applications Marco Casta ld (2003)
Marco Castaldi, Antonio Carzaniga Paola, Paola Inverardi, Er L. Wolf
We describe Lira, a lightweight infrastructure fo managing dynamic reco nfiguratio n that applies and extends the co nceptso f netwo rk management to coR o ent-based, distributedso2 ware systems....
Formal Methods in Testing Software Architectures (2003)
Antonia Bertolino, Paola Inverardi, Henry Muccini
Abstract. SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in...
TECHNICAL REPORT 1 Software Performance: state of the art and perspectives (2003)
Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni
In the last decade, several research efforts have been directed to integrating performance analysis in the software development process. Traditional software development methods focus on software...
The Role of Architecture in Components Assembly (2002)
Paola Inverardi, Massimo Tivoli
One of the main problem in component assembly is related to the ability to establish properties on the assembly code by only assuming a relative knowledge of the single components properties. Our...
Checking Consistency Between Architectural Models Using SPIN (2001)
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
Requirements and Software Architectures are strictly related but only a little attention has been paid to their integration. What we propose in this paper is an approach to i) trace coordination...
Checking Consistency Between Architectural Models Using SPIN (2001)
Paola Inverardi, Henry Muccini, Patrizio Pelliccione
Requirements and Software Architectures are strictly related but only a little attention has been paid to their integration. What we propose in this paper is an approach to i) trace coordination...
Static checking of system behaviors using derived component assumptions (2000)
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
A critical challenge faced by the developer of a software system is to understand whether the system’s components correctly integrate. While type theory has provided substantial help in detecting...
Static Checking of System Behaviors Using Derived Component Assumptions (2000)
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in...
Ida Attanasio, Flavio Corradini, Paola Inverardi
Abstract. In this paper we apply a new real-time modeling to the wellknown Steam Boiler case study. The novelty of our approach is in explicitly representing the various system components, i. e....
Uncovering Architectural Mismatch in Component Behavior (1999)
Daniele Compare, Paola Inverardi, Alexander L. Wolf
When constructing software systems from existing components, the engineer is faced with the problem of potential con#icts in the interactions among the components. Of particular di#culty is...
Model Checking of CHAM Descriptions of Software Architectures (1999)
Flavio Corradini Paola, Paola Inverardi
description based on the CHAM. We consider both structural properties, that is properties of the system which are connected with its structure either static and dynamic, and functional properties,...
Uncovering architectural mismatch in component behavior (1999)
Daniele Compare, Paola Inverardi Alex, C Daniele Compare, Paola Inverardi, Er L. Wolf, Er L. Wolf
When constructing software systems from existing components, the engineer is faced with the problem of potential conflicts in the interactions among the components. Of particular difficulty is...
A Lightweight Infrastructure for Reconfiguring Applications (1998)
Castaldi, Marco, Carzaniga, Antonio, Inverardi, Paola, Wolf, Alexander L.
We describe Lira, a lightweight infrastructure for managing dynamic reconfiguration that applies and extends the concepts of network management to component-based, distributed software systems. Lira...
Graph grammars and constraint solving for software architecture styles (1998)
Dan Hirsch, Paola Inverardi, Ugo Montanari, Dep De Computacion, Dipartamento Di Matematica
The description of a software architecture style must include the structural model of the components and their interactions, the laws governing the dynamic changes in the architecture, and the...
Ida Attanasio, Flavio Corradini, Paola Inverardi
Abstract. Nowadays, more and more often, complex systems are built by assembling together different system components. This technology also affects the construction of heterogeneous and/or hybrid...
An Approach To Performance Evaluation Of Software Architectures (1998)
Federica Aquilani, Simonetta Balsamo, Paola Inverardi
In this paper we present an approach to evaluating the expected performance of a software architecture. The method automatically derives a performance evaluation model, based on a Queueing Network...
Behavioral Type Checking of Architectural Components Based on Assumptions (1998)
Alexander L. Wolf, Paola Inverardi, Paola Inverardi, Er L. Wolf, Daniel Yankelevich, Daniel Yankelevich
A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in...
Checking Assumptions in Component Dynamics at the Architectural Level (1997)
Paola Inverardi, Alexander L. Wolf, Er L. Wolf, Daniel Yankelevich
. A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in...
Paola Inverardi, A.L. Wolf, Er L. Wolf
Machine Model Paola Inverardi and Alexander L. Wolf Abstract--- We are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software systems as...