Software and Data Technologies: Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers PDF
Preview Software and Data Technologies: Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
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
The list of books you might like
