Software and Data Technologies: Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers

242 Pages·2009·4.85 MB·English

by  Dimitri Konstantas, Alfredo Villalba, Giovanna Di Marzo Serugendo, Katarzyna Wac (auth.), José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert (eds.)

Communications
in Computer and Information Science 47
José Cordeiro Boris Shishkov
AlpeshKumar Ranchordas
Markus Helfert (Eds.)
Software and
Data Technologies
Third International Conference, ICSOFT 2008
Porto, Portugal, July 22-24, 2008
Revised Selected Papers
1 3
VolumeEditors
JoséCordeiro
PolytechnicInstituteofSetúbalandINSTICC
RuadoValedeChaves,Estefanilha,2910-761,Setúbal,Portugal
E-mail:[email protected]
BorisShishkov
IICREST
P.O.Box104,1618Sofia,Bulgaria
E-mail:[email protected]
AlpeshKumarRanchordas
INSTICC
AvenidaD.ManuelI,2910-595Setúbal,Portugal
E-mail:[email protected]
MarkusHelfert
DublinCityUniversity,SchoolofComputing,Dublin9,Ireland
E-mail:[email protected]
LibraryofCongressControlNumber:2009936865
CRSubjectClassification(1998):D.2,D.4.6,K.6.5,H.2,K.8,E.3,E.2,I.3.7
ISSN 1865-0929
ISBN-10 3-642-05200-2SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-05200-2SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2009
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12771264 06/3180 543210
Preface
This book contains the best papers of the Third International Conference on Software
and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized
by the Institute for Systems and Technologies of Information, Communication and
Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC),
in cooperation with the Interdisciplinary Institute for Collaboration and Research on
Enterprise Systems and Technology (IICREST).
The purpose of ICSOFT 2008 was to bring together researchers, engineers and
practitioners interested in information technology and software development. The
conference tracks were “Software Engineering”, “Information Systems and Data
Management”, “Programming Languages”, “Distributed and Parallel Systems” and
“Knowledge Engineering”.
Being crucial for the development of information systems, software and data tech-
nologies encompass a large number of research topics and applications: from imple-
mentation-related issues to more abstract theoretical aspects of software engineering;
from databases and data-warehouses to management information systems and knowl-
edge-base systems; next to that, distributed systems, pervasive computing, data qual-
ity and other related topics are included in the scope of this conference.
ICSOFT 2008 received 296 paper submissions from more than 50 countries and all
continents. To evaluate each submission, a double blind paper evaluation method was
used: each paper was reviewed by at least two internationally known experts from the
ICSOFT Program Committee. Only 49 papers were selected to be published and
presented as full papers, i.e. completed work (8 pages in proceedings / 30’ oral pres-
entations). A total of, 70 additional papers describing work-in-progress were accepted
as short papers for 20’ oral presentation, leading to a total of 119 oral paper presenta-
tions. Another 40 papers were selected for poster presentation. The full-paper accep-
tance ratio was thus 16%, and the total oral paper acceptance ratio was 40%.
The papers you will find in this book were selected by the Conference Co-chairs
and Program Co-chairs, among the papers actually presented at the conference, based
on the scores given by the ICSOFT 2008 program committee members. We hope that
you will find these papers interesting and that they provide a helpful source of refer-
ence in the future for all those who need to address any of the research areas men-
tioned above.

