English version

Transcript

English version

Patrizio Pelliccione
Via Vetoio - COPPITO 1
L’Aquila (AQ), 67010 Italy
Assistant Professor
University of L’Aquila
Computer Science Department
[email protected]
[email protected]
http://www.di.univaq.it/pellicci
Education June 2005 - PhD degree in Computer Science.
Thesis title: Charmy: A framework for Software Architecture Specification and Analysis
April 2001 - Graduate in Computer Science at University of L’Aquila (110/110).
1998-1999 - Attended a semester of study in Madrid (Spain), ERASMUS project.
Research
Experiences
November 2009 - Dicember 2009 (1.5 months) - Research Associate at Centre for
Software Analysis and Testing, Swinburne University of Technology, Melbourne (Australia)
April 2009 - October 2009 (6 months) - Research Associate at ISTI-CNR Pisa within
the Software Engineering (SE) Laboratory lead by Eng. Antonia Bertolino, Via Moruzzi, 1
- 56124 Pisa (Italy)
October 2008 - November 2008 (1 month) - Research Associate at Centre INRIA
Paris-Rocquencourt ARLES project-team lead by Valrie Issarny, Paris (France).
2005 - 2006 (12 months) - Senior Research at the Faculty of Sciences, Technologies and
Communications, University of Luxembourg (Luxembourg).
February 2004 - April 2004 (3 months) - Research Scholar at SAnToS Laboratory
Dept. of CIS, Kansas State University, Manhattan - Kansas (USA).
Honors &
Awards
Start-up Grant
Winner of Working Capital 2012 with the project FLYAQ (http://www.flyaq.it/): an
open source platform to support mission planning of autonomous quadrotors. The platform
allows to easily program these kinds of UAV through a graphical and high-level language.
In this way a swarm of quadrotors might support humans during environmental missions.
PhD Thesis
Charmy: A framework for Software Architecture Specification and Analysis
Advisor Prof. Paola Inverardi
(e-mail: [email protected], web page: http://www.di.univaq.it/inverard)
Occupation
Patrizio was born in L’Aquila on January 29th , 1975. He received a Laurea degree in
Computer Science at University of L’Aquila on April 2001. On January 2002 Patrizio
became PhD student at the University of L’Aquila, Computer Science Department. Patrizio
received the PhD degree on June 2005 with a thesis titled: “Charmy: A framework for
Software Architecture Specification and Analysis”. From April 2005 to February 2006
Patrizio was Senior Researcher and CORRECT Group Coordinator of the Faculty of Sciences, Technologies and Communications, University of Luxembourg, Software Engineering
Competence Center (SE2C), Luxembourg - Luxembourg. From April 2006 to January 2007
(12 months) Patrizio was collaborator at the University of L’Aquila, Computer Science
Department. Finally, from February 2007 Patrizio is Assistant Professor at the University
of L’Aquila, Faculty of Sciences, Computer Science Department. After the earthquake that
almost destroyed L’Aquila in April 2009 and until October 2009 (6 months) Patrizio was
Research Associate at ISTI-CNR Pisa within the Software Engineering (SE) Laboratory
lead by Antonia Bertolino. Then, from November 2009 to Dicember 2009 (1.5 months)
Patrizio was Research Associate at Centre for Software Analysis and Testing, Swinburne
University of Technology, Melbourne (Australia).
Currently Patrizio is involved in the European project Connect (http://connect-forever.
eu) and in the Artemis European project PRESTO (http://www.presto-embedded.eu).
In the past he worked on the European projects Mancoosi (http://www.mancoosi.org)
and POPEYE (http://www.ist-popeye.eu), on the national (Italian) project Art-Deco
(http://artdeco.elet.polimi.it), on the national (Italian) project d-Asap (http://
d-asap.ws.dei.polimi.it/mediawiki), and on the national (Luxembourgian) project
Correct (http://se2c.uni.lu/tiki-index.php?page=CorrectOverview).
Project coordination
Patrizio has been coordinator of the Luxembourgish CORRECT (rigorous stepwise development of Complex Fault TOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation) project. CORRECT was a three year (2004-2006)
project entirely funded by Luxembourg Ministry of Higher Education and Research (ref.
n. MEN/IST/04/04). Patrizio collaborated and collaborates on several European and national (Italian) projects from the proposal preparation and to the project completion; all
these projects are locally (in UDA) coordinated by Paola Inverardi.
Research
interests
Patrizio’s main research area can be summarized in one sentence: “moving formal methods from theory to practice in software architecture modelling and verification”
Since the beginning of his research career his interest has been on the correct development
and management of large distributed software systems, focussing on the field of software
architectures. He has actively worked on the verification and analysis of behavioural
software architecture properties for component-based and distributed systems. The
developed approaches make use of model checking techniques and of compositional assumeguarantee reasoning in order to cope with the state explosion problem. The main approach
that has been produced is called Charmy [J5], which aims to provide an easy and practical
tool for supporting the iterative modelling and evaluation of software architectures. From a
UML-based architectural design an executable prototype is automatically created. Charmy
simulation and model checking features help in understanding the functioning of the system
and in discovering potential inconsistencies of the design. When a satisfactory and stable
software architecture is reached, Java code conforming to structural software architecture
constraints is automatically generated through suitable transformations. Charmy makes use
of the model checker SPIN that verifies properties expressed in LTL. The downside of LTL is
the level of sophistication required in order to use it. The main problem is related to the difficulty of expressing exactly the desired property. In other words, there is a substantial gap
between natural language and the LTL language. For this reason Patrizio collaborated to
the definition of Property Sequence Chart (PSC) [J1], which is a scenario-based visual language for describing temporal properties. PSCs can express a useful set of both liveness and
safety properties in terms of messages exchanged among the components forming a system.
An algorithm, called PSC2BA, translates PSC into Büchi automata that can be directly
used by model checkers. Extensions of PSC have been defined from different authors to express also real-time (called TPSC) and probabilistic properties (called PTPSC). Moreover,
we extended Charmy to the correct and automatic assembly of evolving component-based
systems [J3].
Recent research direction addresses the problem of modelling and verifying adaptable
and self- adaptable systems. When all possible system evolutions can be anticipated,
algebraic graph transformations techniques [C16] and typed (hyper) graph grammars [C20]
have been used to formally model self-healing systems and to prove consistency and operational properties. When all possible system evolutions cannot be anticipated, assume-
guarantee techniques have been investigated [W17].
Software architectures have been investigated also from the modelling point of view.
Despite the flourishing of languages to describe software architectures1 , existing Architecture Description Languages (ADLs) are still far away from what it is actually needed in
industry. In fact, they mainly support a traditional perception of Software Architecture
(SA) as a set of constituting elements (such as components, connectors and interfaces).
Next generation ADLs must cope with various and ever evolving stakeholder’s concerns by
employing semantic extension mechanisms. For this reason Patrizio collaborated on defining
ByADL (Build Your ADL) [C21], which is a framework for developing a new generation
of ADLs. More specifically, ByADL exploits model-driven techniques that provide the
needed technologies to allow a software architect, starting from existing ADLs, to define its
own ADL by: i) adding domain specificities, new architectural views, or analysis aspects,
ii) integrating ADLs with development processes and methodologies, and iii) customizing
ADLs by fine tuning them. However, sometimes it is unfeasible or not practical to collect
all stakeholder’s concerns within a single, narrowly focused notation. For this reason
Patrizio collaborated to the definition of Dually [J7,J8,C27] which is a framework to create
interoperability among ADLs themselves as well as UML. Given a number of architectural
languages and tools, they can all interoperate thanks to automated model transformation
techniques. The realized framework allows people to automatically propagate changes from
one notation to the other ones involved during the system development.
Patrizio has (co-)authored over seventy five publications in international journals, international books, and international conference and workshop proceedings (see the publication
section or the webpage: http://www.di.univaq.it/pellicci/index_personal.php?
pageId=publications). More than 67% of the published papers do not contain the PhD
advisor of Patrizio (i.e., Paola Inverardi) as author. Within the scientific community of
computer scientists, Patrizio is ranked with h-index equal to 16 and i10- index equal to 27
(http://scholar.google.it/citations?user=DmDWmy4AAAAJ&hl=en)
In its research activity Patrizio collaborated with several industries such as Thales, Selex
Marconi telecommunications, Ericsson, Siemens, TERMA, etc.
Activities Patrizio is reviewer of several leading international peer-reviewed journals among which,
IEEE Transactions on Software Engineering (TSE) (http://www2.computer.org/tse),
in the
ACM Transactions on Software Engineering and Methodology (TOSEM) (http://tosem.
research
acm.org/index.html), IEEE Transactions on Automation Science and Engineering (Tcommunity
ASE) (http://www.ieee-ras.org/tase), Science of Computer Programming (SCP) - Elsevier (http://www.journals.elsevier.com/science-of-computer-programming/), Software and Systems Modeling (SoSym) - Springer (http://www.sosym.org/), Journal of
Software Systems (JSS) (http://ees.elsevier.com/jss), Software Practice and Experience (SPE) journal (http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)
1097-024X), International Journal of Parallel, Emergent and Distributed Systems (http://
www.tandfonline.com/action/aboutThisJournal?journalCode=gpaa20), International
Journal of Software Architecture (http://ijsa.net/IDE), and Software Quality Journal
(http://www.springer.com/computer/swe/journal/11219), Information and Software
Technology journal (http://www.elsevier.com/wps/find/journaldescription.cws_
home/525444/description#description), Computing Journal (http://www.springer.
com/computer/journal/607), International Journal of Computer Mathematics (http:
//www.tandfonline.com/toc/gcom20/current), International Journal of Cooperative Information Systems (http://www.worldscientific.com/worldscinet/ijcis).
Patrizio is Director of the PhD school associated to the workshop Serene 2013 that will be
organized by the ERCIM working group on Software Engineering for Resilient Systems.
1 In
an ongoing work we surveyed 120 existent ADLs.
Patrizio is also regional editor (Europe - Italy) of IJSA - the International Journal of Software
Architecture and member of the Domain Experts Board of the same journal (http://ijsa.
net/index.php?option=com_content&view=article&id=49&Itemid=67).
He is reviewer of the Futuro in Ricerca 2013 MIUR Italian project (http://
futuroinricerca.miur.it/).
He is reviewer of the Blanc SIMI 2 2013 ANR program - France (http:
//www.agence-nationale-recherche.fr/en/research-programmes/aap-en/
blanc-programme-2012/).
He is reviewer of the Research Grants Council (formerly known as Competitive Earmarked
Research Grant), the major annual funding exercise of the RGC to support academic research in the UGC-funded institutions, of Hong Kong SAR, China.
He is reviewer of the Information and Communication Technology Call 2012 of the Vienna
Science and Technology Fund (http://www.wwtf.at).
He is workshops and tutorials chair of SEAA 2012 - 38th Euromicro Conference on Software
Engineering and Advanced Applications September 5-8, 2012. Cesme, Izmir, Turkey (http:
//seaa2012.ii.metu.edu.tr/).
He is publicity chair of the 12th International Conference on Quality Software (QSIC 2012)
- Xi’an, China, 27th - 29th Aug 2012 (http://www.di.univaq.it/qsic2012).
He is publicity chair of the SERENE 2012 - 4th International Workshop on Software Engineering for Resilient Systems.
He participated and participates to program committees of several relevant conferences
on software architectures and software engineering among which, SEAA 2013, FMDEP
2013, WETICE 2013, SERENE 2013, CollaborateCom 2013, FMOODS & FORTE 2012,
QSIC 2012, ISARCS 2012 and 2011, ISSTA2010, FACS2010, CollaborateCom2012 (both
Research Track and Industrial Track), ICSOFT 2008/2009/2010/2011/2012, ICSOFTPT 2013, ICSOFT-EA 2013, Serene 2008/2009/2010/2011/2012, ROSATEA 2006/2007,
VALID2009, WETICE2009, INTENSIVE2009.
Patrizio is steering committee member of the SERENE workshops series from 2009 and he
was program committee chair of SERENE 2008, EFTS 2007, and EFTS 2006.
He was first editor of the book titled “Software Engineering of fault tolerant systems”,
published by World Scientific Publishing Co. Pte. Ltd, Series on Software Engineering and
Knowledge Engineering. ISBN 978-981-270-503-7 981-270-503-1.
Patrizio was editor of the special issue on “Engineering Fault Tolerant Systems” of the
International Journal of Computer Systems Science and Engineering, Vol 23 No 5 September
2008.
From 2008, Patrizio is founding member of SERENE - Software Engineering for REsilieNt
systems - ERCIM (the European Research Consortium for Informatics and Mathematics)
Working Group.
He was local arrangement chair of Automated Software Engineering Conference (ASE 2008),
L’Aquila - Italy.
Patrizio has been external reviewer of the most important conferences on software engineering, such as ICSE, ESEC/FSE, ESEC, FSE, ASE, FASE, etc.
Further information can be found at http://www.di.univaq.it/pellicci/index_
personal.php?pageId=profActivities.
Teaching
Activities
University:
TEACHER of Geographic information system (Sistemi Informativi Territoriali). The course
is an academical course within the master program in Scienze Ambientali at the University
of L’Aquila, academic year 2008-2009 (Dipartimento di scienze ambientali). It is a 24-hour
course.
Software Engineering I: Computer Science Department, University of L’Aquila (Italy) 20062007 (60 hours course).
Concepts in programming languages: Computer Science Department, University of L’Aquila
(Italy) 2006.
Software Engineering: Computer Science Department, University of L’Aquila (Italy) 20022004.
Java Operational Semantics: Java Operational Semantics, lectures notes writing and teaching activity. Computer Science Department, University of L’Aquila (Italy) 2002-2003.
Software Engineering Laboratory I (UML): Computer Science Department, University of
L’Aquila (Italy) 2001-2002.
Other:
Software Engineering: 40 hours course on Software Engineering. ERICSSON Roma - Italia
- May 2008.
Software Engineering: 40 hours course on Software Engineering. ERICSSON Roma - Italia
- April 2008.
Software Architectures: 6 hours course on Software Architectures and ADLs. ERICSSON
Rome - Italy - July 2006.
Java Web applications: 120 hours course on building web applications using Java. Palomara,
Tivoli - Italy - July 2006.
C language: 40 hours course on “Information Technology Introduction”. Liceo Scientifico
L. Spallanzani. Tivoli (Italia) September 2004.
e-Marketing: 20 hours course on e-Marketing and e-Commerce (Web Course).
Abruzzo, Regione Abruzzo - Paterno - L’Aquila (Italia) Dicember 2003.
-IAL
Project Management: 20 hours course on Project Management (Java Course).
Abruzzo, Regione Abruzzo - Paterno - L’Aquila (Italia) October 2003.
-IAL
Java Language: 20 hours course on Java Language. -IAL Abruzzo, Regione Abruzzo Paterno - L’Aquila (Italia) September 2003.
Project Management: 20 hours course on Project Management. -IAL Abruzzo, Regione
Abruzzo - L’Aquila (Italia) 2003.
Java Language: 40 hours course on Java -Bit Media s.r.l.- Roma (Italy) 2002.
J2EE: 40 hours course on J2EE -Bit Media s.r.l.- Roma (Italy) 2002.
Other
2005: Senior Research at the University of Luxembourg.
work
2003: Maintainer of the site http://esecfse.di.univaq.it for the electronic submission
experiences site for the International Conference ESEC/FSE 2003.
2002: Tutor for the course Internet Project Manager. “Multimedia s.r.l.”, Regione Abruzzo.
2002: Maintainer of the site http://univaq.it/~wosp02 for the electronic submission site
for the International Conference WOSP 2002.
1997-2000: Three years work experience in the Department of Matematics of the University
of L’Aquila (Linux, Windows, SUN laboratories).
Tools
released
ByADL [C21], Build Your ADL, is a framework for developing next generation ADLs
according to their evolved requirements. ByADL is built on model-driven technologies
and tools which are more powerful with respect to techniques used in the past, such as
normal programming languages or XSLT that may suffer from code maintainability and
scalability issues. In ByADL, the specification of an ADL mainly consists of a metamodel
whose semantics is given in terms of the DUALLy semantic core. In particular, ByADL is
fully integrated and built on top of DUALLy, a framework that provides ADLs and tools
interoperability. Moreover, ByADL provides composition mechanisms enabling a software
architect to create their own ADL by customizing or extending existent ADLs. In ByADL
interoperability and extensibility mechanisms coexist since we believe that it is not practical
to put everything in one architectural language. For this reason we do not promote, even
though this could be technically possible, the composition and merging of two different
ADLs. With byADL, an existing ADL can be extended with (i) domain specific concerns,
(ii) analysis notations, (iii) new architectural views, and (iv) methodologies and processes
that support other life-cycle activities. ByADL allows software architects to cut-off part
of an ADL metamodel and to finely tune it by adding references and so on. ADL-specific
tools are build on top of ByADL that enables functionalities like visualization, consistency
checking, and multi-view handling of architectural descriptions. byADL is implemented as a
set of Eclipse plugins that can be integrated with other MDE technologies already available
in the Eclipse community.
Dually [J7,J8,C27]: many architectural languages have been proposed in the last fifteen
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 stakeholder concerns. Capturing all such concerns within a single, narrowly focused
notation is impossible. At the same time it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain specific notations for architectural
modeling have been proposed, each one focussing on a specific application domain, analysis
type, or modeling environment. These considerations led us to propose Dually a framework
to create interoperability among ADLs themselves as well as UML. As conceptually shown
in the figure below, DUALLy permits to transform concepts of an architectural model M1
into the semantically equivalent concepts in the architectural model M2. Each Mi conforms
to its MMi meta-model or UML profile. Every MMi can be a meta-model of an architectural language. Therefore, DUALLy works at two abstraction evels: meta-modeling, and
modeling. At the meta-modeling level, model driven engineers provide a specification of
the architectural language in terms of its meta-model or UML profile. They then define a
meta-transformation so as to semantically relate architectural concepts in MM1 with the
equivalent elements in MM2. At the modeling level, software architects specify the SA
using their preferred ADL or UML-based notation. DUALLy allows the automatic generation of model-to-model transformations which permit the software architect to automatically
translate the M1 specification (written according to MM1) into the corresponding M2 model
(conforming to MM2) and vice versa. DUALLy is automated and implemented as an Eclipse
plugin. MMi meta-models are expressed in Ecore. MMi profiles can be realized using any
UML tool which exports in UML2, the EMF-based implementation of the UML 2.0 metamodel for the Eclipse platform. A0 is represented as a UML profile. Transformations among
meta-models/profiles and model-to-model transformations are implemented in the context
of the AMMA platform. Model-to-model transformations are then automatically instantiated, thus providing the possibility to automatically reflect modifications made on a model
designed with one extension to one or even all of the other extensions.
MEGAF [C23] is an infrastructure for realizing architecture frameworks. We refer to the
definition of architecture framework provided in the ISO/IEC 42010 standard. Most practicing 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 rigor and offer varying levels of tool support, they
tend to be closed: constituent elements are defined in different non-standard ways, they
are not reusable, and the creation of other frameworks requires a complete rework. With
the aim to manage this issue, we present MEGAF, an infrastructure for realizing architecture frameworks, which can be used to create architecture descriptions. It builds upon the
conceptual foundations of ISO/IEC 42010 for architecture description. MEGAF is realized
through megamodeling techniques that offer the needed technology to: (i) create, store, and
manage viewpoints, views, and concerns, (ii) define correspondences among architectural
elements, and (iii) perform consistency and completeness checks. The overall approach is
implemented via Eclipse plugins.
PSC [J1] is a simple but expressive graphical formalism for specifying temporal properties.
Two are the main requirements of PSC, simplicity and expressiveness. Remaining close to
the graphical notation of UML2.0 Sequence Diagrams, the requirement of simplicity is satisfied. The PSC expressiveness is measured with the property specification patterns. PSC
describes interactions between a collection of components that can be simultaneously executed and that communicate by message passing. PSC distinguishes among three different
types of messages called arrowMSGs. Regular messages: the labels of such messages are
prefixed by “e:”. They denote messages that constitute the precondition for a desired (or
an undesired) behavior. It is not mandatory for the system to exchange a Regular message;
however, if it happens the precondition for the continuations has been verified. Required
messages: are identified by “r:” prefixed to the labels. It is mandatory for the system to
exchange this type of messages. Fail messages: the labels are prefixed by “f:”. They identify messages that should never be exchanged. Fail messages are used to express undesired
interactions. We also define Constraint operators that impose “restrictions” on the set of
messages (called intraMSGs) possibly exchanged between the considered message and its
predecessor or successor (the predecessor of the first message of a PSC is the startup of the
system). Restrictions specify either a chain of intraMSGs or a boolean formula (over a set of
intraMSG labels). Parallel, Loop, and Simultaneous operators are introduced with a UML
2.0 like graphical notation.
Charmy: I am the first author of Charmy (CHecking ARchitectural Model consistencY)
[J5], an open source tool released under GNU Public Licence (GPL). Since from the earlier stage of the software development process, Charmy aims at assisting the software
architect in designing software architecture and in validating them against expected properties. Charmy is composed of a graphical editor which permits to specify the software
architecture, a translator utility which converts diagrams in the languages comprehensible by the model checking engine (at present the model-checker SPIN), a repository which
stores models for subsequent reuse. The tool is downloadable at the following address:
http://www.di.univaq.it/charmy.
EVOSS [J9,C28] implements a model-based approach to support the upgrade of FOSS
systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. Both fine-grained static aspects (e.g., configuration incoherences)
and dynamic aspects (e.g., the execution of configuration scripts) are taken into account,
improving over the state of the art of package managers. The simulation of a system upgrade is performed by the Upgrade Simulator which takes a set of models as input produced
by the Injector: a System Configuration Model and Package Models corresponding to the
packages which have to be installed/removed/replaced. The output of Upgrade Simulator
is a new System Configuration Model if no errors occur during the simulation, otherwise an
Incoherences Report is produced. The new System Configuration Model is queried and analyzed by the Failure Detector component. When Failure Detector discovers inconsistencies
they are collected in the Incoherences Report. The real upgrade is performed on the system
only if the new system configuration model is coherent.
Invited
Presentations and
tutorials
“Supporting software evolution in component-based FOSS systems”, 3 maggio 2011, Polimi
DEI - Aula seminari headed by Prof. Carlo Ghezzi (http://www.dei.polimi.it/eventi/
dettaglio.php?id_elemento=290&idlang=ita).
“Towards an assume-guarantee theory for adaptable systems”, 29 October 2009, Formal
Specifications (TFS) Group at TU Berlin headed by Prof. Hartmut Ehrig.
“CHARMY: A Framework for Designing and Verifying Architectural Specifications”, 6
November 2009, Centre for Complex Software Systems & Services, Swinburne University of
Technology.
“Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies”, 20 November 2009, Centre for Complex Software Systems & Services,
Swinburne University of Technology.
H. Muccini, P. Pelliccione, and A. Romanovsky, “Architecting Fault Tolerant Systems”, The
27th International Conference on Computer Safety, Reliability and Security (SAFECOMP
2008) Thursday 25th September, 13:30 - 17:00, Newcastle upon Tyne, UK.
H. Muccini, P. Pelliccione, and A. Romanovsky, “Architecting Fault Tolerant Systems”,
The 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
5-9th of November, Trollhattan, Sweden.
H. Muccini, P. Pelliccione, and A. Romanovsky, “Architecting Fault Tolerant Systems”, 6th
IEEE/IFIP Working Conference on Software Architecture (WICSA 2006). Mumbai, India.
6-9 January 2007.
“ADL and UML: SA in Practice”, July 2006, Ericsson Telecomunicazioni S.p.A, Roma
(Italy).
“ADL and UML: The Charmy Approach”, 20 October, 2004, INRIA Paris Rocquencourt,
Arles research group, headed by Prof. Valerié Issarny.
“Using model-checking techniques for architecture analysis and formal prototyping”, 13
March, 2004, Dept. of Computing and Information Sciences (CIS) at Kansas State University (Matt Dwyer).
“Using model-checking techniques for architecture analysis and formal prototyping”, 3 June,
2003, Dipartimento di Elettronica e Informazione, Software Engineering group at Politecnico
di Milano headed by Prof. Carlo Ghezzi.
Publications (Ordered by type)
::. Journals .::
J11. Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione and Antony Tang,
What Industry needs from Architectural Languages: A Survey (2012), in: IEEE Transactions on Software Engineering (TSE), To appear.
J10. Marco Autili, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Developing
highly complex distributed systems: A software engineering perspective (2011), in:
Journal of Internet Services and Applications (JISA), Special issue: FOME - The
Future of Middleware, 3:1(15-22).
J9. Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli, “Supporting Software Evolution in ComponentBased FOSS Systems” (2010), in: Science of Computer Programming: DOI:
10.1016/j.scico.2010.11.001.
(2009 ISI IF = 1,459; Rank 33\93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2); Last 5-Year IF = 1,365).
J8. Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso
Pierantonio, “A model-driven approach to automate the propagation of changes among
Architecture Description Languages” (2012), in: Software and Systems Modeling,
11:1(29-53). DOI: 10.1007/s10270-010-0170-z.
(2009 ISI IF = 1,533; Rank 29\93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2); Last 5-Year IF = )
J7. Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, and Damien Tamburri “Providing Architectural Languages and Tools Interoperability through Model Transformation
Technologies”. IEEE Transactions on Software Engineering (TSE). IEEE computer
Society. 36:1(119-140), 2010.
(2009 ISI IF = 3,750; Rank 1\93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q1); Last 5-Year IF = 4,865)
J6. Juan A. Botia Blaya, Isabelle Demeure, Paolo Gianrossi, Pedro Garcia Lopez, Juan
Antonio Martinez Navarro, Eike Michael Meyer, Patrizio Pelliccione, Frederique
Tastet-Cherel. “POPEYE: providing collaborative services for ad hoc and spontaneous communities”. Service Oriented Computing and Applications journal, Vol. 3,
issue 1, in March 2009. Springer publisher. DOI: 10.1007/s11761-009-0038-7.
J5. Patrizio Pelliccione, Paola Inverardi, and Henry Muccini. “CHARMY: A framework
for Designing and Verifying Architectural Specifications”. IEEE Transactions on Software Engineering (TSE). Volume 35, Issue 3, May-June 2009 Page(s):325 - 346. DOI:
http://doi.ieeecomputersociety.org/10.1109/TSE.2008.104.
J4. Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, and
Avelino Zorzo. “Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: a comparative study”. Journal of Systems and
Software, Volume 82, Issue 2, February 2009, Pages 207-228.
Doi: http://dx.doi.org/10.1016/j.jss.2008.05.038.
J3. P. Pelliccione, M. Tivoli, A. Bucchiarone, and A. Polini, “An architectural approach to
the correct and automatic assembly of evolving component-based systems”. Journal
of Systems and Software, 81 (2008), pp. 2237-2251.
Doi: http://dx.doi.org/10.1016/j.jss.2008.05.030.
J2. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, and Alexander Romanovsky. “Engineering Fault Tolerant Systems”. International Journal of Computer Systems Science & Engineering. Vol 23, No 5 September 2008.
J1. Marco Autili, Paola Inverardi, and Patrizio Pelliccione, “Graphical Scenarios for
Specifying Temporal Properties: an Automated Approach”. Automated Software
Engineering (ASE) journal. DOI 10.1007/s10515-007-0012-6. Volume 14, Number 3
/ September, 2007.
(2009 ISI IF = 1,267; Rank 43\93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2); Last 5-Year IF = )
::. Books, Chapters in Books and Encyclopedias .::
B8. Paola Inverardi, Patrizio Pelliccione, Michelangelo Lupone and Alessio Gabriele, AdOpera: Music-inspired Self-adaptive Systems, pages -, Computation for Humanity:
Information Technology to Advance Society [Hardcover] - CRC Press, 2012.
B7. Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and
Stefano Zacchiroli, A Model Driven Approach to Upgrade Package Based Software
Systems, chapter of the book Evaluation of Novel Approaches to Software Engineering,
pages 262–276, Springer, Heidelberg, Communications in Computer and Information
Science (CCIS), volume 69, 2010.
B6. Doron Peled, Patrizio Pelliccione, and Paola Spoletini. “Model Checking”. Wiley
Encyclopedia of Computer Science and Engineering 6th Edition. Online ISBN 978-0470-05011-8 Print ISBN 978-0-471-38393-2. Published by John Wiley & Sons, 2009.
B5. Antonio Bucchiarone, Davide di Ruscio, Henry Muccini and Patrizio Pelliccione,
“From Requirements to code: an architecture-centric approach for producing quality systems”. Chapter of the book “Model-Driven Software Development: Integrating
Quality Assurance” edited by Joerg Rech (Fraunhofer IESE, Kaiserslautern, Germany)
and Christian Bunse (International University, Bruchsal, Germany). The book is published by Idea Group Inc., http://www.idea-group.com, publisher of the Idea Group
Publishing, Information Science Publishing, IRM Press, CyberTech Publishing and
Idea Group Reference imprints. 2008.
B4. Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi and Alexander Romanovsky, Software Engineering of Fault Tolerant Systems, World Scientific Publishing Co. Pte.
Ltd., volume 19, 2007.
B3. P. Pelliccione, H. Muccini, N. Guelfi, and A. Romanovsky, Introduzione al libro
“SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS”, editori P. Pelliccione, H. Muccini, N. Guelfi, and A. Romanovsky. World Scientific Publishing Co.
Pte. Ltd, Series on Software Engineering and Knowledge Engineering. ISBN 978981-270-503-7 981-270-503-1. Pag. 1-30. 2007. http://www.worldscibooks.com/
compsci/6362.html
B2. Alfredo Capozucca, Nicolas Guelfi, and Patrizio Pelliccione “The Fault-Tolerant Insulin Pump Therapy”. Chapter of the book “Rigorous Engineering of Fault-Tolerant
Systems”, Co-editors: M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna. LNCS
4157, Lecture Notes in Computer Sciences, Springer-Verlag, Berlin Heidelberg, pages
59-79, 2006.
B1. P. Pelliccione, “Charmy: A framework for Software Architecture Specification and
Analysis”. PhD Thesis, Computer Science Department, University of L’Aquila. June
2005.
::. Magazines .::
M5. H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Guaranteeing Correct
Evolution of Software Product Lines (2012), in: ERCIM News, Special Theme: Evolving Software:88.
M4. Davide Di Ruscio, Patrizio Pelliccione and Alfonso Pierantonio, Managing the Evolution of FOSS Systems (2012), in: ERCIM News, Special Theme: Evolving Software:88.
M3. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky,
SERENE 2008 International Workshop on Software Engineering for Resilient Systems,
Ercim News n. 76, 2009.
M2. Alfredo Capozucca, Barbara Gallina, Nicolas Guelfi, Patrizio Pelliccione, and Alexander Romanovsky, “CORRECT” Developing Fault-Tolerant Distributed Systems”.
ERCIM NEWS (European Research Consortium for Informatics and Mathematics).
No. 64, January 2006.
M1. M. Caporuscio, H. Muccini, P. Inverardi, P. Pelliccione, “Charmy: A Framework for
Designing and Validating Architectural Specifications”. ERCIM NEWS (European
Research Consortium for Informatics and Mathematics). Special: Automated
Software Engineering. Number 58, July 2004.
::. International Conferences .::
C30. Rich Hilliard, Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, On the Composition and Reuse of Viewpoints across Architecture Frameworks, in: 10th Working
IEEE/IFIP Conference on Software Architecture (WICSA) & 6th European Conference on Software Architecture (ECSA) - WICSA/ECSA 2012, Helsinki, Finland, 2012.
C29. Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione and Massimo Tivoli,
Automated Inference of Models for Black Box Systems based on Interface Descriptions,
in: 5th International Symposium On Leveraging Applications of Formal Methods,
Verification and Validation, Amirandes, Heraclion, Crete, 2012
C28. Davide Di Ruscio, Patrizio Pelliccione, and Alfonso Pierantonio, EVOSS: a tool for
managing the Evolution of Free and Open Source Software systems, in: the 34th
International Conference on Software Engineering (ICSE 2012). Demo paper, 2012.
(acceptance rate 30.7%)
C27. Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso
Pierantonio, Model-driven techniques to enhance Architectural Languages Interoperability, in: 15th International Conference on Fundamental Approaches to Software
Engineering (FASE), Tallinn, Estonia, 2012. (acceptance rate 24.6%)
C26. Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, EAGLE: Engineering softwAre in the ubiquitous Globe by
Leveraging uncErtainty, in: ESEC/FSE 2011 New Ideas track, 2011. (acceptance rate
25.58%)
C25. Davide Di Ruscio and Patrizio Pelliccione, Managing the Evolution of Free and Open
Source Software Complex Systems, in: V Conferenza Italiana sul Software Libero Milano 23-24 Giugno 2011, 2011.
C24. Alessio Gabriele, Michelangelo Lupone, Paola Inverardi and Patrizio Pelliccione, AdOpera: Music-inspired Self-adaptive Systems, in: Proceedings of the Foundations of
Software Engineering (FSE) and NITR&D/SPD Working Conference on the Future
of Software Engineering Research, pages 119-124, 2010.
C23. Rich Hilliard, Henry Muccini, Ivano Malavolta and Patrizio Pelliccione, Realizing
architecture frameworks through megamodelling techniques, in: 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010. (acceptance rate 19.75% - Short paper).
Pierantonio, ByADL: an MDE framework for building extensible Architecture Description Languages, in: 4th European Conference on Software Architecture (ECSA 2010),
LNCS 6285, Copenhagen, Denmark, pages 527-531, Springer-Verlag Berlin Heidelberg,
2010.
Pierantonio, Developing next generation ADLs through MDE techniques, in: 32nd
International Conference on Software Engineering (ICSE 2010), 2010. (acceptance
rate 13.7%)
C20. Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Olga Runge and Patrizio Pelliccione, Formal Analysis and Verification of Self-Healing Systems, in: Fundamental
Approaches to Software Engineering (FASE 2010), Sringer-Verlag Berlin Heidelberg,
2010. (acceptance rate 25%)
C19. Antonella Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli, “Automatic
synthesis of behavior protocols for composable web-services”. In proceedings of the 7th
joint meeting of the European Software Engineering Conference (ESEC) and the ACM
SIGSOFT Symposium on the Foundations of Software Engineering (FSE). August 2428 2009. Amsterdam, The Netherlands. (acceptance rate 15% (32+7/217))
C18. Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli. “Towards a Model Driven Approach to Upgrade Complex Software
Systems”. In proceedings of the 4th International Working Conference on Evaluation
of Novel approaches to Software Engineering (ENASE 2009). 6 - 10 May 2009, Milan
- Italy.
C17. Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, Integrating AADL within a
Multi-domain Modeling Framework, in: IEEE International Conference on Engineering of Complex Computer Systems, pages 341-346, IEEE Computer Society, 2009.
C16. Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani and Olga Runge, SelfRepairing systems modeling and verification using AGG, in: WICSA/ECSA, pages
181-190, 2009 (acceptance rate 27%)
C15. Ivano Malavolta, Henry Muccini, Patrizio Pelliccione. “DUALLY: a framework for
Architectural Languages and Tools Interoperability”. 23rd IEEE/ACM International
Conference on Automated Software Engineering (ASE2008). September 15-19 2008
L’Aquila, Italy. IEEE Press.
C14. Paolo Gianrossi, Christian Melchiorre, and Patrizio Pelliccione. “POPEYE, a Peerto-peer Collaborative Working Environment over Mobile Ad-hoc Networks”. In proceeding of the International Conference eChallenges e2008. 22 - 24 October 2008
Stockholm, Sweden.
C13. Henry Muccini, Patrizio Pelliccione,“Simulating Software Architectures for functional
analysis”. Working IEEE/IFIP Conference on Software Architecture (WICSA) 2008.
18–22 February 2008, Vancouver, BC, Canada. IEEE Computer Society. 2008. (acceptance rate 27%)
C12. Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Marcel Arrufat, Patrizio Pelliccione, Frederique Tastet-Cherel, “POPEYE: a simple and
reliable collaborative working environment over mobile ad-hoc networks”. The 3rd
International Conference on Collaborative Computing: Networking, Applications and
Worksharing (CollaborateCom 2007). Crowne Plaza White Plains, New York, USA,
November 12-15, 2007. IEEE Catalog Number: 07EX1828C. ISBN: 1-4244-1317-6.
2007.
C11. N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky. “Workshops summaries: EFTS
2007: the 2nd international workshop on engineering fault tolerant systems”. Proceedings of the 6th joint meeting of the European software engineering conference and the
ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE
’07. Dubrovnik, Croatia. 2007. ACM Press.
C10. H. Muccini, P. Pelliccione, A. Romanovsky. “Architecting Fault Tolerant Systems”.
Tutorial at the Sixth Working IEEE/IFIP Conference on Software Architecture.
WICSA 2007. Mumbai, India, January 7 2007.
C9. A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. Zorzo “CAA-DRIP: a
framework for implementing Coordinated Atomic Actions”. The 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). 6-10 November
2006 - Raleigh, North Carolina, USA.
C8. Daniela Colangelo, Daniele Compare, Paola Inverardi, and Patrizio Pelliccione “Reducing Software Architecture Models Complexity: a Slicing and Abstraction Approach”. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006). September 26–29 2006, Paris,
France. LNCS n. 4229, pp. 243–258. (Acceptance rate: 31%)
C7. A. Bucchiarone, H. Muccini, and Patrizio Pelliccione, “A Practical Architecturecentric Analysis Process”. Second International Conference on the Quality of Software
Architectures (QoSA 2006). June 27-29, 2006 Malardalen University, Vasteras near
Stockholm, Sweden. LNCS n. 4214.
C6. P. Inverardi, H. Muccini, P. Pelliccione, “DUALLy: Putting in Synergy UML 2.0
and ADLs”. 5th IEEE/IFIP Working Conference on Software Architecture (WICSA
2005). Pittsburgh, PA, 6-9 November 2005.
C5. P. Inverardi, H. Muccini, P. Pelliccione, “Charmy: An Extensible Tool for Architectural Analysis”. ESEC-FSE’05, The fifth joint meeting of the European Software
Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. Research Tool Demos. Lisbon, Portugal, September 5-9, 2005.
C4. P. Pelliccione, H. Muccini, A. Bucchiarone, and F. Facchini, “TeStor: Deriving Test
Sequences from Model-based Specifications”. 8th International SIGSOFT Symposium
on Component-based Software Engineering. May 2005, St. Louis, Missouri, USA.
LNCS n. 3489. pp. 267-282. (Acceptance rate 25%)
C3. M. Caporuscio, P. Inverardi, P. Pelliccione, “Compositional Verification of
Middleware-Based Software Architecture descriptions”. In the International Conference on Software Engineering (ICSE 2004). May 23-28, EICC, Scotland, UK. IEEE
Computer Science Press. pp. 221- 230. (acceptance rate 13%)
C2. D. Compare, P. Inverardi, P. Pelliccione, A. Sebastiani, “Integrating model-checking
architectural analysis and validation in a real software life-cycle”. In the 12th International Formal Methods Europe Symposium (FME 2003), year 2003. LNCS n.2805,
September 2003, pp 114-132. (Acceptance rate 31%)
C1. P. Inverardi, H. Muccini, and P. Pelliccione, “Automated Check of Architectural
Models Consistency using Spin”. In the Automated Software Engineering Conference
Proceedings (ASE 2001). San Diego, California, November 2001. IEEE Computer
Science Press. (Acceptance rate 20%)
::. Internazional Workshops (with review process) .::
W23. Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Integration architecture synthesis for taming uncertainty
in the Digital Space, pages 118131, Springer-Verlag Berlin Heidelberg, Lecture Notes
in Computer Science, volume 7539, 2012
W22. H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Assume-Guarantee Testing of Evolving Software Product Line Architectures, in: SERENE 2012, 4th International Workshop on Software Engineering for Resilient Systems, Pisa, Italy, pages
91-105, Lecture Notes in Computer Science - LNCS, 7527, 2012
W21. H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Guaranteeing Correct
Evolution of Software Product Lines: Setting up the Problem, in: SERENE 2011,
Springer Computer Science Editorial, 2011.
W20. Patrizio Pelliccione, Massimo Tivoli, Luca Cavallaro, Elisabetta Di Nitto and Matteo Pradella, Synthesizing adapters for conversational web-services from their WSDL
interface, in: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), Copytight 2010 ACM, 2010.
W19. Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, and Alfonso Pierantonio. “Towards a Framework for Distributed and Collaborative Modeling”. The 7th International Workshop on Distributed and Mobile Collaboration (DMC 2009). June 29 July 1, 2009, Groningen (The Netherlands).
W18. Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli,
Towards maintainer script modernization in FOSS distributions, in: International
Workshop on Open Component Ecosystems (IWOCE2009), ESEC/FSE 2009, Amsterdam, The Netherlands, 2009
W17. Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli, “Towards An Assume-Guarantee
Theory for Adaptable Systems”. In proceedings of the International workshop on
Software Engineering for Adaptive and Self-managing Systems (SEAMS 2009), colocated with ICSE 2009. May 18-19, 2009 Vancouver, BC, Canada.
W16. Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Gerard
Parı́s, Patrizio Pelliccione, and Frédérique Tastet-Cherel. “A Software Architecture
for Reliable Collaborative Working Environments”. In Proceedings of the 16th IEEE
international Workshops on Enabling Technologies: infrastructure For Collaborative
Enterprises (DMC 2007), June 18 - 20, 2007. WETICE. IEEE Computer Society,
Washington, DC, 176-177. DOI= http://dx.doi.org/10.1109/WETICE.2007.113.
W15. A. Bucchiarone, H. Muccini, P. Pelliccione “Architecting Fault-tolerant Componentbased Systems: from requirements to testing”. 2nd Internation Workshop on Views On
Designing Complex Architectures (VODCA) 2006. September 16-17, 2006 - Bertinoro,
Italy. Electronic Notes in Theoretical Computer Science 168 (2007) 77–90.
W14. Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, and Massimo Tivoli “Towards an architectural approach for the dynamic and automatic composition of software components”. The Role of Software Architecture for Testing and Analysis
(ROSATEA’06), July 17, 2006, Portland, Maine USA.
W13. Marco Autili, Paola Inverardi, and Patrizio Pelliccione, “A Scenario Based Notation
for Specifying Temporal Properties”. 5th International Workshop on Scenarios and
State Machines: Models, Algorithms and Tools (SCESM’06). Shanghai, China, May
27, 2006.
W12. Marco Autili, and Patrizio Pelliccione, “Towards a Graphical Tool for Refining User
to System Requirements”. 5th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT06), April 1 - 2 2006, Vienna, Austria.
Electronic Notes in Theoretical Computer Science Volume 211, 28 April 2008, Pages
147-157. doi:10.1016/j.entcs.2008.04.037.
W11. Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione, and Alfonso Pierantonio, “Towards Weaving Software Architecture Models”. MBD-MOMPES 2006 Workshop to
be held at ECBS 2006 in Potsdam, Germany, March 27-30, 2006. To appear on IEEE
Computer Science Press.
W10. Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio, “Rapid System Development Via Product Line Architecture Implementation”. 2nd International
Workshop RISE 2005. Rapid Integration of Software Engineering techniques 8-9
September, 2005. Heraklion Crete, GREECE. LNCS n. 3943.
W9. A. Capozucca, B. Gallina, N. Guelfi, P. Pelliccione, “Modeling Exception Handling: a
UML2.0 Platform Independent Profile for CAA”. Workshop on Exception Handling in
Object Oriented Systems: Developing Systems that Handle Exceptions, in conjunction
with ECOOP 2005. 25 July 2005, Glasgow (Scotland), 2005.
W8. A. Capozucca, N. Guelfi, P. Pelliccione, “The Fault-Tolerant Insulin Pump Therapy”.
Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in
conjunction with Formal Methods 2005. 18-22 July 2005, University of Newcastle
upon Tyne, UK, 2005.
W7. M. Caporuscio, D. Di Ruscio, P. Inverardi, P. Pelliccione, and A. Pierantonio, “Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications”. Second European Workshop on Software Architecture - EWSA 2005, June
13th and 14th, 2005. Pisa Italy. LNCS n. 3527. pp. 130–146.
W6. V. Cortellessa, A. Di Marco, P. Inverardi, H. Muccini, P. Pelliccione, “Using UML
for SA-based Modeling and Analysis”. Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling
Languages and Applications. October 11-15, 2004, Lisbon, Portugal.
W5. A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini, “Model-Checking plus Testing:
from Software Architecture Analysis to Code Testing”. 1st International Workshop
on Integration of Testing Methodologies (ITM 2004). October 1 – 2 ,2004, Toledo,
Spain. LNCS n.3236. pp 351-365.
W4. M. Caporuscio, P. Inverardi, P. Pelliccione, “Formal Analysis of Architectural Patterns”. First European Workshop on Software Architecture - EWSA 2004, 21-22 May
2004, St Andrews, Scotland. LNCS n.3047. pp 10-24.
W3. V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione, “A framework
for integration of functional and non-functional analysis of software architectures”.
Electr. Notes Theor. Comput. Sci. 116: 31-44 (2005), Proocedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS),
Barcelona, march 27 - 28, 2004.
W2. P. Inverardi, F. Mancinelli, H. Muccini, P. Pelliccione, “An Experience in Architectural
Extension: Active Object in J2EE”. In the International Workshop on scientific
engineering of Distributed Java applications (FIDJI’2002), year 2002. LNCS n.2604,
February 2003, pp 87-98.
W1. P. Inverardi, H. Muccini, P. Pelliccione, “Checking consistency between architectural
models using Spin”. In Proc. The First Int. Workshop from Software Requirements
to Architectures (STRAW’01), year 2001.
References
Available on request.

English version

Transcript

Documenti analoghi

the iafor european conference series 2014

FEMINA FABER

Untitled - PORTO - Publications Open Repository TOrino

programma di lingua inglese - Liceo Scientifico E. Fermi Nuoro

School Presentation 09-10 - 00 - Scuola di Architettura Civile del

Il Presidente

Early Music History A GENTLEMAN IN EXILE

www.i-Italyny.com www.i

MANFREDO TAFURI AND THE CRITIQUE OF REALISM

`Monnet`s Error?`

ARCHITECTURE I THEORY I CRITICISM I HISTORY