Search For:

Displaying 1-22 out of 22 total
Developing next generation ADLs through MDE techniques
Found in: Software Engineering, International Conference on
By Davide Di Ruscio,Ivano Malavolta,Henry Muccini,Patrizio Pelliccione,Alfonso Pierantonio
Issue Date:May 2010
pp. 85-94
Despite the flourishing of languages to describe software architectures, existing Architecture Description Languages (ADLs) are still far away from what it is actually needed. In fact, while they support a traditional perception of a Software Architecture ...
 
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies
Found in: IEEE Transactions on Software Engineering
By Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien Andrew Tamburri
Issue Date:January 2010
pp. 119-140
Many architectural languages have been proposed in the last 15 years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeh...
 
Towards a Framework for Distributed and Collaborative Modeling
Found in: Enabling Technologies, IEEE International Workshops on
By Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
Issue Date:July 2009
pp. 149-154
Increasingly, models are becoming first class core assets,and model-driven engineering requires novel techniques,tools, and practices to face the globalization of software development in the (always more) pervasive IT world.This paper proposes a framework ...
 
Integrating AADL within a Multi-domain Modeling Framework
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Ivano Malavolta, Henry Muccini, Patrizio Pelliccione
Issue Date:June 2009
pp. 341-346
DUALLY is a framework that allows architectural languagesinteroperability through automated model transformationtechniques. Any transformation among ADLs isdefined in DUALLY by passing through A0 that is anextensible semantic core set of modeling elements....
 
Towards an assume-guarantee theory for adaptable systems
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Issue Date:May 2009
pp. 106-115
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 preserving some properties that we call invariants. This position...
 
CHARMY: A Framework for Designing and Verifying Architectural Specifications
Found in: IEEE Transactions on Software Engineering
By Patrizio Pelliccione, Paola Inverardi, Henry Muccini
Publication Date: December 2008
pp. 325-346
Introduced in the early stages of software development, the Charmy framework assists the software architect in making and evaluating architectural choices. Rarely, the software architecture of a system can be established once and forever. Most likely poorl...
 
Simulating Software Architectures for Functional Analysis
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Henry Muccini, Patrizio Pelliccione
Issue Date:February 2008
pp. 289-292
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internalsimulation engine, and allows for certain types of simulations.Goal of this paper is to prop...
 
POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks
Found in: International Conference on Collaborative Computing: Networking, Applications and Worksharing
By Marcel Arrufat, Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Patrizio Pelliccione, Frederique Tastet-Cherel
Issue Date:November 2007
pp. 399-407
Although useful and increasingly put into regular use, current Collaborative Working Environment (CWE) solutions have several limitations and relevant needs for further research. Most systems address either rather traditional and rigid intra-organizational...
 
A Software Architecture for Reliable Collaborative Working Environments
Found in: Enabling Technologies, IEEE International Workshops on
By Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Gerard Paris, Patrizio Pelliccione, Frique Tastet-Cherel
Issue Date:June 2007
pp. 176-177
Although useful and increasingly put into regular use, current Collaborative Working Environments (CWEs) have several limitations and relevant needs for further research. Most systems address either traditional and rigid intra- organizational collaboration...
 
TowardsWeaving Software Architecture Models
Found in: Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on
By Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio, Patrizio Pelliccione
Issue Date:March 2006
pp. 103-112
<p>Increasingly, UML metamodels and profiles are adopted to specify software architectures from different angles in order to cope with analysis specific modeling needs. In particular, whenever two or more analysis techniques are required over the sam...
 
Compositional Verification of Middleware-Based Software Architecture Descriptions
Found in: Software Engineering, International Conference on
By Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
Issue Date:May 2004
pp. 221-230
In this paper we present a compositional reasoning to verify middleware-based software architecture descriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is ...
 
