Lecture Notes in Computer Science 3511

Transcription

1 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

2 Uffe Kock Wiil (Ed.) Metainformatics International Symposium, MIS 2004 Salzburg, Austria, September 15-18, 2004 Revised Selected Papers 13

3 Volume Editor Uffe Kock Wiil University of Southern Denmark Mærsk Mc-Kinney Møller Institute Campusvej 55, 5230 Odense M, Denmark Library of Congress Control Number: CR Subject Classification (1998): H.4, H.5.1, D.2, H.5.4, D.1, I.2, K.4, I.7 ISSN ISBN X Springer Berlin Heidelberg New York ISBN 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: /

4 Preface This volume contains the final proceedings of the 2004 Metainformatics Symposium (MIS 2004). The event was held during 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

5 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

6 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 Flexible Notifications and Task Models for Cooperative Work Management Jessica Rubart, Helge Richter Managing Ontological Complexity: A Case Study Peter J. Nürnberg, Svetlana Krestova Looking Beyond Computer Applications: Investigating Rich Structures Claus Atzenbeck, Peter J. Nürnberg Towards a Generic Building Block for Component-Based Open Hypermedia Systems Omer Ishag Eldai, Peter J. Nürnberg, Uffe K. Wiil, David L. Hicks Applying Information Visualisation Techniques to Spatial Hypertext Tools Kirstin Lyon, Peter J. Nürnberg An Agenda for Structural Computing Research Uffe K. Wiil, David L. Hicks, Peter J. Nürnberg Assessing the Impacts of Open Hypermedia Problems on Structural Computing Nikos Karousos, Nikos Tsirakis Structural Engineering: Processes and Tools for Developing Component-Based Open Hypermedia Systems Michail Vaitis, Manolis Tzagarakis, George Gkotsis, Panagiotis Blachogeorgakopoulos

7 VIII Table of Contents A Semantic Representation for Domain-Specific Patterns Susana Montero, Paloma Díaz, Ignacio Aedo Describing Use Cases with Activity Charts Jesús M. Almendros-Jiménez, Luis Iribarne 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 Location and Tracking Services for a Meta-UbiComp Environment Antonio Coronato, Giuseppe De Pietro Applying Structural Computing Paradigms to Domain Analysis By Example of Knowledge Transfer in Higher Education Armin Ulbrich, Klaus Tochtermann Content Engineering: Bridging the Gap Between Content Creation and Consumption Siegfried Reich Blog Perspectives Services: Amoeba Versus Whale Frank Wagner Author Index