Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz,...

16
Integrated Research in GRID Computing

Transcript of Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz,...

Page 1: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Integrated Research in GRID Computing

Page 2: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Integrated Research in GRID Computing

CoreGRID Integration Workshop 2005 (Selected Papers)

November 28-30, Pisa, Italy

edited by

Sergei Gorlatch University ofMUnster

Germany

Marco Danelutto University of Pisa

Italy

Springer

Page 3: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Sergei Gorlatch Marco Danelutto Universitat Munster Dept. Computer Science FB Mathematik und Informatik University of Pisa Inst. f. Informatik Largo Pontecorvo, 3 Einsteinstr. 62 56127 PISA 48149 MUNSTER ITALY GERMANY [email protected] [email protected]

Library of Congress Control Number: 2006934290

INTEGRATED RESEARCH IN GRID COMPUTING edited by Sergei Gorlatch and Marco Danelutto

ISBN-13: 978-0-387-47656-3 ISBN-10: 0-387-47656-8 e-ISBN-13: 978-0-387-47658-2 e-ISBN-10: 0-387-47658-X

Printed on acid-free paper.

© 2007 Springer Science+Business Media, LLC All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now know or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks and similar terms, even if the are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.

Printed in the United States of America.

9 8 7 6 5 4 3 2 1

springer.com

Page 4: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Contents

Foreword vii

Contributing Authors xi

Data integration and query reformulation in service-based Grids 1 Carmela Comito and Domenico Talia, Anastasios Gounaris and Rizos Sakellariou

Towards a common deployment model for Grid systems 15 Massimo Coppola and Nicola Tonellotto, Marco Danelutto and Corrado Zoccolo, Sebastien Lacour and Christian Perez and Thierry Priol

Towards Automatic Creation of Web Services for Grid Component Composition 31 Jan DUnnweber and Sergei Gorlatc/% Nikos Parlavantzas, Francoise Baude and Virginie Leg rand

Adaptable Parallel Components for Grid Programming 43 Jan DUnnweber and Sergei Gorlatch, Marco Aldinucci, Sonia Campa and Marco Danelutto

Skeleton Parallel Programming and Parallel Objects 59 Marcelo Pasin, Pierre Kuonen, Marco Danelutto and Marco Aldinucci

Towards the Automatic Mapping of ASSIST Applications for the Grid 73 Marco Aldinucci, Anne Benoit

An abstract schema modeling adaptivity management 89 Marco Aldinucci and Sonia Campa and Massimo Coppc Corrado Zoccolo, Francoise Andre and Jeremy Buisson Marco Aldinucci and Sonia Campa and Massimo Coppola and Marco Danelutto and

\nare

A Feedback-based Approach 103 Charis Papadakis, Paraskevi Fragopoulou, Elias Athanasopoulos, and Evangelos P Markatos, Marios Dikaiakos, Alexandros Labrinidis

Fault-injection and Dependability Benchmarking 119 William Hoarau and Sebastien Tixeuil, Luis Silva

User Management for Virtual Organizations 135 Jiri Denemark, Ludek Maty ska, Miroslav Ruda, Michal Jankowski, Norbert Meyer, Pawel Wolniewicz

Page 5: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

vi INTEGRATED RESEARCH IN GRID COMPUTING

On the Integration of Passive and Active Network Monitoring in Grid Systems 147 Sergio Andreozzi, Augusto Ciuffoletti, Antonia Ghiselli, Demetres Antoniades, Michalis Polychronakis, Evangelos P. Markatos, Panos Trimintzios

New Grid Monitoring Infrastructures 163 Piotr Domagalski and Krzysztof Kurowski and Ariel Oleksiak and Jarek Nabrzyski, Zoltdn Balaton and Gdbor Gombds and Peter Kacsuk

Towards Semantics-Based Resource Discovery for the Grid 175 William Groleau, Vladimir Vlassov, Konstantin Popov

