ICIS Research Publications


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

J.T. Gorgone, G.B. Davis, J.S. Valacich, H. Topi, D.L. Fienstein, and Jr. Longenecker. IS 2002 - Model Curriculum and Guidelines for Undergraduate Degree Programs in Information Systems. ACM, AIS and AITP, 2002.

The IS 2002 report is the latest output from model curriculum work for information systems that began in the early 1970s and has matured over a thirty year period. The IS 2002 model curriculum is the first update of the curriculum effort of the ACM, AIS and AITP societies since IS'97. IS'97 has been widely accepted and has become the basis for accreditation of undergraduate programs of information systems. This report represents the combined effort of numerous individuals and reflects the interests of thousands of faculty. It is grounded in the expected requirements of industry, represents the views of organizations employing the graduates, and is supported by other interested organizations.

[ PDF ] [ Bibtex ] [ External URL ]

K. Alder. The measure of all things: The Seven-Year Odyssey and Hidden Error That Transformed the World. Free Press, New York, New York, USA, 2002, ISBN 074321675X.

[ Missing PDF ] [ Bibtex ]

S. Alter. The work system method for understanding information systems and information system research. In: Communications of the Association for Information Systems, Nr: 9, Vol: 9, Pages: 90-104, 2002.

[ External URL ] [ Bibtex ]

S.W. Ambler, and R. Jeffries. Agile Modeling: Effective Practices for Extreme Programming and the Unified Process. John Wiley & Sons, New York, New York, USA, 2002, ISBN 0471202827.

The first book to cover Agile Modeling, a new modeling technique created specifically for XP projects eXtreme Programming (XP) has created a buzz in the software development community-much like Design Patterns did several years ago. Although XP presents a methodology for faster software development, many developers find that XP does not allow for modeling time, which is critical to ensure that a project meets its proposed requirements. They have also found that standard modeling techniques that use the Unified Modeling Language (UML) often do not work with this methodology. In this innovative book, Software Development columnist Scott Ambler presents Agile Modeling (AM)-a technique that he created for modeling XP projects using pieces of the UML and Rational's Unified Process (RUP). Ambler clearly explains AM, and shows readers how to incorporate AM, UML, and RUP into their development projects with the help of numerous case studies integrated throughout the book. AM was created by the author for modeling XP projects-an element lacking in the original XP design

[ Missing PDF ] [ Bibtex ]

P.C. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford. Documenting Software Architectures: Views and Beyond. Addison Wesley, 2002, ISBN 0201703726.

[ Missing PDF ] [ Bibtex ]

J. Barjis, J.L.G. Dietz, and T. Galatanov. Language Based Requirements Engineering Combined with Petri Nets. In: EMMSAD `02: 8th IFIP WG8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, Interlaken, Switzerland, 2002.

[ Missing PDF ] [ Bibtex ]

Martin L. Barrett. Putting non-functional requirements to good use. In: The Journal of Computing in Small Colleges, Nr: 2, Vol: 18, Pages: 271-277, The Consortium for Computing in Small Colleges, 2002.

[ PDF ] [ Bibtex ]

R. Black. Managing the Testing Process: Practical Tools and Techniques for Managing Hardware and Software Testing. 2nd edition, John Wiley & Sons, New York, New York, USA, 2002, ISBN 0471223980.

[ Missing PDF ] [ Bibtex ]

K. Blase, H. Altijng, J. Stenvers, I. van Moorsel, and M. Sluijter. No title available. In: Leren met hoofd, hart en handen., APS/Educare, Utrecht, The Netherlands, EU, 2002, ISBN 9066073551.

[ Missing PDF ] [ Bibtex ]

P.W.L. Bollen. A Formal transformation from Object Role Models to UML class diagrams. In: Proceedings seventh IFIP/CAISE workshop on Evaluation of Modeling Methods in Systems Analysis and Design, EMMSAD `02, Toronto, Canada, Edited by: K. Siau T. Halpin, and J. Krogstie. Pages: 132-143, 2002.

[ Missing PDF ] [ Bibtex ]

P.W.L. Bollen. The Natural Language Modeling Procedure. In: Proceedings Fifth Workshop on Next Generation Information Technologies and Systems (NGITS-2002), Edited by: A. Halevy, and A. Gal. Lecture Notes in Computer Science 2382, Springer-Verlag Berlin, Heidelberg, Pages: 123-146, 2002.

