Communicationsin Computer and Information Science 303

Editorial Board

Simone Diniz Junqueira BarbosaPontifical Catholic University of Rio de Janeiro (PUC-Rio),Rio de Janeiro, Brazil

Phoebe ChenLa Trobe University, Melbourne, Australia

Alfredo CuzzocreaICAR-CNR and University of Calabria, Italy

Xiaoyong DuRenmin University of China, Beijing, China

Joaquim FilipePolytechnic Institute of Setúbal, Portugal

Orhun KaraTÜBITAK BILGEM and Middle East Technical University, Turkey

Tai-hoon KimKonkuk University, Chung-ju, Chungbuk, Korea

Igor KotenkoSt. Petersburg Institute for Informatics and Automationof the Russian Academy of Sciences, Russia

Dominik SlezakUniversity of Warsaw and Infobright, Poland

Xiaokang YangShanghai Jiao Tong University, China

María José EscalonaJosé Cordeiro Boris Shishkov (Eds.)

Software andData Technologies6th International Conference, ICSOFT 2011Seville, Spain, July 18-21, 2011Revised Selected Papers

13

Volume Editors

María José EscalonaUniversidad de SevillaETS Ingeniería InformáticaAv. Reina Mercedes S/N41012 Sevilla, SpainE-mail: mjescalona@us.es

José CordeiroINSTICC / IPSDepartment of Systems and InformaticsRua do Vale de Chaves, Estefanilha2910-761 Setúbal, PortugalE-mail: jose.cordeiro@estsetubal.ips.pt

Boris ShishkovIICREST1618 Sofia, BulgariaE-mail: b.b.shishkov@iicrest.eu

ISSN 1865-0929 e-ISSN 1865-0937ISBN 978-3-642-36176-0 e-ISBN 978-3-642-36177-7DOI 10.1007/978-3-642-36177-7Springer Heidelberg Dordrecht London New York

Library of Congress Control Number: 2012955613

CR Subject Classification (1998): D.2.1-3, D.2.5, D.2.9, D.3.2, I.2.4, H.2.8

© Springer-Verlag Berlin Heidelberg 2013

This work is subject to copyright. All rights are reserved, whether the whole or part of the material isconcerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publicationor parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,in its current version, and permission for use must always be obtained from Springer. Violations are liableto prosecution under the German Copyright Law.The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,even in the absence of a specific statement, that such names are exempt from the relevant protective lawsand regulations and therefore free for general use.

Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India

Printed on acid-free paper

Springer is part of Springer Science+Business Media (www.springer.com)

Preface

The present book includes extended and revised versions of a set of selected pa-pers from the 6th International Conference on Software and Data Technologies—ICSOFT 2011. The conference was held in Seville, Spain, in collaboration withthe University of Seville and the Escuela Tecnica Superior de Ingenierıa In-formatica (ETSII) at the University of Seville. Sponsored by the Institute for Sys-tems and Technologies of Information, Control and Communication (INSTICC),ICSOFT was organized in cooperation with IICREST (Interdisciplinary Institutefor Collaboration and Research on Enterprise Systems and Technology), CEPIS(Council of European Professional Informatics Societies), ATI (Asociacion deTecnicos de Informatica), FIDETIA (Fundacion para la Investigacion y el De-sarollo de las Tecnologıas de la Informacion en Andalucıa), and INES (IniciativaEspanola de Software y Servicios).

The purpose of ICSOFT 2011 was to bring together researchers and practi-tioners interested in information technology and software development. The con-ference tracks were “Enterprise Software Technology,” “Software Engineering,”“Distributed Systems,” “Data Management” and “Knowledge-Based Systems”.

Software and data technologies are essential for developing any computerinformation system: ICSOFT’s scope encompassed a large number of researchtopics and applications, from programming issues to the more abstract theo-retical aspects of software engineering; from databases and data-warehouses tothe most complex management information systems; knowledge-base systems;distributed systems, ubiquity, data quality and many other topics.

ICSOFT 2011 received 220 paper submissions from 48 countries. To evaluateeach submission, a double-blind paper evaluation method was used: each paperwas reviewed by at least two internationally known experts from the ICSOFTProgram Committee. Only 27 papers were selected to be published and presentedas full papers (10 pages in proceedings / 30-min oral presentation). Additionally,62 papers were accepted as short papers (6 pages / 20-min oral presentation)—for a total of 89 oral presentations—and 33 papers as posters. The full-paperacceptance ratio was thus 12.3%, while the total oral-paper acceptance ratiowas 40.4%.

The quality of the papers presented stems directly from a successful and solidconference, which would not have been possible but for the dedicated effort ofa complex organizing structure, from the Steering and Scientific Committees tothe INSTICC team responsible for handling all secretariat and logistical details.A word of appreciation is also due to the conference keynote speakers and tothe many authors and attendants who gave us the honor of helping present theirideas and hard work to the scientific community.

VI Preface

We hope that you will find these papers interesting and consider them a help-ful reference in the future when addressing any of the research areas mentionedabove.

March 2012 Marıa Jose EscalonaJose Cordeiro