Scheduling Workflows with Budget Constraints 189 Rizos Sakellariou and Henan Zhao, Eleni Tsiakkouri and Marios D. Dikaiakos

Integration of ISS into the VIOLA Meta-scheduHng Environment 203 Vincent Keller, RalfGruber, Michela Spada, Trach-Minh Tran, Kevin Cristiano, Pierre Kuonen, Philipp Wieder, Wolfgang Ziegler, Oliver Wdldrich, Sergio Maffioletti, Marie-Christine Sawtey, Nello Nellari

Multi-criteria Grid Resource Management using Performance Prediction 215 Krzysztof Kurowski, Ariel Oleksiak, and Jarek Nabrzyski, Agnieszka Kwiecieii, Marcin Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta

A Proposal for a Generic Grid Scheduling Architecture 227 Nicola Tonellotto, Ramin Yahyapour, Philipp Wieder

GRID superscalar enabled P-GRADE portal 241 Robert Lovas, Gergely Sipos and Peter Kacsuk, Raill Sirvent, Josep M. Perez and Rosa M. Badia

Redesgining the SEGL PSE: A Case Study of Using Mediator Components 255 Thilo Kielmann and Gosia Wrzesinska, Natalia Currle-Linde and Michael Resch

Synthetic Grid Workloads with Ibis, KOALA, and GrenchMark 271 Alexandru losup and Dick HJ. Epema, Jason Maassen and Rob van Nieuwpoort

Author Index 285

Page 6: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Foreword

This volume is a selection of best papers presented at the CoreGRID Inte­gration Workshop 2005 (CGIW'2005), which took place on 28-30 November 2005 in Pisa, Italy,

The workshop was organised by the Network of Excellence CoreGRID funded by the European Commission under the sixth Framework Programme IST-2003-2.3.2.8 starting September 1st, 2004 for a duration of four years. CoreGRID aims at strengthening and advancing scientific and technological excellence in the area of Grid and Peer-to-Peer technologies. To achieve this objective, the network brings together a critical mass of well-established re­searchers (145 permanent researchers and 171 PhD students) from forty two institutions who have constructed an ambitious joint programme of activities.

The goal of the workshop is to promote the integration of the CoreGRID network and of the European research community in the area of Grid and P2P technologies, in order to overcome the current fragmentation and duplication of efforts in this area.

The list of topics of Grid research covered at the workshop included but was not limited to:

• knowledge & data management;

• programming models;

• system architecture;

• Grid information, resource and workflow monitoring services;

• resource management and scheduling;

• systems, tools and environments;

• trust and security issues on the Grid.

Priority at the workshop was given to work conducted in collaboration between partners from different research institutions and to promising research proposals that can foster such collaboration in the future.

The workshop was open to the participants of the CoreGRID network and also to the parties interested in cooperating with the network and/or, possibly joining the network in the future.

Page 7: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

viii INTEGRATED RESEARCH IN GRID COMPUTING

The Programme Committee who made the selection of papers included: Sergei Gorlatch, University of Muenster, Chair Marco Danelutto, University of Pisa Domenico Laforenza, ISTI-CNR Uwe Schwiegelshohn, University of Dortmund Thierry Priol, INRIA/IRISA Artur Andrzejak, ZIB Vladimir Getov, University of Westminster Ludek Matyska, Masaryk University Brno Domenico Talia, University of Calabria Ramin Yahyapour, University of Dortmund Norbert Meyer, Poznan Supercomputing and Networking Center Pierre Guisset, CETIC Wolfgang Ziegler, Fraunhofer-Institute SCAI Bruno Le Dantec, ERCIM The Workshop Organising Committee included: Marco Danelutto, University of Pisa Martin Alt, University of Muenster Sonia Campa, University of Pisa Massimo Coppola, ISTI/CNR

All papers in this volume were additionally reviewed by the following external reviewers whose help we gratefully acknowledge: Ali Anjomshoaa Rajkumar Buyya Andrea Clematis Massimo Coppola Rubing Duan Vincent Englebert Eitan Frachtenberg Dieter Kranzlmueller Salvatore Orlando Carles Pairot Hans-Werner Pohl Uwe Radetzki Wolfgang Reisig Michal Sajkowski Volker Sander Mumtaz Siddiqui Anthony Sulistio Hong-Linh Truong

Page 8: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

FOREWORD ix

We gratefully acknowledge the support from the members of the Scientific Ad­visory Board and Industrial Advisory Board of CoreGRID, and especially the in­vited speakers John Easton (IBM Grid Computing UK) and Uwe Schwiegelshohn (University of Dortmund). Special thanks are due to the authors of all submitted papers, the members of the Programme Committee and the Organising Commit­tee, and to all reviewers, for their contribution to the success of this event. We are grateful to the University of Pisa for hosting the Workshop and publishing its preliminary proceedings.

Muenster and Pisa, July 2006

Sergei Gorlatch and Marco Danelutto (workshop organizers) Thierry Priol (Scientific Coordinator of CoreGRID)

Page 9: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Contributing Authors

Marco Aldinucci Department ofComputer Science, University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa, Italy ([email protected])

Francoise Andre IRIS A / University of Rennes 1, Avenue du General Leclerc, 35042 Rennes, France ([email protected])

Sergio Andreozzi INFN-CNAF, Viale Berti Pichat 6/2, 40126 Bologna, Italy ([email protected])

Demetres Antoniades Institute of Computer Science, Foundation for Re­search and Technology-Hellas, P.O. Box 1385, 71110 Heraklion-Crete, Greece (danton @ ics.forth.gr)

Elias Athanasopoulos Institute of Computer Science, Foundation for Re­search and Technology-Hellas, P.O. Box 1385, 71110 Heraklion-Crete, Greece ([email protected])

Rosa M. Badia Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Zoltan Balaton Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA-SZTAKI), PO.Box 63, 1528 Budapest, Hungary (balaton @ sztaki.hu)