[ Missing PDF ] [ Bibtex ]

Venanzio Capretta. Abstraction and Computation. University of Nijmegen, 2002, ISBN 9090157387.

[ Missing PDF ] [ Bibtex ]

T. Connolly, and Carolyn Begg. Database Systems, a practical approach to design, implementation and management. 2nd edition, Addison Wesley, 2002, ISBN 0201708574.

[ Missing PDF ] [ Bibtex ]

Dan Connolly. Web Ontology (WebONT) Working Group Charter. November, W3C, 2002.

[ External URL ] [ Bibtex ]

Luiz Marcio Cysneiros, and Julio Cesar Sampaio do Prado Leite. Non-functional requirements: from elicitation to modelling languages. In: Proceedings of the 24th international conference on Software engineering, Orlando, Florida, USA, Pages: 699-700, ACM, New York, New York, USA, 2002, ISBN 158113472X.

[ PDF ] [ Bibtex ]

Devanshu Dhyani, Wee Keong Ng, and Sourav S. Bhowmick. A survey of Web metrics. In: ACM Computing Surveys (CSUR), Nr: 4, Vol: 34, Pages: 469-503, December, 2002, ISSN04600300.

[ PDF ] [ Bibtex ]

D.P. Gluch, S. Comella-Dorda, J. Hudak, G.A. Lewis, and C. Weinstock. Model-Based Verification: Guidelines for Generating Expected Properties. Technical report: CMU/SEI-2002-TN-003, January, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, 2002.

[ Missing PDF ] [ Bibtex ]

Jaap van Hengstum. Semantische Gelijkenis tussen Woordparen in een Cohesief Netwerk. Oktober, Tilburt University, 2002.

[ Missing PDF ] [ Bibtex ]

W.-J. van den Heuvel. Integrating Modern Business Applications with Objectified Legacy Systems. Tilburg University, Tilburg, The Netherlands, EU, 2002, ISBN 90 5668 099 4.

[ Missing PDF ] [ Bibtex ]

IFIP TC8/WG8.1 Working Conference on Organizational Semiotics - Evolving a Science of Information Systems. Edited by: L. Kecheng, R.J. Clarke, P.B. Andersen, R.K. Stamper, and E.-S. Abou-Zeid. Kluwer, Deventer, The Netherlands, EU, 2002, ISBN 1402071892.

[ Missing PDF ] [ Bibtex ]

Henry Kim. Predicting how ontologies for the semantic web will evolve. In: Communications of the ACM, Nr: 2, Vol: 45, Pages: 48-54, ACM, New York, New York, USA, 2002.

[ PDF ] [ Bibtex ]

C.H.A. Koster, and T. Verhoeven. Head/Modifier Frames for Information Retrieval. 2002, submitted to COLING.

[ Missing PDF ] [ Bibtex ]

J. Krogstie. A Semiotic Approach to Quality in Requirements Specifications. , Edited by: L. Kecheng, R.J. Clarke, P.B. Andersen, R.K. Stamper, and E.-S. Abou-Zeid. Pages: 231-250, Kluwer, Deventer, The Netherlands, EU, 2002, ISBN 1402071892.

[ PDF ] [ Bibtex ]

V. Lala, A. Arnold, S.G. Sutten, and L. Guan. The impact of relative information quality of e-commerce assurance seals on Internet purchasing behavior. In: International Journal of Accounting Information Systems, Nr: 4, Vol: 3, Pages: 237-253, December, 2002.

[ PDF ] [ Bibtex ]

B.-S. Lee. Contextual Knowledge Representation for Requirements Documents in Natural Language. In: Proceedings of FLAIRS 2002, the 15th International Florida Artificial Intelligence Research Symposium, 2002.

[ External URL ] [ Bibtex ]

M.W. Maier, and R. Rechtin. The Art of System Architecting. 2nd edition, CRC Press, Boca Raton, Florida, USA, 2002, ISBN 0849304407.

[ Missing PDF ] [ Bibtex ]

R.C. Martin. Agile Software Development, Principles, Patterns, and Practices. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 2002, ISBN 0135974445.

[ Missing PDF ] [ Bibtex ]

