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

E.D. Falkenberg, R. van der Pols, and Th.P. van der Weide. Understanding process structure diagrams. In: Information Systems, Nr: 4, Vol: 16, Pages: 417-428, September, 1991.

This paper is an attempt to sketch a framework for understanding process structure diagrams, as used for business process analysis, being one phase of information system design. Proper understanding of any description method can only be achieved by specifying all the concepts (objects, predicates) and axioms of this method in a precise, formal way. On this basis, different description methods can be properly compared, translated, and thus their similarities and/or differences better understood. In our paper, this approach is applied to two description methods for process structuring, Dataflow Diagrams and Activity Graphs.

[ PDF ] [ Bibtex ]

P. van Bommel, A.H.M. ter Hofstede, and Th.P. van der Weide. Semantics and verification of object-role models. In: Information Systems, Nr: 5, Vol: 16, Pages: 471-495, October, 1991.

In this paper we formalise data models that are based on the concept of predicator, the combination of an object type and a role. A very simple model, the Predicator Model, is introduced in a rigid formal way.

We introduce the concept of population as an instantiation of an information structure. A primitive manipulation language is defined in the style of Relational Algebra. Well-known types of constraints are defined in terms of the algebra introduced, as restrictions on populations. They are given more expressive power than is usually the case.

Constraints are of central importance for identification purposes. Weak identification ensures identifiability of objects within a specific population, while structural identification ensures identifiability of objects within every population.

Different levels of constraint inconsistency are defined and it is shown that the verification of two important levels is NP-complete.

[ PDF ] [ Bibtex ]

Chapter

S. Brinkkemper, and E.D. Falkenberg. Three Dichotomies in the Information System Methodology. In: Informatiesystemen in beweging, Deventer, The Netherlands, EU, Edited by: P.W.G. Bots, H.G. Sol, and I.G. Sprinkhuizen-Kuyper. Kluwer, Deventer, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

Conference

P. van Bommel, and Th.P. van der Weide. Towards Database Optimization by Evolution. In: Proceedings of the Computing Science in the Netherlands Conference (CSN91), Edited by: A.J. van de Goor. Pages: 109-123, November, 1991.

In this paper we focus on optimization of database schema transformation, by evolutionary (or genetic) search. A framework for transforming conceptual data schemata into efficient internal schemata is presented. We consider this problem from the viewpoint of searching through the space of all correct, but possibly incomplete internal representations of the conceptual schema at hand. A search strategy is established, based on the use of evolutionary operators. The relevant evolutionary operators are introduced.

[ PDF ] [ Bibtex ]

S. Brinkkemper, A.H.M. ter Hofstede, T.F. Verhoef, and G.M. Wijers. A Meta-Modeling Based CASE Shell to Support Customized Domain Modeling. In: Proceedings of the Third Workshop on Domain Modeling, International Conference on Software Engineering, Edited by: N. Iscoe. May, 1991.

[ Missing PDF ] [ Bibtex ]

R. Bosman, R. Bouwman, and P.D. Bruza. The Effectiveness of Navigable Information Disclosure Systems. In: Proceedings of the Informatiewetenschap 1991 conference, Edited by: G.A.M. Kempen. 1991.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza, and Th.P. van der Weide. The Modelling and Retrieval of Documents using Index Expressions. In: ACM SIGIR FORUM (Refereed Section), Nr: 2, Vol: 25, 1991.

In this paper we introduce Index Expressions as a means for modelling document content. From an index expression the the Power Index Expression can be derived, which is a powerful instrument for information retrieval. We describe the characterization of documents in the style of formal logic. The content of a document is then modelled by a set of axioms, of which the document is a model. Relating a document to a query is done by proving the query from the axioms of that document. We introduce three rules of inference. If such a proof is not possible, the relevance of the document for the query is derived by plausible deduction. We introduce two inference rules for plausible deduction.

[ PDF ] [ Bibtex ]

P.D. Bruza, and Th.P. van der Weide. Deducing Relevant Information using the Information Disclosure Machine. In: Proceedings of the Computing Science in the Netherlands Conference (CSN91), Edited by: A.J. van de Goor. Pages: 135-149, November, 1991.

In this paper we consider information disclosure as a deductive process. We introduce the Disclosure Machine as a paradigm for matching user queries with characterizations of information objects. The Disclosure Machine is based on the following corner stones: logical inference for proving relevancy, plausible inference for computing relevance and proximity for balancing relevance according to object coherence (Hypertext). Next we discuss the limitations of state­of­the­art approaches, and suggest the Hyperindex Machine as an improved mechanism. This machine is based on the concept of index expressions. Such expressions provide a more complete characterization mechanism for objects.

[ PDF ] [ Bibtex ]

P.L. van der Spiegel, J.T.W. Driessen, P.D. Bruza, and Th.P. van der Weide. A Transaction Model for Hypertext. In: Proceedings of the Data Base and Expert System Applications Conference (DEXA 91), Berlin, Germany, EU, Edited by: D. Karagiannis. Pages: 281-286, Springer, 1991.

This paper presents a specification of Hypertext systems on several levels of abstraction, and describes translations between these different levels. The Hypertext system will be organised according to a stratified architecture, which is a generalisation of the so-called Two Level Architecture. We describe a user interface for the Hypertext system, examine the user's elementary operations (transactions) and present the correspo nding user view on the system. Next a conceptual schema is presented, that describes Hypertext from the perspective of the author (editor) of the information. We describe the user transactions in terms of operations on the conceptual schema. An object oriented implementation of this Hypertext system is presented. We show how the object hierarchy is derived from the conceptual schema.

[ PDF ] [ Bibtex ]

T.F. Verhoef, A.H.M. ter Hofstede, and G.M. Wijers. Structuring modelling knowledge for CASE shells. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 502-524, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

Reports

A.H.M. ter Hofstede, N.E. van Oosterom, and G.R. Renardel de Lavalette. Towards the Integration of NIAM and ExSpect. Technical report, October, ITI-TNO, Delft, The Netherlands, EU, 1991, ESPRIT II Project PROOFS.

[ Missing PDF ] [ Bibtex ]

Professional

A.H.M. ter Hofstede, T.F. Verhoef, E.R. Nieuwland, and G.M. Wijers. SDW 2.0 biedt voor elk wat wils. In: DB/M, Nr: 7, Vol: 2, Pages: 54-56, December, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

B.M.J.M. Veenstra, J.L.H. Oei, and W. van Smaalen. Detectie en correctie van populatieconflicten bij schemawijzigingen. In: Journal of Software Research, Nr: 4, Vol: 3, Pages: 48-55, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]