Francoise Baude INRIA, CNRS-I3S, University of Nice Sophia-Antipolis, France ([email protected])

Page 10: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

xii INTEGRATED RESEARCH IN GRID COMPUTING

Anne Benoit LIP, Ecole Normale Superieure de Lyon, 46 Allee d'ltalie, 69364 Lyon Cedex 07, France ([email protected])

Jeremy Buisson IRIS A / University of Rennes 1, Avenue du General Leclerc, 35042 Rennes, France ([email protected])

Sonia Campa Department of Computer Science, University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa, Italy ([email protected])

Augusto Ciuffoletti INFN-CNAF, Viale Berti Pichat 6/2, 40126 Bologna, Italy ([email protected])

Carmela Comito DEIS, University of Calabria, Italy ([email protected])

Massimo Coppola ISTI, Area della Ricerca CNR, 56124 Pisa, Italy (coppola @ di. unipi. it)

Julita Corbalan Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Kevin Cristiano Ecole d'Ingenieurs et d'Architectes, 1705 Fribourg, Switzerland ([email protected])

Natalia Currle-Linde High Performance Computing Center (HLRS), Uni­versity of Stuttgart, Germany ([email protected])

Marco Danelutto Department of Computer Science, University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa, Italy ([email protected])

Jin Denemark Institute of Computer Science, Masaryk University, Botanicka 68a, 60200 Brno, Czech Republic ([email protected])

Marios Dikaiakos Department of Computer Science, University of Cyprus, P.O. Box 537, 1678 Nicosia, Cyprus ([email protected])

Piotr Domagalski Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Page 11: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Contributing Authors xiii

Jan Diinnweber University of Munster, Department of Mathematics and Computer Science, Einsteinstrasse 62, 48149 Mtinster, Germany ([email protected])

Maciej Dyczkowski Wroclaw Center for Networking and Supercomputing, Wroclaw University of Technology ([email protected])