Automated Check of Architectural Models Consistency Using SPIN
Found in: Automated Software Engineering, International Conference on
By Paola Inverardi, Henry Muccini, Patrizio Pelliccione
Issue Date:November 2001
pp. 346
In recent years the necessity to handle different aspects of the system separately has introduced the need to represent SA from different viewpoints. In particular, behavioral views are recognized to be one of the most attractive feature in the SA descript...
 
Open Architectures and Software Evolution: The Case of Software Ecosystems
Found in: 2014 23rd Australian Software Engineering Conference (ASWEC)
By Patrizio Pelliccione
Issue Date:April 2014
pp. 66-69
Software systems are increasingly constructed on top of a software platform by adding and composing components that more often than not are developed by external actors. Those platforms project into software systems their own architecture and concepts and ...
 
The Road Ahead for Architectural Languages
Found in: IEEE Software
By Patricia Lago,Ivano Malavolta,Henry Muccini,Patrizio Pelliccione,Antony Tang
Issue Date:March 2014
pp. 1
Despite the huge number of architectural languages that have been proposed in the last two decades, there is today evidence that industry-ready, well-accepted, and recognized languages for producing architecture descriptions are still missing. This article...
 
What Industry Needs from Architectural Languages: A Survey
Found in: IEEE Transactions on Software Engineering
By Ivano Malavolta,Patricia Lago,Henry Muccini,Patrizio Pelliccione,Antony Tang
Issue Date:June 2013
pp. 869-891
Many times we are faced with the proliferation of definitions, concepts, languages, and tools in certain (research) topics. But often there is a gap between what is provided by existing technologies and what is needed by their users. The strengths, limitat...
 
Ad-opera: music-inspired self-adaptive systems
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione
Issue Date:November 2010
pp. 119-124
These days, systems are emerging as agglomerations of software, hardware and people. They are highly distributed, heterogeneous, context-aware, mobile, and adaptive to resource availability and requirements evolution. New computing paradigms for such syste...
     
Realizing architecture frameworks through megamodelling techniques
Found in: Proceedings of the IEEE/ACM international conference on Automated software engineering (ASE '10)
By Henry Muccini, Ivano Malavolta, Patrizio Pelliccione, Rich Hilliard
Issue Date:September 2010
pp. 305-308
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architecture frameworks are defined to varying degrees of rigour and offer varying leve...
     
Towards maintainer script modernization in FOSS distributions
Found in: Proceedings of the 1st international workshop on Open component ecosystems (IWOCE '09)
By Alfonso Pierantonio, Davide Di Ruscio, Patrizio Pelliccione, Stefano Zacchiroli
Issue Date:August 2009
pp. 171-172
Free and Open Source Software (FOSS) distributions are complex software systems, made of thousands packages that evolve rapidly, independently, and without centralized coordination. During packages upgrades, corner case failures can be encountered and are ...
     
Automatic synthesis of behavior protocols for composable web-services
Found in: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (ESEC/FSE '09)
By Antonia Bertolino, Massimo Tivoli, Paola Inverardi, Patrizio Pelliccione
Issue Date:August 2009
pp. 171-172
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 web-services out of existing ones. In the literature many appr...
     
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems
Found in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (ESEC-FSE '07)
By Alexander Romanovsky, Henry Muccini, Nicolas Guelfi, Patrizio Pelliccione
Issue Date:September 2007
pp. 617-618
Fault tolerance engineering has been advocated as one of the main approaches to ensuring the overall system dependability. The 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS 2007) aims to investigate how fault tolerance mechanisms c...
     
Towards an architectural approach for the dynamic and automatic composition of software components
Found in: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (ROSATEA '06)
By Andrea Polini, Antonio Bucchiarone, Massimo Tivoli, Patrizio Pelliccione
Issue Date:July 2006
pp. 12-21
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to produce a multitude of software systems. However, this ideal scenario is not alwa...
     
CHARMY: an extensible tool for architectural analysis
Found in: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-13)
By Henry Muccini, Paola Inverardi, Patrizio Pelliccione
Issue Date:September 2005
pp. 111-114
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 design and validation phases. To increase its usability in ...
     
 1