Powered by
2014 Software Evolution Week --- IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE),
February 3-6, 2014,
Antwerp, Belgium
Project Track
CHOReOS: Large Scale Choreographies for the Future Internet
Marco Autili, Paola Inverardi, and Massimo Tivoli
(University of L'Aquila, Italy)
In this paper we share our experience in the CHOReOS EU project. CHOReOS provides solutions for the development and execution of large scale choreographies for the Future Internet. Our main involvement in the project concerns the definition of a choreography development process based on automated synthesis of choreographies out of a large scale service base and a user-centric requirements specification. By focusing on the work package WP2, whose main outcome is the realization of the CHOReOS development process, we discuss the WP2 activities by also summarizing main objectives and related achievements.
@InProceedings{CSMR-WCRE14p391,
author = {Marco Autili and Paola Inverardi and Massimo Tivoli},
title = {CHOReOS: Large Scale Choreographies for the Future Internet},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {391--394},
doi = {},
year = {2014},
}
DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence
Benoit Baudry,
Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, and Siobhán Clarke
(INRIA, France; University of Rennes 1, France; SINTEF, Norway; Trinity College Dublin, Ireland)
DIVERSIFY is an EU funded project, which aims at favoring spontaneous diversification in software systems in order to increase their adaptive capacities. This objective is founded on three observations: software has to constantly evolve to face unpredictable changes in its requirements, execution environment or to respond to failure (bugs, attacks, etc.); the emergence and maintenance of high levels of diversity are essential to provide adaptive capacities to many forms of complex systems, ranging from ecological and biological systems to social and economical systems; diversity levels tend to be very low in software systems.
DIVERSIFY explores how the biological evolutionary mechanisms, which sustain high levels of biodiversity in ecosystems (speciation, phenotypic plasticity and natural selection) can be translated in software evolution principles. In this work, we consider evolution as a driver for diversity as a means to increase resilience in software systems. In particular, we are inspired by bipartite ecological relationships to investigate the automatic diversification of the server side of a client-server architecture. This type of software diversity aims at mitigating the risks of software monoculture. The consortium gathers researchers from the software-intensive, distributed systems and the ecology areas in order to transfer ecological concepts and processes as software design principles.
@InProceedings{CSMR-WCRE14p395,
author = {Benoit Baudry and Martin Monperrus and Cendrine Mony and Franck Chauvel and Franck Fleurey and Siobhán Clarke},
title = {DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {395--398},
doi = {},
year = {2014},
}
The MARKet for Open Source: An Intelligent Virtual Open Source Marketplace
Gabriele Bavota, Alicja Ciemniewska, Ilknur Chulani, Antonio De Nigro,
Massimiliano Di Penta, Davide Galletti, Roberto Galoppini, Thomas F. Gordon, Pawel Kedziora, Ilaria Lener, Francesco Torelli, Roberto Pratola, Juliusz Pukacki, Yacine Rebahi, and Sergio García Villalonga
(University of Sannio, Italy; Poznan Supercomputing and Networking Center, Poland; ATOS Research, Spain; Engineering Ingegneria Informatica, Italy; Slashdot Media, UK; Fraunhofer FOKUS, Germany; T6 ECO, Italy)
This paper describes the MARKOS (the MARKet for Open Source) European Project, a FP7-ICT-2011-8 STREP project, which aims to realize a service and an interactive application providing an integrated view on the open source projects available on the web, focusing on functional, structural, and licenses aspects of software source code.
MARKOS involves 7 partners from 5 countries, including industries, universities, and research institutions.
MARKOS differs from other services available on the Web---which often provide textual-based code search---in that it provides the possibility to browse the code structure
at a high level of abstraction, in order to facilitate the understanding of the software from a technical point of view. Also, it highlights
relationships between software components released by different projects, giving an integrated view of the available Open Source software at a global scale. Last, but not least, MARKOS is able to highlight potential legal issues due to license incompatibilities, providing explanations for these issues and supporting developers in the search for alternative solutions to their problems.
MARKOS will involve end users in order to allow to practice its results in scenarios coming from industrial and Open Source
communities.
@InProceedings{CSMR-WCRE14p399,
author = {Gabriele Bavota and Alicja Ciemniewska and Ilknur Chulani and Antonio De Nigro and Massimiliano Di Penta and Davide Galletti and Roberto Galoppini and Thomas F. Gordon and Pawel Kedziora and Ilaria Lener and Francesco Torelli and Roberto Pratola and Juliusz Pukacki and Yacine Rebahi and Sergio García Villalonga},
title = {The MARKet for Open Source: An Intelligent Virtual Open Source Marketplace},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {399--402},
doi = {},
year = {2014},
}
ECOS: Ecological Studies of Open Source Software Ecosystems
Tom Mens, Maëlick Claes, and Philippe Grosjean
(University of Mons, Belgium)
Software ecosystems, collections of projects developed by the same community, are among the most complex artefacts constructed by humans. Collaborative development of open source software (OSS) has witnessed an exponential increase in two decades. Our hypothesis is that software ecosystems bear many similarities with natural ecosystems. While natural ecosystems have been the subject of study for many decades, research on software ecosystems is more recent. For this reason, the ECOS research project aims to determine whether and how selected ecological models and theories from natural ecosystems can be adapted and adopted to understand and better explain how OSS projects (akin to biological species) evolve, and to determine what are the main factors that drive the success or popularity of these projects. Expressed in biological terms, we wish to use knowledge on the evolution of natural ecosystems to provide support aiming to optimize the fitness of OSS projects, and to increase the resistance and resilience of OSS ecosystems.
@InProceedings{CSMR-WCRE14p403,
author = {Tom Mens and Maëlick Claes and Philippe Grosjean},
title = {ECOS: Ecological Studies of Open Source Software Ecosystems},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {403--406},
doi = {},
year = {2014},
}
Video
FITTEST: A New Continuous and Automated Testing Process for Future Internet Applications
Tanja Vos
,
Paolo Tonella, Wishnu Prasetya
,
Peter M. Kruse, Alessandra Bagnato,
Mark Harman, and Onn Shehory
(Universidad Politécnica de Valencia, Spain; Fondazione Bruno Kessler, Italy; Utrecht University, Netherlands; Berner & Mattner, Germany; SOFTEAM, France; University College London, UK; IBM Research, Israel)
Since our society is becoming increasingly dependent on applications emerging on the Future Internet, quality of these applications
becomes a matter that cannot be neglected. However, the complexity of the technologies involved in Future Internet applications makes testing extremely challenging. The EU FP7 FITTEST project has addressed some of these challenges by developing and evaluating a Continuous and Integrated Testing Environment that monitors a Future Internet application when it runs such that it can automatically adapt the testware to the dynamically changing behaviour of the application.
@InProceedings{CSMR-WCRE14p407,
author = {Tanja Vos and Paolo Tonella and Wishnu Prasetya and Peter M. Kruse and Alessandra Bagnato and Mark Harman and Onn Shehory},
title = {FITTEST: A New Continuous and Automated Testing Process for Future Internet Applications},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {407--410},
doi = {},
year = {2014},
}
Model Inference and Security Testing in the SPaCIoS Project
Matthias Büchler, Karim Hossen,
Petru Florin Mihancea, Marius Minea, Roland Groz, and Catherine Oriat
(Technische Universität München, Germany; University of Grenoble, France; LIG, France; Institute e-Austria Timisoara, Romania; Politehnica University of Timisoara, Romania)
The SPaCIoS project has as goal the validation and testing of security properties of services and web applications. It proposes a methodology and tool collection centered around models described in a dedicated specification language, supporting model inference, mutation-based testing, and model checking. The project has developed two approaches to reverse engineer models from implementations. One is based on remote interaction (typically through an HTTP connection) to observe the runtime behaviour and infer a model in black-box mode. The other is based on analysis of application code when available. This paper presents the reverse engineering parts of the project, along with an illustration of how vulnerabilities can be found with various SPaCIoS tool components on a typical security benchmark.
@InProceedings{CSMR-WCRE14p411,
author = {Matthias Büchler and Karim Hossen and Petru Florin Mihancea and Marius Minea and Roland Groz and Catherine Oriat},
title = {Model Inference and Security Testing in the SPaCIoS Project},
booktitle = {Proc.\ CSMR-WCRE},
publisher = {IEEE},
pages = {411--414},
doi = {},
year = {2014},
}
proc time: 0.28