Dick H.J, Epema Faculty of Electrical Engineering, Mathematics, and Com­puter Science, Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands ([email protected])

Paraskevi Fragopoulou Institute of Computer Science, Foundation for Re­search and Technology-Hellas, P.O. Box 1385, 71110 Heraklion-Crete, Greece ([email protected])

Antonia Ghiselli INFN-CNAF, Viale Berti Pichat 6/2, 40126 Bologna, Italy (antonia. ghiselli @ cnaf. infn. it)

Gabor Gombas Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA-SZTAKI), PO.Box 63, 1528 Budapest, Hungary (gombasg @ sztaki. hu)

Sergei Gorlatch University of Munster, Department of Mathematics and Computer Science, Einsteinstrasse 62, 48149 Mtinster, Germany ([email protected])

Anastasios Gounaris School of Computer Science, University of Manchester, UK ([email protected])

William Groleau Institut National des Sciences Appliquees de Lyon (INSA), Lyon, France ([email protected])

Ralf Gruber Ecole Poly technique Federale de Lausanne, 1015 Lausanne, Switzerland ([email protected])

Francesc Guim Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Page 12: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

xiv INTEGRATED RESEARCH IN GRID COMPUTING

William Hoarau LRI-CNRS 8623 & INRIA Grand Large, Universite Paris Sud XI, France ([email protected])

Alexandra losup Faculty of Electrical Engineering, Mathematics, and Com­puter Science, Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands ([email protected])

Michal Jankowski Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Peter Kacsuk Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA-SZTAKI), PO.Box 63, 1528 Budapest, Hungary (kac suk @ sztaki. hu)

Vincent Keller Ecole Poly technique Federale de Lausanne, 1015 Lausanne, Switzerland (vincent.keller@ epfl.ch)

Thilo Kielmann Dept. of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands ([email protected])

Pierre Kuonen Ecole d'lngenieurs et d'Architectes, 1705 Fribourg, Switzerland ([email protected])

Krzysztof Kurowski Poznan Supercomputing and Networking Center, Noskowskiego 10,60688 Poznan, Poland ([email protected])

Agnieszka Kwiecieii Wroclaw Center for Networking and Supercomputing, Wroclaw University of Technology ([email protected])

Jesus Labarta Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Alexandres Labrinidis Department of Computer Science, University of Pittsburgh, Pittsburgh 15260, USA ([email protected])

Sebastien Lacour IRIS A/INRIA, Campus de Beaulieu, 35042 Rennes Cedex, France

Page 13: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Contributing Authors XV

Virginie Legrand INRIA, CNRS-I3S, University of Nice Sophia-Antipolis, France ([email protected])

Robert Lovas Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA-SZTAKI), RO.Box 63, 1528 Budapest, Hungary ([email protected])

Jason Maassen Dept. of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands ([email protected])

Sergio Maffioletti Swiss National Supercomputer Centre, 1015 Manno, Switzerland ([email protected])

Evangeios P. Markatos Institute of Computer Science, Foundation for Re­search and Technology-Hellas, RO. Box 1385, 71110 Heraklion-Crete, Greece ([email protected])

Ludek Matyska Institute of Computer Science, Masaryk University, Botanicka 68a, 60200 Brno, Czech Republic ([email protected])

Norbert Meyer Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Jarek Nabrzyski Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Nello Nellari Swiss National Supercomputer Centre, 1015 Manno, Switzerland ([email protected])

Rob van Nieuwpoort Dept. of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands ([email protected])

Ariel Oleksiak Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Charis Papadakis Institute of Computer Science, Foundation for Research and Technology-Hellas, P.O. Box 1385, 71110 Heraklion-Crete, Greece ([email protected])

Page 14: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

xvi INTEGRATED RESEARCH IN GRID COMPUTING

Nikos Parlavantzas Harrow School of Computer Science, University of Westminster, HAl 3TP, UK ([email protected])