Wolfgang May. Linking the Semantic Web with Existing Sources. In: 13th International Workshop on Database and Expert Systems Applications (DEXA`02), Pages: 93-97, September, 2002.

[ PDF ] [ Bibtex ]

R. Miller. Demistifying Extreme Programing: Just-in-time design. 2002.

[ External URL ] [ Bibtex ]

Proceedings of the Third Dutch-Belgian Workshop on Information Retrieval (DIR2002). Edited by: M.-F. Moens, D. Hiemstra, and W. Kraaij. November, 2002.

[ Missing PDF ] [ Bibtex ]

Netcraft Web Site Finder. 2002.

[ External URL ] [ Bibtex ]

NIII Onderwijsdirectie. Beleidsnota - Kwaliteitszorg. Januari, 2002.

[ Missing PDF ] [ Bibtex ]

Standard Generalized Markup Language (SGML). July, OASIS, 2002.

[ External URL ] [ Bibtex ]

OMG. UML Profile for Enterprise Distributed Object Computing Specification. Technical report, The Object Management Group, 2002.

[ External URL ] [ Bibtex ]

Roxane Ouellet, and Uche Ogbuji. Introduction to DAML: Part 1. xml.com, 2002.

[ External URL ] [ Bibtex ]

Roxane Ouellet, and Uche Ogbuji. Introduction to DAML: Part 2. xml.com, 2002.

[ External URL ] [ Bibtex ]

Macario Polo, Juan Angel Gomez, Mario Piattini, and Francisco Ruiz. Generating three-tier applications from relational databases: a formal and practical approach. In: Information and Software Technology, Nr: 15, Vol: 44, Pages: 923-941, December, 2002.

[ Missing PDF ] [ Bibtex ]

H.M. Regan, B.K. Hope, and S Ferson. Analysis and portrayal of uncertainty in a food web exposure model. In: Human and Ecological Risk Assessment, Nr: 7, Vol: 8, Pages: 1757-1777, 2002.

[ Missing PDF ] [ Bibtex ]

Allen Renear, David Dubin, and C.M. Sperberg-McQueen. Towards a semantics for XML markup. In: Proceedings of the 2002 ACM symposium on Document engineering, McLean, Virginia, USA, Pages: 119-126, ACM, New York, New York, USA, 2002.

[ PDF ] [ Bibtex ]

Urvi Shah, Tim Finin, and Anupam Joshi. Information retrieval on the semantic web. In: Proceedings of the eleventh international conference on Information and knowledge management, McLean, Virginia, USA, Pages: 461-468, ACM, New York, New York, USA, 2002.

[ PDF ] [ Bibtex ]

Micael Sintek, and Stefan Decker. TRIPLE- A Query, Inference and Transformation Language for the Semantic Web. In: International Semantic Web Conference (ISWC), Pages: 364-378, June, 2002.

[ PDF ] [ Bibtex ]

Ju-Won Song, Kyu-Young Whang, Young-Koo Lee, Min-Jae Lee, Han Wook-Shin, and Byung-Kwon Park. The clustering property of corner transformation for spatial database applications. In: Information and Software Technology, Nr: 7, Vol: 44, Pages: 419-429, May, 2002.

[ Missing PDF ] [ Bibtex ]

Peter Spyns, R. Meersman, and Mustafa Jarrar. Data modelling versus ontology engineering. In: ACM SIGMOD Record, Nr: 4, Vol: 31, Pages: 12-17, ACM, New York, New York, USA, 2002.

[ PDF ] [ Bibtex ]

M. Stoelinga. Alea jacta est: Verification of Probabilistic, Real-time and Parametric Systems. University of Nijmegen, 2002, ISBN 9090157069.

[ Missing PDF ] [ Bibtex ]

Lalitha Suryanarayana, and Johan Hjelm. Profiles for the situated web. In: Proceedings of the eleventh international conference on the World Wide Web, New York, New York, USA, Pages: 200-209, ACM, New York, New York, USA, 2002, ISBN 1581134495.

[ PDF ] [ Bibtex ]

The Evolution of UDDI. July, The stencil group, 2002.

[ External URL ] [ Bibtex ]

Karsten Januszewski, and Ed Mooney. UDDI Version 3 Features List. Oasis, 2002.

[ External URL ] [ Bibtex ]

Informatiekunde - Visitatie 2002. Edited by: T.M.A. Bemelmans. VSNU, 2002, ISBN 905882682.

[ Missing PDF ] [ Bibtex ]

Scott Boag, Don Chamberlin, M.F. Fernandez, Daniela Florescu, Jonathan Robie, and Jérôme Siméon. XQuery 1.0: An XML Query Language (Working Draft). Technical report, August, World Wide Web Consortium, 2002.

[ External URL ] [ Bibtex ]

Lex Wedemeijer. Exploring Conceptual Schema Evolution. Technical University, Delft, 2002, ISBN 9056811428.

[ Missing PDF ] [ Bibtex ]

Ryan Womack. Information intermediaries and optimal information distribution. In: Library & Information Science Research, Nr: 2, Vol: 24, Pages: 129-155, 2002.

Information intermediaries collect, organize, and distribute information to their clients. This study examines three institutional forms of information intermediary: the for-profit firm, the nonprofit organization, and the government agency. Using results from the economics and information science literature, five tests are proposed that characterize particular information markets. For a given information market, these characteristics determine the institutional form of information intermediary that will maximize the total social and private benefit from information consumption. Although many kinds of information can be effectively delivered by for-profit information intermediaries, socially beneficial information often requires subsidized provision from government or nonprofit intermediaries in order to encourage consumption up to socially optimal levels. Applications to current topics in information distribution are also discussed.

[ PDF ] [ Bibtex ]

Lofti A. Zadeh. From computing with numbers to computing with words - From manipulation of measurements to manipulation of perceptions. In: International Journal of Applied Mathematics and Computer Science, Vol: 12, Pages: 307-324, 2002.

[ Missing PDF ] [ Bibtex ]

Hongyuan Zha. Generic Summarization and Keyphrase Extraction Using Mutual Reinforcement Principle and Sentence Clustering. In: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval, Tampere, Finland, Pages: 113-120, ACM, New York, New York, USA, 2002, ISBN 1581135610.

[ PDF ] [ Bibtex ]

Journal

P.J.M. Frederiks, and Th.P. van der Weide. Deriving and paraphrasing information grammars using object-oriented analysis models. In: Acta Informatica, Nr: 7, Vol: 38, Pages: 437-88, June, 2002.

In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook of events. In our view, the purpose of the analysis phase is to model the structure of this logbook. The resulting conceptual model is referred to as the information architecture, and is an integration of three formal object-oriented analysis models with each a specific view on the application domain. Furthermore, the information architecture forms an abstraction of an underlying grammar, called the information grammar, for the communication within the application domain. This grammar can be used to validate the information architecture in a textual format by informed users. Furthermore, the information grammar can be used to obtain the relevant data and processes of the application domain, and serves as a basis for the query language of users with the information system.

[ PDF ] [ Bibtex ]

P. McBurney, and S. Parsons. Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents. In: Journal of Logic, Language and Information, Nr: 3, Vol: 11, Pages: 315-334, 2002.

We present a logic-based formalism for modeling of dialogues between intelligent and autonomous software agents, building on a theory of abstract dialogue games which we present. The formalism enables representation of complex dialogues as sequences of moves in a combination of dialogue games, and allows dialogues to be embedded inside one another. The formalism is computational and its modular nature enables different types of dialogues to be represented.

[ PDF ] [ Bibtex ] [ External URL ]

Book

D.B.B. Rijsenbrij, J. Schekkerman, and H. Hendrickx. Architectuur, besturingsinstrument voor adaptieve organisaties - De rol van architectuur in het besluitvormingsproces en de vormgeving van de informatievoorziening.. Lemma, Utrecht, The Netherlands, EU, 2002, In Dutch, ISBN 9059310934.

[ Missing PDF ] [ Bibtex ]

B. van Gils. Application of Semantic Matching in Enterprise Application Integration. March, Tilburg University, Tilburg, The Netherlands, EU, 2002.

[ PDF ] [ Bibtex ]

Conference

S. Bosman, and Th.P. van der Weide. Building the semantic web with syntactic and semantic building blocks: position paper. In: Knowledge Management through corporate semantic webs (EKAW02), Pages: 97-102, 2002.

The Semantic Web vision sketches the need for more structured information on the Web, allowing the computer to assist users in creating, finding and viewing structured information in various ways. Creating free text, such as Web pages, is relatively easy for people. But how can users be helped in creating more structured information? This position paper describes our view on how natural language building blocks could help users create structured information models.

[ PDF ] [ Bibtex ]

F.A. Grootjen, and Th.P. van der Weide. Conceptual Relevance Feedback. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, (NLPKE 2002), October, 2002.

Capturing the user's information need may be seen as a major challenge search engines are confronted with. This paper proposes a way to interpret the results of a user's initial query. This is done by positioning this preliminary result into a semantical structure called concept lattice. The resulting substructure is used for relevance feedback.

[ PDF ] [ Bibtex ]

Conceptual Modeling - ER 2002, 21st International Conference. Edited by: J.A. Moinhos Cordeiro, and Y. Kambayashi. Lecture Notes in Computer Science, Vol: 2503, Springer, 2002.

[ External URL ] [ Bibtex ]

J. Krogstie, and Jorgensen H.D.. Quality of Interactive Models. In: Conceptual Modeling - ER 2002, 21st International Conference, Lecture Notes in Computer Science, Vol: 2503, Pages: 351-363, Springer, 2002, ISBN 3540442774.

Interactive models have been proposed as a general technique for increasing the flexibility of computerised information systems. Interactive models are first made during development, but are also available for manipulation by the users at run-time, and the model contents influence the behaviour of the system. Such models are more immersed in day-to-day work activities than the models conventionally developed during software development. Consequently, they face stronger requirements, particularly regarding comprehensibility, simplicity and flexibility. A comprehensive overview and classification of these requirements is currently lacking in the literature on interactive models. We have earlier developed a framework for understanding and assessing the quality of models in general, with emphasis on conceptual models. The framework has earlier been specialised in several directions, but primarily for passive models such as enterprise and requirements models. In this paper we extend our quality framework towards assessing interactive models. These extensions are based on our experiences from implementing interactive modelling languages and support systems. Whereas parts of the framework can be used as originally defined, other areas give quite different results due to the much tighter interplay between model changes and domain changes than what is found when using traditional modelling and system development approaches. This results in a useful deepening of our framework, and improvement of its practical applicability for understanding the quality of interactive models.

[ PDF ] [ Bibtex ] [ External URL ]

S.J. Mellor, K. Scott, Alex Uhl, and Dirk Weise. Model-Driven Architecture. In: OOIS 2002 Workshops, Pages: 290-297, Springer Verlag, 2002.

This paper offers an overview of the basic MDA terms and concepts and the relationships among them, with the latter expressed in terms of the UML, and also an outline of a proposed software development process that would leverage MDA. The article also discusses the idea of “accelerated” MDA, which involves using one metamodel to do mappings of metamodels to multiple platforms.

[ PDF ] [ Bibtex ]

OOIS 2002 Workshops. Springer Verlag, 2002.

[ Missing PDF ] [ Bibtex ]

B. van Gils, and J.J. Paijmans. Creating document surrogates with lexical cohesion. In: Proceedings of the Third Dutch-Belgian Workshop on Information Retrieval (DIR2002), Pages: 64-69, November, 2002.

[ PDF ] [ Bibtex ]

Reports

P. Achten, and R. Hinze. Combining Generics and Dynamics. Technical report: NIII-R0206, July, Radboud University Nijmegen, 2002.

In this paper we discuss the surprisingly elegant interaction between two lines of rather independent research, namely generic (or polytypic) programming and dynamic types. We show how the two disciplines meet and emphasize their characteristics in the aerea of interactive programming as implemented in the functional language Clean. In this language, an extensive library for creating Graphical User Interfaces is provided. We demonstrate how dynamic types can be used to store arbitrary GUI objects as resources and how generic functions can be used to manipulate these values. This results in a flexible system of strongly typed and higher-order resources.

[ Missing PDF ] [ Bibtex ]

A.T. Arampatzis. Unbiased S-D Threshold Optimization, Initial Query Degradation, Decay, and Incrementality, for Adaptive Document Filtering. Technical report: NIII-R0203, February, Radboud University Nijmegen, 2002.

We develop futher the S-D threshold optimization method. Specifically, we deal with the bias problem introduced by receiving relevance judgements only for documents retrieved. The new approach estimates the parameters of the exponential-Gaussian score density model without using any relevance judgements. The standard expectation maximization (EM) method for resolving mixtures of distributions is used. In order to limit the number of documents that need to be buffered, we apply nonunifom document sampling, emphasizing the right tail (high scores) of the total score distribution.For learning filtering profiles, we present a version of Rocchio's method which is suitable and efficient for adaptive filtering. Its main new features are the initial query degradation and decay, while it is fully incremental in query updates and in calculating document score statistics. Initital query degradation eliminates gradually the contribution of the initial query as the number of relevant training documents increases. Decay considers relevant instances (documents and/or initial query) of the near past more heavily than those of the early past. This is achieved by the use of half-life, i.e. the age that a training instance must be before it is half as influential as a fresh one in training/updating a profile. All these new enhancements are consistent with the initial motivation of Rocchio's formula.We, moreover, use a form of term selection for all tasks (which in adaptive tasks is applied repeatedly), and query zoning for batch filtering and routing.

[ Missing PDF ] [ Bibtex ]

H. Bosma. Requirements. Technical report: ArchiMate/D4.1, December, 2002.

his document contains the general requirements for the ArchiMate project set by the participating organisations ABP, ABN AMRO and the Belastingdienst. This document is assembled from the ArchiMate deliverables D4.1.1 to D4.1.3 containing the partner-specific requirements. The requirements are prioritised and related to the partner-specific requirements.

[ PDF ] [ Bibtex ] [ External URL ]

F.A. Grootjen, and Th.P. van der Weide. Conceptual Query Reformulation. Technical report: NIII-R0202, Computing Science Institute, University of Nijmegen, 2002.

One of the biggest challenges of search engines is to capture the user's information need. This paper proposes a way to interpret the results of a user's initial query. This is done by positioning the preliminary result into a semantical structure called concept lattice. The gathered conceptual information can be used for relevance feedback in subsequent searches.

[ PDF ] [ Bibtex ]

N. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O Automata. Technical report: NIII-R0201, February, Radboud University Nijmegen, 2002.

Hybrid systems are systems that exhibit a combination ofdiscrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world components, whose behavior over time intervals evolves according to physical constraints.Important examples of hybrid systems include automated transportation systems, robotics systems, process control systems, systems of embedded devices, and mobilecomputing systems.Such systems can be very complex, and very difficult to describe and analyze.This paper presents the Hybrid Input/Output Automaton (HIOA) modeling framework, a basic mathematical framework to support description and analysis of hybrid systems.An important feature of this model is its support for decomposing hybrid system descriptions.In particular, the framework includes a notion of externalbehavior for a hybrid I/O automaton, which captures its discrete and continuous interactions with its environment.The framework also defines what it means for one HIOA toimplement another, based on an inclusion relationship between their external behavior sets, and defines a notion of simulation, which provides a sufficient condition for demonstrating implementation relationships.The framework also includes a composition operation for HIOAs, which respects external behavior, and a notion of receptiveness, which implies that an HIOA does not block the passage of time.The framework is intended to support analysis methods from both computer science and control theory.This work is a simplification of an earlier version of the HIOA model. The main simplification in the new model is a clearer separation between the mechanisms used to model discrete and continuous interaction between components.In particular, the new model removes the dual use of external variables for discrete and continuous interaction.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper. PRONIR proposal. Technical report, Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU, 2002, NWO Project Proposal.

The knowledge and information resources we need to conduct our activities in daily life, be it at work or at home, are increasingly available in some electronic form by way of the Internet. Some examples of such resources are: documents, people (by their e-mail or chat addresses), document collections, objects and facts in databases and even entire applications. People in search of knowledge turn to the Internet with the aim of finding relevant knowledge or information that will support them in executing their tasks. This research project aims to develop a theory, and demonstrate its validity by means of a prototype system, for profile based retrieval of heterogeneous networked resources.

[ PDF ] [ Bibtex ]

E.D. Schabell. Resource Access in Generic Information Retrieval Systems. August, Vrije Universiteit, Amsterdam, Netherlands, 2002.

This thesis looks at the search for a generic information retrieval software architecture. I start with background information on the state of generic information retrieval, the organizations involved in this project and then explain the research goals that my thesis will attempt to reach. The requirements analysis is done through the use of interviews due to a lack of existing systems to examine. By lack of existing systems, I am referring to the lack of existing information retrieval architectures that allow for the modular construction of generic information retrieval systems. The modular construction is important to facilitate the building of research prototypes and this is missing in the existing information retrieval architectural solutions, which tend to focus on single solution domains. The requirements analysis resulted in the narrowing of my scope to resource access. An architectural reference model also grew out of the analysis and the next step was to expand this into a reference architecture. By using the requirements analysis as a starting point, three use cases were generated to use as a basis for creation of the reference architecture. A domain analysis using the three use cases made it possible to take a look at the possible features and a feature diagram was created to show their relationships. The resulting reference architecture was tested in a proof of concept by mapping these features to stubs and plug-ins using the use case map as a notational tool. The final software architecture is presented with stubs and various plug-ins used to denote the options used to fulfill both the functional and non-functional requirements that were set at the beginning of this project. This software architecture is explained and the conclusions are presented with a few suggestions for further development.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper, and S.J.B.A. (Stijn) Hoppenbrouwers. Information System Evolution as Language Evolution. Technical report: NIII-R0205, Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, 2002.

In this article we look at the evolution of information systems from the perspective of the evolution of domain languages, and provide a report on some of our ongoing research activities.

Many if not all analysis and design approaches for information systems base themselves on techniques involving some sort of natural language analysis. However, the view on language underlying these approaches ignores several issues concerning the nature of language.

This article primarily aims to create awareness for the issues at play, and argues that current approaches ignore most of them. We finish by presenting an overview of our research efforts concerning the tackling of the matters discussed.

[ PDF ] [ Bibtex ]

K. Brown, P.J.F. Lucas, and D. Fowler. Decision Network Semantics of Branching Constraint Satisfaction Problems. Technical report: NIII-R0209, December, Radboud University Nijmegen, 2002.

Branching Constraint Satisfaction Problems (BCSPs) have been introduced to model dynamic resource allocation subject to constraints and uncertainty. We give BCSPs a formal probability semantics by showing how they can be mapped to a certain class of Bayesian decision networks.

[ PDF ] [ Bibtex ]

A.L. de Groot, and H. Wupper. A Taxonomy of Reactive Systems. Technical report: NIII-R0210, December, Radboud University Nijmegen, 2002.

This paper proposes a general terminology for talking about real-time systems and how we observe their behavior. While none of the notions presented here are new, bringing them all together gives us a better overview.

[ Missing PDF ] [ Bibtex ]

M. Hendriks. Enhancing UPPAAL by Exploiting Symmetry. Technical report: NIII-R0208, October, Radboud University Nijmegen, 2002.

Efficiency is one of the major concerns in the world of model checking.Consequently, many techniques to optimize the time and space usage of model checking algorithms have been invented. One of these techniques is reduction of the searchable state space through arguments of symmetry. This technique can be very profitable and has been implemented in various model checkers, but not yet in UPPAAL, a model checker for timed systems. This paper proposes an enhancement of UPPAAL with symmetry reduction. We adopt the theory of symmetry of Ip and Dill and their scalarset data type, as implemented in the model checker Murphi. The main result of this paper is a soundness proof of our symmetry enhancement, which does not follow trivially from the work of Ip and Dill since the description languages of UPPAAL and Murphi, which are used to detect the symmetries, are quite different. A secondary result is a proof of the computational difficulty of space-optimal exploitation of full symmetry in a setting with DBM technology.

[ PDF ] [ Bibtex ]

Professional

W.-J. van den Heuvel, and H.A. (Erik) Proper. De pragmatiek van Architectuur. In: Informatie, Nr: 11, Vol: 44, Pages: 12-14, 2002, In Dutch.

Modelleermethoden, representatietalen en standaardisatie droegen de laatste jaren bij aan de betekenis van het concept architectuur. De pragmatiek van architectuur is tot nu toe onvoldoende belicht gebleven. In dit artikel wordt vanuit een pragmatisch perspectief naar architectuur gekeken.

De IEEE-standaard 1471 bevat drie concepten waarmee orde wordt geschapen in de jungle van architectuurraamwerken. De auteurs doen een voorzet voor een contingentiemodel, voor het consistent en effectief toepassen van een raamwerk. Hiervoor dragen zij een aantal aspecten aan: scope, tijdhorizon, levenscyclusfase, abstractieniveau en domein.

[ PDF ] [ Bibtex ]