IRIS Research Publications


2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987

Journal

P. van Bommel. A Randomised Schema Mutator for Evolutionary Database Optimisation. In: The Australian Computer Journal, Nr: 2, Vol: 25, Pages: 61-69, May, 1993.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, and E.R. Nieuwland. Task structure semantics through process algebra. In: Software Engineering Journal, Nr: 1, Vol: 8, Pages: 14-20, January, 1993.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, H.A. (Erik) Proper, and Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models. In: Information Systems, Nr: 7, Vol: 18, Pages: 489-523, October, 1993.

Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules (constraints) that must hold for these structures. Contemporary data modelling techniques however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating these constraints. In this paper such a language is defined for an existing data modelling technique (PSM), which is a generalisation of object-role models (such as ER or NIAM). In this language not only constraints, but also queries and updates can be expressed on a conceptual level.

[ PDF ] [ Bibtex ]

A.H.M. ter Hofstede, and Th.P. van der Weide. Expressiveness in conceptual data modelling. In: Data & Knowledge Engineering, Nr: 1, Vol: 10, Pages: 65-100, February, 1993.

Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. The Conceptualisation Principle states that only those aspects are to be represented that deal with the meaning of the Universe of Discourse. Conventional conceptual data modelling techniques, as e.g. ER or NIAM, have to violate the Conceptualisation Principle when dealing with objects with a complex structure. In order to represent these objects conceptually irrelevant choices have to made. It is even worse: sometimes the Universe of Discourse has to be adapted to suit the modelling technique. These objects typically occur in domains as meta≠modelling, hypermedia and CAD/CAM. In this paper extensions to an existing data modelling technique (NIAM) will be discussed and formally defined, that make it possible to naturally represent objects with complex structures without having to violate the Conceptualisation Principle. These extensions will be motivated from a practical point of view by examples and from a theoretical point of view by a comparison with the expressive power of formal set theory and grammar theory.

[ PDF ] [ Bibtex ]

Book

P.D. Bruza. Stratified Information Disclosure: A Synthesis between Information Retrieval and Hypermedia. University of Nijmegen, 1993.

The research reported in this treatise was performed within the framework of the ESPRIT II project APPED (2499) from January 1989 to February 1992. APPED is an acronym for CDROM Tools: An application editor's and software developer's workbench for publishing multi-media information using optical read-only storage devices. As the long winded title suggests, the purpose of the project was to produce a workbench, behind which, a developer could produce applications for optical media. The input of the workbench was assumed to be all forms of electronic data, for example, texts, word processor files, audio traces, video clips, graphics etc. These days, data can appear in any one of a plethora of formats, so the important first phase in building an application was the transduction of the source data into a set of internal formats amenable by the workbench. Where possible, accepted standards were adopted for this. For example, raw text data is translated into SGML marked up documents. A choice for SGML was made as it is an ISO standard for the specification of documents.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede. Information Modelling in Data Intensive Domains. University of Nijmegen, 1993.

This PhD-thesis describes an integrated technique for information modelling in data intensive domains. Typical examples of data intensive domains can be found in office automation, multi-media, CAD/CAM and meta-modelling. The described information modelling technique offers concepts for conceptual data modelling, constraint modelling, process modelling and transaction modelling. Although the technique has a formal syntax and semantics, mechanisms are offered to facilitate the communication with domain experts. Concepts are not only motivated from a theoretical point of view, but from a practical point of view as well. Most examples are drawn from the complex area of meta-modelling.

[ Missing PDF ] [ Bibtex ]

M.-J. Nederhof, and J.J. Sarbo. Efficient decoration of parse forests. In: Feature Formalisms and Linguistic Ambiguity, Series in Artificial Intelligence edition, Edited by: H. Trost. Ellis Horwood, 1993, ISBN 0131767445.

[ Missing PDF ] [ Bibtex ]

Conference

E.D. Falkenberg. An Approach to Deterministic Event-Tuned Information Analysis. In: Proceedings of NIAM-ISDM, Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza, and L.C. van der Gaag. Efficient Context-Sensitive Plausible Inference for Information Disclosure. In: Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pages: 12-21, 1993.