Boris Shishkov

Organization

Conference Co-chairs

Jose Cordeiro Polytechnic Institute of Setubal / INSTICC,Portugal

Maria Jose Escalona University of Seville, Spain

Program Chair

Boris Shishkov IICREST, Bulgaria

Organizing Committee

Patrıcia Alves INSTICC, PortugalSergio Brissos INSTICC, PortugalHelder Coelhas INSTICC, PortugalVera Coelho INSTICC, PortugalAndreia Costa INSTICC, PortugalPatrıcia Duarte INSTICC, PortugalBruno Encarnacao INSTICC, PortugalLiliana Medina INSTICC, PortugalCarla Mota INSTICC, PortugalRaquel Pedrosa INSTICC, PortugalVitor Pedrosa INSTICC, PortugalDaniel Pereira INSTICC, PortugalClaudia Pinto INSTICC, PortugalJose Varela INSTICC, PortugalPedro Varela INSTICC, Portugal

Program Committee

Alain Abran, CanadaMuhammad Abulaish, IndiaHamideh Afsarmanesh,

The NetherlandsJacky Akoka, FranceMarkus Aleksy, GermanyRafa E. Al-Qutaish, UAEToshiaki Aoki, JapanKeijiro Araki, JapanGabriela Noemı Aranda, Argentina

Farhad Arbab, The NetherlandsCyrille Artho, JapanColin Atkinson, GermanyMortaza S. Bargh, The NetherlandsBernhard Bauer, GermanyNoureddine Belkhatir, FranceFevzi Belli, GermanyJorge Bernardino, PortugalMarko Boskovic, CanadaLydie du Bousquet, France

VIII Organization

Mark Van Den Brand,The Netherlands

Lisa Brownsword, USAManfred Broy, GermanyDumitru Burdescu, RomaniaCristina Cachero, SpainFergal Mc Caffery, IrelandAntoni Lluıs Mesquida Calafat, SpainJose Antonio Calvo-Manzano, SpainGerardo Canfora, ItalyMauro Caporuscio, ItalyCinzia Cappiello, ItalyCagatay Catal, TurkeyKrzysztof Cetnarowicz, PolandKung Chen, TaiwanShiping Chen, AustraliaYoonsik Cheon, USAChia-Chu Chiang, USAPeter Clarke, USARem Collier, IrelandKendra Cooper, USASergiu Dascalu, USASteven Demurjian, USAGiovanni Denaro, ItalyMarıa J. Domınguez-Alda, SpainJuan C. Duenas, SpainPhilippe Dugerdil, SwitzerlandJurgen Ebert, GermanyFikret Ercal, USAMaria Jose Escalona, SpainJoao Faria, PortugalClever Ricardo Guareis de Farias,

BrazilLuis Fernandez, SpainRita Francese, ItalyKehan Gao, USAJose M. Garrido, USANikolaos Georgantas, FrancePaola Giannini, ItalyJ. Paul Gibson, FranceItana Gimenes, BrazilAthula Ginige, AustraliaJuan Carlos Granja, SpainDes Greer, UKSlimane Hammoudi, France

Christian Heinlein, GermanyMarkus Helfert, IrelandBrian Henderson-Sellers, AustraliaJose Luis Arciniegas Herrera,

ColombiaJose R. Hilera, SpainJang-eui Hong, Republic of KoreaShihong Huang, USAIlian Ilkov, The NetherlandsIvan Ivanov, USABharat Joshi, USAYong-Kee Jun, Republic of KoreaSanpawat Kantabutra, ThailandDimitris Karagiannis, AustriaFoutse Khomh, CanadaRoger (Buzz) King, USAMieczyslaw Kokar, USAJun Kong, USADimitri Konstantas, SwitzerlandWalter Kosters, The NetherlandsMartin Kropp, SwitzerlandPatricia Lago, The NetherlandsPhilippe Lahire, FranceKonstantin Laufer, USARaimondas Lencevicius, USAHareton Leung, ChinaHua Liu, USADavid Lorenz, IsraelZakaria Maamar, UAERicardo J. Machado, PortugalLeszek Maciaszek, AustraliaDavid Marca, USAEda Marchetti, ItalyKatsuhisa Maruyama, JapanAntonia Mas, SpainTommaso Mazza, ItalyBruce McMillin, USAStephen Mellor, UKMarian Cristian Mihaescu, RomaniaDimitris Mitrakos, GreeceValerie Monfort, TunisiaMattia Monga, ItalySandro Morasca, ItalyPaolo Nesi, ItalyJianwei Niu, USA

Organization IX

Rory O’Connor, IrelandPasi Ojala, FinlandVincenzo Pallotta, SwitzerlandPatrizio Pelliccione, ItalyMassimiliano Di Penta, ItalyCesar Gonzalez Perez, SpainPascal Poizat, FranceAndreas Polze, GermanyChristoph von Praun, GermanyRosario Pugliese, ItalyAnders Ravn, DenmarkWerner Retschitzegger, AustriaClaudio de la Riva, SpainColette Rolland, FranceGustavo Rossi, ArgentinaGunter Saake, GermanyKrzysztof Sacha, PolandFrancesca Saglietti, GermanyBeijun Shen, ChinaBoris Shishkov, BulgariaYanfeng Shu, AustraliaMarten van Sinderen, The NetherlandsHarvey Siy, USA

