Search For:

Displaying 1-29 out of 29 total
Run-time systems failure prediction via proactive monitoring
Found in: Automated Software Engineering, International Conference on
By Pengcheng Zhang,Henry Muccini,Andrea Polini, Xuandong Li
Issue Date:November 2011
pp. 484-487
In run-time evolving systems, components may evolve while the system is being operated. Unsafe run-time changes may compromise the correct execution of the entire system. Traditional design-time verification techniques difficultly cope with run-time change...
Architecture-Based Testing and System Validation - Workshop Summary
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Bedir Tekinerdogan, Paul Clements, Henry Muccini, Michel Chaudron, Andrea Polini, Eoin Woods
Issue Date:June 2011
pp. 341
This paper summarizes the workshop on Architecture-Based Testing and System Validation which was organized in conjunction with the 9th Working IEEE/IFIP Conference on Software Architecture. The main goal of the workshop was to bring together researchers an...
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....
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...
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models
Found in: Web Services, IEEE International Conference on
By Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun
Issue Date:September 2008
pp. 752-753
The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C that can be viewed as a blueprint for the development of end-point services. Considering that it is the W3C candidate recommendation for web service choreog...
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
Found in: 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
By Mauro Caporuscio,Antinisca Di Marco,Leonardo Mariani,Henry Muccini,Andrea Polini,Onn Shehory
Issue Date:September 2008
pp. 529-530
Provides notice of upcoming conference events of interest to practitioners and researchers.
Developing a Course on Designing Software in Globally Distributed Teams
Found in: Global Software Engineering, International Conference on
By Patricia Lago, Henry Muccini, Muhammad Ali Babar
Issue Date:August 2008
pp. 249-253
Present-day software engineering combines technical and social skills, as well as collaboration among people with different backgrounds (e.g. due to global development and outsourcing). In this paper we address the problem of teaching
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...
Using Model Differencing for Architecture-level Regression Testing
Found in: EUROMICRO Conference
By Henry Muccini
Issue Date:August 2007
pp. 59-66
<p>Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression testability of the evolved system.</p> <p>With the advent ...
Towards a European Master Programme on Global Software Engineering
Found in: Software Engineering Education and Training, Conference on
By Patricia Lago, Henry Muccini, Ljerka Beus-Dukic, Ivica Crnkovic, Sasikumar Punnekkat, Hans Van Vliet
Issue Date:July 2007
pp. 184-194
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Global SE European Master (GSEEM) programme aims to provide students with an exc...
What Makes Software Architecture-Based Testing Distinguishable
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Henry Muccini
Issue Date:January 2007
pp. 29
Has Software Architecture-based testing any characteristic which makes it unique with respect to other testing techniques? This recurrent question will be analyzed in this short paper, providing some initial solution, while leaving ample space for discussi...
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...
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Found in: Computer Software and Applications Conference, Annual International
By Henry Muccini, Marcio Dias, Debra J. Richardson
Issue Date:July 2005
pp. 189-195
<p>Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the assembled component-based system. By focussing on the assembly, a sof...
Using Software Architecture for Code Testing
Found in: IEEE Transactions on Software Engineering
By Henry Muccini, Antonia Bertolino, Paola Inverardi
Issue Date:March 2004
pp. 160-171
<p><b>Abstract</b>—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 specification of SA...
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...
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
Found in: Software Engineering, International Conference on
By Antonia Bertolino, Paola Inverardi, Henry Muccini
Issue Date:May 2001
pp. 0211
Abstract: Our research deals with the use of the Software Architecture (SA) as a reference model for the conformance testing of the implemented system with respect to its architectural specification, at the integration test level. Having formerly identifie...
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis
Found in: 2014 IEEE/IFIP Conference on Software Architecture (WICSA)
By Alessandro Baroni,Henry Muccini,Ivano Malavolta,Eoin Woods
Issue Date:April 2014
pp. 251-254
A previous study, run by some of the authors in collaboration with practitioners, has emphasized the need to improve architectural languages in order to (i) make them simple and intuitive enough to communicate effectively with project stakeholders, and (ii...
A Study on Group Decision-Making in Software Architecture
Found in: 2014 IEEE/IFIP Conference on Software Architecture (WICSA)
By V. Smrithi Rekhav,Henry Muccini
Issue Date:April 2014
pp. 185-194
When architecting software systems, architects (with the contribution of other stakeholders) make several design decisions. These decisions could be related to the selection of the right components and connectors, the architectural style to be used, the di...
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...
Path Loss Effect on Energy Consumption in a WSN
Found in: Computer Modeling and Simulation, International Conference on
By Krishna Doddapaneni,Enver Ever,Orhan Gemikonakli,Ivano Malavolta,Leonardo Mostarda,Henry Muccini
Issue Date:March 2012
pp. 569-574
Energy consumption of nodes is a crucial factor that constrains the networks life time for Wireless Sensor Networks (WSNs). WSNs are composed of small sensors equipped with low-power devices, and have limited battery power supply. The main concern in exist...
Software architecture tool demonstrations
Found in: Proceedings of the WICSA/ECSA 2012 Companion Volume (WICSA/ECSA '12)
By Bedir Tekinerdogan, Henry Muccini
Issue Date:August 2012
pp. 84-85
In this paper, we describe the short summary of the tool demonstrations session at WICSA/ECSA 2012. The session aimed to attract both tools in practice and research tools. We describe the targeted topics for the tool support, and report on the program.
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...
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...
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 ...
Towards software architecture-based regression testing
Found in: Proceedings of the 2005 workshop on Workshop on architecting dependable systems (WADS '05)
By Debra J. Richardson, Henry Muccini, Marcio S. Dias
Issue Date:May 2005
pp. 105-110
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also important to evaluate, and thereby confirm, system dependability. There are man...