[ Missing PDF ] [ Bibtex ]

C.A.J. Burgers, H.A. (Erik) Proper, and Th.P. van der Weide. Organising an Information System as Stratified Hypermedia. In: Proceedings of the Computing Science in the Netherlands Conference, Edited by: H.A. Wijshoff. Pages: 109-120, November, 1993.

In this paper we investigate a relation between modern hypertext approaches and conventional data modelling techniques, such as PSM. This relation provides us with the mechanism of query by navigation, in order to facilitate the query formulation problem.

[ PDF ] [ Bibtex ]

M.A. Collignon, and Th.P. van der Weide. An Information Analysis Method Based on PSM. In: Proceedings of NIAM-ISDM, Edited by: G.M. Nijssen. September, NIAM-GUIDE, 1993.

This paper is a step towards a more formal approach to the information analysis method NIAM. It also provides a formalisation and some extensions to the modelling techniques used in NIAM

[ PDF ] [ Bibtex ]

E.D. Falkenberg. DETERM: Deterministic Event-Tuned Entity Relationship Modelling. In: Proceedings of the 12th International Conference on the Entity-Relationship Approach, Dallas, Texas, USA, Lecture Notes in Computer Science, Pages: 225-236, December, Springer, 1993.

[ Missing PDF ] [ Bibtex ]

H.A. (Erik) Proper. Towards an Integration of Evolving Information Systems and CASE-Tools. In: Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Edited by: S. Brinkkemper, and F. Harmsen. Pages: 23-33, June, 1993, ISSN 09243755.

In this article, CASE-Tool technology is linked to the research concerning evolving information systems. First, an introduction to the notion of evolving information system is provided. Then, CASE-Tools and evolving information systems are related to each other from two different points of view, by looking how each one can server the other.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper, and Th.P. van der Weide. Towards a General Theory for the Evolution of Application Models. In: Proceedings of the Fourth Australian Database Conference, Edited by: M.E. Orlowska, and M.P. Papazoglou. Advances in Database Research, Pages: 346-362, February, World Scientific, Melbourne, Victoria, Australia, 1993, ISBN 981021331X.

In this article we focus on evolving information systems. First a delimitation of the concept of evolution is discussed. The main result is a first attempt to a general theory for such evolution. In this theory, the underlying data model is a parameter, making the theory applicable for a wide range of modelling techniques.

[ PDF ] [ Bibtex ]

Reports

P. van Bommel. Using Conceptual Data Models for Index Selection by Means of Evolutionary Search. Technical report: CSI-R9309, Information Systems Group, Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

P. van Bommel. Performance Engineering by Computer Aided Schema Transformations. Technical report: CSI-R9327, December, Information Systems Group, Computing Science Institute, University of Nijmegen, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers. Automated Support for Verification & Validation of Graphical Constraints in PSM. Technical report, Software Engineering Research Centre (SERC), Utrecht, The Netherlands, 1993.

[ Missing PDF ] [ Bibtex ]

N.E. van Oosterom, and J.W.G.M. Hubbers. Object OriŽntatie in het FOP-project. Technical report, ABN/AMRO-bank, The Netherlands, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]

A.Th.and Eekelen Peters, M.J. Plasmeijer, and Th.P. van der Weide. A CASE-tool for the development of Information Systems implemented in a pure functional language. Technical report, Computing Science Institute, Nijmegen, The Netherlands, EU, 1993.

[ Missing PDF ] [ Bibtex ]

Professional

N.E. van Oosterom, G. Florijn, A.H.M. ter Hofstede, G.M. Wijers, C. van Miltenburg, A. van den Dool, and G. Vreven. Gegevensdefinitiebeheer in een Gedecentraliseerde Organisatie. In: Informatie, Nr: 2, Vol: 35, Pages: 128-139, February, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers, and G.M. Wijers. Excellerator II. In: DB/M, Nr: 7, Vol: 4, Pages: 55-58, November, 1993, In Dutch.

[ Missing PDF ] [ Bibtex ]