Marcelo Pasin Universidade Federal de Santa Maria, Santa Maria RS, Brasil ([email protected])

Christian Perez IRISA/INRIA, Campus de Beaulieu, 35042 Rennes Cedex, France ([email protected])

Josep M. Perez Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Michalis Polychronakis Institute of Computer Science, Foundation for Re­search and Technology-Hellas, P.O. Box 1385, 71110 Heraklion-Crete, Greece ([email protected])

Konstantin Popov Swedish Institute of Computer Science (SICS), Kista, Sweden ([email protected])

Thierry Priol IRISA/INRIA, Campus de Beaulieu, 35042 Rennes Cedex, France ([email protected])

Michael Resch High Performance Computing Center (HLRS), University of Stuttgart, Germany ([email protected])

Miroslav Ruda Institute of Computer Science, Masaryk University, Botanicka 68a, 60200 Brno, Czech Republic ([email protected])

Rizos Sakellariou School of Computer Science, University of Manchester, UK ([email protected])

Marie-Christine Sawley Swiss National Supercomputer Centre, 1015 Manno, Switzerland ([email protected])

Luis Silva Dep. Engenharia Informatica, University of Coimbra, Polo II, 3030 Coimbra, Portugal ([email protected])

Page 15: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

Contributing Authors xvii

Gergely Sipos Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA-SZTAKI), P.O.Box 63, 1528 Budapest, Hungary ([email protected])

Raiil Sirvent Computer Architecture Department, Universitat Politecnica de Catalunya, Spain ([email protected])

Michela Spada Ecole Poly technique Federale de Lausanne, 1015 Lausanne, Switzerland ([email protected])

Domenico Talia DEIS, University of Calabria, Italy ([email protected])

Sebastien Tixeuil LRI-CNRS 8623 & INRIA Grand Large, Universite Paris Sud XI, France ([email protected])

Nicola Tonellotto ISTI, Area della Ricerca CNR, 56124 Pisa, Italy ([email protected])

Trach-Minh Tran Ecole Poly technique Federale de Lausanne, 1015 Lausanne, Switzerland (trach-minh.tran @ epfl.ch)

Panes Trimintzios European Network and Information Security Agency, P.O. Box 1309, 71001 Heraklio, Greece ([email protected])

Eleni Tsiakkouri Department of Computer Science, University of Cyprus, P.O. Box 537, 1678 Nicosia, Cyprus ([email protected])

Vladimir Vlassov Royal Institute of Technology (KTH), Stockholm, Sweden ([email protected])

Oliver Waldrich Institute SCAI, Fraunhofer Gesellschaft, 53754 St. Augustin, Germany (oliver. waeldrich @ scai.fraunhofer.de)

Philipp Wieder Forschungszentrum Jtilich GmbH, 52425 Julich, Germany ([email protected])

Page 16: Integrated Research in GRID Computing - link.springer.com978-0-387-47658-2/1.pdf · Wojtkiewicz, and Maciej Dyczkowski, Francesc Guim, Julita Corbalan, Jesus Labarta ... xii INTEGRATED

xviii INTEGRATED RESEARCH IN GRID COMPUTING

Marcin Wojtkiewicz Wroclaw Center for Networking and Supercomputing, Wroclaw University of Technology ([email protected])

Pawel Wolniewicz Poznan Supercomputing and Networking Center, Noskowskiego 10, 60688 Poznan, Poland ([email protected])

Gosia Wrzesinska Dept. of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands ([email protected])

Ramin Yahyapour Robotics Research Institute, University of Dortmund, 44221 Dortmund, Germany ([email protected])

Henan Zhao School of Computer Science, University of Manchester, UK ([email protected])

Wolfgang Ziegler Institute SCAI, Fraunhofer Gesellschaft, 53754 St. Augustin, Germany ([email protected])

Corrado Zoccolo Department of Computer Science, University of Pisa, Largo Bruno Pontecorvo 3, 56127 Pisa, Italy ([email protected])