July 2009 José Cordeiro
Boris Shishkov
AlpeshKumar Ranchordas
Markus Helfert
Conference Committee
Conference Co-chairs
Joaquim Filipe Polytechnic Institute of Setúbal / INSTICC, Portugal
AlpeshKumar Ranchordas INSTICC, Portugal
Program Co-chairs
Markus Helfert Dublin City University, Ireland
Boris Shishkov University of Twente, / IICREST, The Netherlands
Organizing Committee
Paulo Brito INSTICC, Portugal
Marina Carvalho INSTICC, Portugal
Helder Coelhas INSTICC, Portugal
Vera Coelho INSTICC, Portugal
Andreia Costa INSTICC, Portugal
Bruno Encarnação INSTICC, Portugal
Bárbara Lima INSTICC, Portugal
Vitor Pedrosa INSTICC, Portugal
Vera Rosário INSTICC, Portugal
Mónica Saramago INSTICC, Portugal
José Varela INSTICC, Portugal
Program Committee
Jemal Abawajy, Australia Bernhard Bauer, Germany
Silvia Abrahão, Spain Bernhard Beckert, Germany
Muhammad Abulaish, India Noureddine Belkhatir, France
Hamideh Afsarmanesh, The Netherlands Fevzi Belli, Germany
Jacky Akoka, France Alexandre Bergel, France
Markus Aleksy, Germany Árpád Beszédes, Hungary
Daniel Amyot, Canada Maarten Boasson, The Netherlands
Tsanka Angelova, Bulgaria Wladimir Bodrow, Germany
Keijiro Araki, Japan Marcello Bonsangue, The Netherlands
Alex Aravind, Canada Lydie du Bousquet, France
Farhad Arbab, The Netherlands Mark van den Brand, The Netherlands
Cyrille Artho, Japan Manfred Broy, Germany
Colin Atkinson, Germany Gerardo Canfora, Italy
Rami Bahsoon, UK Cinzia Cappiello, Italy
Mortaza S. Bargh, The Netherlands Antonio Cerone, China
Joseph Barjis, USA Sergio de Cesare, UK
VIII Organization
W.K. Chan, Hong Kong Klaus Grimm, Germany
Kung Chen, Taiwan Yann-Gael Gueheneuc, Canada
Jinjun Chen, Australia Slimane Hammoudi, France
Shiping Chen, Australia Jameleddine Hassine, Canada
Yoonsik Cheon, USA Reiko Heckel, UK
Peter Clarke, USA Christian Heinlein, Germany
Rolland Colette, France Jose Luis Arciniegas Herrera, Colombia
Rem Collier, Ireland Rattikorn Hewett, USA
Kendra Cooper, USA Jang Eui Hong, Korea
Alexandra Cristea, UK Ilian Ilkov, The Netherlands
Alfredo Cuzzocrea, Italy Ivan Ivanov, USA
Bogdan Czejdo, USA Stephen Jarvis, UK
Sergiu Dascalu, USA Damir Kalpic, Croatia
Mehdi Dastani, The Netherlands Tuba Yavuz Kahveci, USA
Steve Demurjian, USA Krishna Kavi, USA
Giovanni Denaro, Italy Roger King, USA
Nikolay Diakov, The Netherlands Alexander Knapp, Germany
Oscar Dieste, Spain Mieczyslaw Kokar, USA
Jan L.G. Dietz, The Netherlands Jun Kong, USA
Jing Dong, USA Rainer Koschke, Germany
Brian Donnellan, Ireland Jens Krinke, Germany
Juan C. Dueñas, Spain Padmanabhan Krishnan, Australia
Philippe Dugerdil, Switzerland Martin Kropp, Switzerland
Jürgen Ebert, Germany Tei-Wei Kuo, Taiwan
Fikret Ercal, USA Yvan Labiche, Canada
Yadran Eterovic, Chile Michele Lanza, Switzerland
Behrouz Far, Canada Eitel Lauria, USA
Clever de Farias, Brazil Jonathan Lee, Taiwan
Massimo Felici, UK Yu Lei, USA
Gianluigi Ferrari, Italy Rogerio de Lemos, UK
Rudolf Ferenc, Hungary Raimondas Lencevicius, USA
Juan Fernandez-Ramil, UK Hareton Leung, Hong Kong
Gerald Gannod, USA Kuan-Ching Li, Taiwan
Jose M. Garrido, USA Man Lin, Canada
Maria Jesus Garzaran, USA Panos Linos, USA
Dragan Gasevic, Canada Chengfei Liu, Australia
Nikolaos Georgantas, France Hua Liu, USA
Paola Giannini, Italy David Lorenz, Israel
Paul Gibson, France Andrea De Lucia, Italy
Karl Goeschka, Austria Christof Lutteroth, New Zealand
Swapna Gokhale, USA Jianhua Ma, Japan
Jesus M. Gonzalez-Barahona, Spain Tiziana Margaria, Germany
Juan Carlos Granja, Spain Ricardo J. Machado, Portugal
Paul Grefen, The Netherlands Yannis Manolopoulos, Greece
Daniela Grigori, France Eda Marchetti, Italy
Organization IX
Leonardo Mariani, Italy Mark Ryan, UK
Katsuhisa Maruyama, Japan Gunter Saake, Germany
Tommaso Mazza, Italy Krzysztof Sacha, Poland
Fergal McCaffery, Ireland Francesca Saglietti, Germany
Hamid Mcheick, Canada Bernhard Schätz, Germany
Bruce McMillin, USA Shiva Sastry, USA
Karl Meinke, Sweden Douglas Schmidt, USA
Atif Memon, USA Isabel Seruca, Portugal
Jose Ramon Gonzalez de Mendivil, Spain Beijun Shen, China
Manoel Mendonça, Brazil Marten van Sinderen, The Netherlands
Rym Zalila Mili, USA Harvey Siy, USA
Raffaela Mirandola, Italy Jacob Slonim, Canada
Dimitris Mitrakos, Greece Vaclav Snasel, Czech Republic
Masoud Mohammadian, Australia Simão Melo de Sousa, Portugal
Birger Møller-Pedersen, Norway George Spanoudakis, UK
Mattia Monga, Italy Peter Stanchev, USA
Sandro Morasca, Italy Nenad Stankovic, Japan
Maurizio Morisio, Italy Larry Stapleton, Ireland
Henry Muccini, Italy Richard Starmans, The Netherlands
Paolo Nesi, Italy Junichi Suzuki, USA
Elisabetta Di Nitto, Italy Kleanthis Thramboulidis, Greece
Flavio Oquendo, France Ramayah Thurasamy, Malaysia
Alan O'Callaghan, UK Yasar Tonta, Turkey
Rory O'Connor, Ireland Genny Tortora, Italy
Pasi Ojala, Finland Enrico Vicario, Italy
Vincenzo Pallotta, Switzerland Alexander Verbraeck, The Netherlands
Witold Pedrycz, Canada Sergiy Vilkomir, USA
Patrizio Pelliccione, Italy Aurora Vizcaino, Spain
Massimiliano Di Penta, Italy Hai Wang, UK
Steef Peters, The Netherlands Bing Wang, UK
Mauro Pezze, Switzerland Christiane Gresse von Wangenheim, Brazil
Martin Pinzger, Switzerland Edgar Weippl, Austria
Lori Pollock, USA Danny Weyns, Belgium
Andreas Polze, Germany Ing Widya, The Netherlands
Peter Popov, UK Dietmar Wikarski, Germany
Rosario Pugliese, Italy Eric Wong, USA
Christoph von Praun, Germany Qing Xie, USA
Rafa Al Qutaish, Jordan Haiping Xu, USA
Wenny Rahayu, Australia Hongji Yang, UK
Jolita Ralyte, Switzerland Laurence T. Yang, Canada
Anders P. Ravn, Denmark Stephen Yang, Taiwan
Marek Reformat, Canada Xiaokun Zhang, Canada
Arend Rensink, The Netherlands Du Zhang, USA
Werner Retschitzegger, Austria Kang Zhang, USA
Claudio de la Riva, Spain Jianjun Zhao, China
Stefano Russo, Italy Hong Zhu, UK
Gustavo Rossi, Argentina Andrea Zisman, UK
X Organization
Auxiliary Reviewers
Gabriela Aranda, Argentina Tariq M. King, USA
Tibor Bakota, Hungary Leonid Kof, Germany
Vedran Batos, Croatia Stephan Korsholm, Denmark
Zoran Bohacek, Croatia Pushpa Kumar, USA
Philipp Bostan, Germany Alessandro Lapadula, Italy
Peter Braun, Germany Stephane LoPresti, UK
Patrick H.S. Brito, Brazil Michele Loreti, Italy
Josip Brumec, Croatia Yung-Feng Lu, Taiwan
Stefano Busanelli, Italy Andreas Lübcke, Germany
Glauco Carneiro, Brazil Paolo Medagliani, Italy
Alejandra Cechich, Argentina Kees van der Meer, The Netherlands
Yuan-Hao Chang, Taiwan Maria de los Angeles Moraga, Spain
Che-Wei Chang, Taiwan Simon S. Msanjila, The Netherlands
Shih-Chun Chou, Taiwan Joseph Okika, Denmark
Marcello Cinque, Italy Rocco Oliveto, Italy
Methanias Colaço, Brazil Ignazio Passero, Italy
Daniela Soares Cruzes, USA Viviane Malheiros de Pinho, Brazil
Katarina Curko, Croatia Daniel Ratiu, Germany
Jörg Donandt, Germany Sabine Rittmann, Germany
Ekaterina Ermilova, The Netherlands Giuseppe Scanniello, Italy
Hua-Wei Fang, Taiwan Eike Schallehn, Germany
Y.Y. Fanjiang, Taiwan Boris Shishkov, The Netherlands
Fausto Fasano, Italy István Siket, Hungary
Ferenc Fischer, Hungary Klaas Sikkel, The Netherlands
Lajos Fülöp, Hungary Bernd Spanfelner, Germany
Ingolf Geist, Germany Tom Staijen, The Netherlands
Tamás Gergely, Hungary Pei-Lun Suei, Taiwan
Mehdi Golami, Denmark Francesco Tiezzi, Italy
Carmine Gravino, Italy Gabriella Tóth, Hungary
Nikola Hadjina, Croatia Theocharis Tsigkritis, UK
Jie Hao, USA László Vidács, Hungary
Judith Hartmann, Germany Boris Vrdoljak, Croatia
Wilke Havinga, The Netherlands Vesna Bosilj Vuksic, Croatia
Christian Hofmann, The Netherlands Yingbo Wang, USA
K.H. Hsu, Taiwan Feng Xie, China
Pi-Cheng Hsiu, Taiwan N.L. Xue, Taiwan
Benjamin Hummel, Germany Chuan-Yue Yang, Taiwan
Emilio Insfran, Spain Cheng Zhang, China
Judit Jász, Hungary Chunying Zhao, USA
Invited Speakers
Colin Atkinson Mannheim University, Germany
Dimitri Konstantas University of Geneva, Switzerland
Michael Papazoglou University of Tilburg, The Netherlands
Alexander Verbraeck Delft University of Technology, The Netherlands
Table of Contents
Invited Speakers
User Defined Geo-referenced Information............................ 1
Dimitri Konstantas, Alfredo Villalba,
Giovanna Di Marzo Serugendo, and Katarzyna Wac
Part I: Programming Languages
Extending the SSCLI to Support Dynamic Inheritance................ 9
Jose Manuel Redondo, Francisco Ortin, and
J. Baltasar Garcia Perez-Schofield
Scala Roles: Reusable Object Collaborations in a Library ............. 23
Michael Pradel and Martin Odersky
Part II: Software Engineering
Common Criteria Based Security Scenario Verification................ 37
Atsushi Ohnishi
A Software Infrastructure for User–Guided Quality–of–Service
Tradeoffs ....................................................... 48
Jo˜ao Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian,
David Garlan, and Mahadev Satyanarayanan
On the Multiplicity Semantics of the Extend Relationship in Use Case
Models ......................................................... 62
Miguel A. Laguna and Jos´e M. Marqu´es
Secure Mobile Phone Access to Remote Personal Computers: A Case
Study .......................................................... 76
Alireza P. Sabzevar and Jo˜ao Pedro Sousa
Part III: Distributed and Parallel Systems
Understanding and Evaluating Replication in Service Oriented
Multi-tier Architectures........................................... 91
Michael Ameling, Marcus Roy, and Bettina Kemme
Applying Optimal Stopping for Optimizing Queries to External
Semantic Web Resources.......................................... 105
Albert Weichselbraun