Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
Uffe Kock Wiil (Ed.) Metainformatics International Symposium, MIS 2004 Salzburg, Austria, September 15-18, 2004 Revised Selected Papers 13
Volume Editor Uffe Kock Wiil University of Southern Denmark Mærsk Mc-Kinney Møller Institute Campusvej 55, 5230 Odense M, Denmark E-mail: ukwiil@mip.sdu.dk Library of Congress Control Number: 2005928378 CR Subject Classification (1998): H.4, H.5.1, D.2, H.5.4, D.1, I.2, K.4, I.7 ISSN 0302-9743 ISBN-10 3-540-27328-X Springer Berlin Heidelberg New York ISBN-13 978-3-540-27328-8 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, 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 publication or 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 liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11518358 06/3142 543210
Preface This volume contains the final proceedings of the 2004 Metainformatics Symposium (MIS 2004). The event was held during 15 18 September 2004 in Salzburg, Austria at Salzburg Research. MIS is an annual event focusing on finding common ground shared by researchers and practitioners in many different computer science areas who may use similar methods to achieve different ends. The goal is to find useful abstractions, notations, analytical frameworks, formalisms, and systems that improve our understanding of the underlying structures of various disciplines and families of systems within computer science. Ideally these constructs should have usefulness in conveying knowledge and understanding across disciplinary boundaries. The proceedings of previous MIS events were also published by Springer in the Lecture Notes in Computer Science series: LNCS 3002 (2003), LNCS 2641 (2002), LNCS 2266 (2001), and LNCS 1903 (2000). As with previous events in the MIS series, MIS 2004 attracted quality papers and brought together researchers from many different fields within computer science. We experienced interesting presentations and lively discussions in Salzburg. I hope that you will find the papers contained in this volume as interesting as the other members of the Program Committee and I have. This volume would not have been possible without the help and assistance of many people. In particular, I would like to acknowledge the assistance of the Springer editors, Anna Kramer and Christine Günther, and the Executive Editor of the LNCS series, Alfred Hofmann. March 2005 Uffe Kock Wiil
Organization Organizing Committee Siegfried Reich (Salzburgh Research, Austria) Uffe K. Wiil (University of Southern Denmark, Odense, Denmark) Peter J. Nürnberg (Aalborg University Esbjerg, Denmark) David L. Hicks (Aalborg University Esbjerg, Denmark) Program Committee Chair: Members: Uffe K. Wiil (University of Southern Denmark, Odense, Denmark) Kenneth M. Anderson (University of Colorado, Boulder, USA) Niels Olof Bouvin (University of Aarhus, Denmark) David L. Hicks (Aalborg University Esbjerg, Denmark) Peter King (University of Manitoba, Winnipeg, Canada) David E. Millard (University of Southampton, UK) Peter J. Nürnberg (Aalborg University Esbjerg, Denmark) Siegfried Reich (Salzburgh Research, Austria) Jessica Rubart (Fraunhofer IPSI, Darmstadt, Germany) Manolis Tzagarakis (University of Patras, Greece) Klaus Tochtermann (Know-Center, Graz, Austria) Weigang Wang (University of Manchester, UK) Sponsoring Institutions Salzburg Research, Austria Aalborg University Esbjerg, Denmark University of Southern Denmark, Odense, Denmark
Table of Contents Computer Aided Composition Supporting Tools for Designing-by-Contract in Component-Based Applications Antonio Coronato, Antonio d Acierno, Diego D Ambrosio, Giuseppe De Pietro... 1 Access Rights The Keys to Cooperative Work/Learning Thorsten Hampel... 14 Flexible Notifications and Task Models for Cooperative Work Management Jessica Rubart, Helge Richter... 32 Managing Ontological Complexity: A Case Study Peter J. Nürnberg, Svetlana Krestova... 42 Looking Beyond Computer Applications: Investigating Rich Structures Claus Atzenbeck, Peter J. Nürnberg... 51 Towards a Generic Building Block for Component-Based Open Hypermedia Systems Omer Ishag Eldai, Peter J. Nürnberg, Uffe K. Wiil, David L. Hicks... 66 Applying Information Visualisation Techniques to Spatial Hypertext Tools Kirstin Lyon, Peter J. Nürnberg... 85 An Agenda for Structural Computing Research Uffe K. Wiil, David L. Hicks, Peter J. Nürnberg... 94 Assessing the Impacts of Open Hypermedia Problems on Structural Computing Nikos Karousos, Nikos Tsirakis... 108 Structural Engineering: Processes and Tools for Developing Component-Based Open Hypermedia Systems Michail Vaitis, Manolis Tzagarakis, George Gkotsis, Panagiotis Blachogeorgakopoulos... 113
VIII Table of Contents A Semantic Representation for Domain-Specific Patterns Susana Montero, Paloma Díaz, Ignacio Aedo... 129 Describing Use Cases with Activity Charts Jesús M. Almendros-Jiménez, Luis Iribarne... 141 Spatial Constraint Modelling with a GIS Extension of UML and OCL: Application to Agricultural Information Systems François Pinet, Myoung-Ah Kang, Frédéric Vigier... 160 Location and Tracking Services for a Meta-UbiComp Environment Antonio Coronato, Giuseppe De Pietro... 179 Applying Structural Computing Paradigms to Domain Analysis By Example of Knowledge Transfer in Higher Education Armin Ulbrich, Klaus Tochtermann... 192 Content Engineering: Bridging the Gap Between Content Creation and Consumption Siegfried Reich... 206 Blog Perspectives Services: Amoeba Versus Whale Frank Wagner... 212 Author Index... 221