Yeong-tae Song, USACosmin Stoica Spahiu, RomaniaGeorge Spanoudakis, UKPeter Stanchev, USADavide Tosi, ItalySergiy Vilkomir, USAGianluigi Viscusi, ItalyFlorin Vrejoiu, RomaniaChristiane Gresse von Wangenheim,

BrazilMartijn Warnier, The NetherlandsIng Widya, The NetherlandsDietmar Wikarski, GermanyEric Wong, USAJongwook Woo, USAQing Xie, USAHaiping Xu, USATuba Yavuz-kahveci, USAI-Ling Yen, USAFatiha Zaidi, FranceXiaokun Zhang, CanadaHong Zhu, UKElena Zucca, Italy

Auxiliary Reviewers

Narciso Albarracin, USATom Arbuckle, IrelandCarmen Bratosin, The NetherlandsPatricia Shiroma Brockmann,

GermanyFelix Cuadrado, SpainSubhomoy Dass, USABoni Garcıa, SpainRodrigo Garcia-Carmona, SpainMichiel Helvensteijn, The NetherlandsJoseph Kaylor, USADae S. Kim-Park, SpainRuurd Kuiper, The Netherlands

James Mulcahy, USARob van Nieuwpoort, The NetherlandsBehrooz Nobakht, The NetherlandsMarcos Palacios, SpainJesus Pardillo, SpainIgnazio Passero, ItalyJose Proenca, BelgiumAlexander Schneider, GermanyDavide Taibi, ItalySaleem Vighio, DenmarkAnton Wijs, The NetherlandsYunqi Ye, USA

Invited Speakers

Ivan Ivanov, SUNY Empire State College, USAAntonia Bertolino, Italian National Research Council – CNR, ItalyDavid Marca, University of Phoenix, USAOscar Pastor, Universidad Politecnica de Valencia, Spain

Table of Contents

Invited Papers

The Impact of Emerging Computing Models on OrganizationalSocio-technical System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Ivan I. Ivanov

On-the-Fly Dependable Mediation between Heterogeneous NetworkedSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

Antonia Bertolino, Antonello Calabro, Felicita Di Giandomenico,Nicola Nostro, Paola Inverardi, and Romina Spalazzese

SADT/IDEF0 for Augmenting UML, Agile and Usability EngineeringMethods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

David A. Marca

From Requirements to Code: A Full Model-Driven DevelopmentPerspective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

Oscar Pastor, Marcela Ruiz, and Sergio Espana

Part I: Enterprise Software Technology

Enabling Automatic Process-Aware Collaboration Support in SoftwareEngineering Projects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

Gregor Grambow, Roy Oberhauser, and Manfred Reichert

Part II: Software Engineering

Hybrid Debugging of Java Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91Christian Hermanns and Herbert Kuchen

Combined Constraint-Based Analysis for Efficient Software RegressionDetection in Evolving Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108

Anh D. Le, Tho T. Quan, Nguyen T. Huynh,Phung H. Nguyen, and Nhat-Van Le

Requirements-Driven Iterative Project Planning . . . . . . . . . . . . . . . . . . . . . 121Yves Wautelet, Manuel Kolp, and Stephan Poelmans

An Approach for Model-Driven Design and Generation of PerformanceTest Cases with UML and MARTE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136

Antonio Garcıa-Domınguez, Inmaculada Medina-Bulo, andMariano Marcos-Barcena

XII Table of Contents

Typing Legacy COBOL Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151Alvise Spano, Michele Bugliesi, and Agostino Cortesi

A Repository for Integration of Software Artifacts with DependencyResolution and Federation Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166

Rodrigo Garcıa-Carmona, Felix Cuadrado, Juan C. Duenas, andAlvaro Navas

Automated System Testing of Dynamic Web Applications . . . . . . . . . . . . . 181Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, andMasahiro Fujita

Part III: Distributed Systems

Technologies for Autonomic Dependable Services Platform:Achievements and Future Challenges . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199

Eila Ovaska, Liliana Dobrica, Anu Purhonen, and Marko Jaakola

Part IV: Data Management

Extracting the Main Content of Web Documents Based on CharacterEncoding and a Naive Smoothing Method . . . . . . . . . . . . . . . . . . . . . . . . . . . 217

Hadi Mohammadzadeh, Thomas Gottron, Franz Schweiggert, andGholamreza Nakhaeizadeh

Facilitating Structuring of Information for Business Users with HybridWikis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237

Florian Matthes, Christian Neubert, and Alexander Steinhoff

Part V: Knowledge-Based Systems

Statistical and Possibilistic Methodology for the Evaluationof Classification Algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255

Olgierd Hryniewicz

What Else Can Be Extracted from Ontologies? Influence Rules . . . . . . . . 270Barbara Furletti and Franco Turini

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287