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

C. Argyris, R. Putnam, and D. McLain Smith. Action Science: Concepts, Methods and Skills for Research and Intervention. Jossey-Bass, San Francisco, USA, 2003.

[ Missing PDF ] [ Bibtex ]

Sabin Buraga, and Gabriel Ciobanu. A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. In: Third International Conference on Web Information Systems Engineering (WISE`00), Pages: 355-361, December, 2003.

[ PDF ] [ Bibtex ]

J.E. Anderson. Public Policy-making: An Introduction. Houghton Mifflin, Boston, Massachusetts, USA, 2003, Fifth Edition.

[ Missing PDF ] [ Bibtex ]

The ArchiMate consortium. Website of the ArchiMate project. Telematica Instituut, Enschede, The Netherlands, EU, 2003.

[ External URL ] [ Bibtex ]

BPMI. The Business Process Modeling Notation. Technical report, Business Process Management Initiative, 2003.

[ External URL ] [ Bibtex ]

R. Braumandl, A. Kemper, and D. Kossmann. Quality of service in an information economy. In: ACM Trans. Inter. Tech., Nr: 4, Vol: 3, Pages: 291-333, ACM, New York, New York, USA, 2003, ISSN 15335399.

[ PDF ] [ Bibtex ]

R.O. Briggs, G.J. de. Vreede, and Jr. Nunamaker. Collaboration Engineering with Thinklets to Pursue Sustained Success with Group Support Systems. In: Journal of MIS, Nr: 4, Vol: 19, Pages: 31-63, 2003.

Field research and laboratory experiments suggest that, under certain circumstances, people using group support systems (GSS) can be significantly more productive than people who do not use them. Yet, despite their demonstrated potential, GSS have been slow to diffuse across organizations. Drawing on the Technology Transition Model, the paper argues that the high conceptual load of GSS (i.e., understanding of the intended effect of GSS functionality) encourages organizations to employ expert facilitators to wield the technology on behalf of others. Economic and political factors mitigate against facilitators remaining long term in GSS facilities that focus on supporting nonroutine, ad hoc projects. This especially hampers scaling GSS technology to support distributed collaboration. An alternative and sustainable way for organizations to derive value from GSS lies in an approach called “collaboration engineering”: the development of repeatable collaborative processes that are conducted by practitioners themselves. To enable the development of such processes, this paper proposes the thinkLet concept, a codified packet of facilitation skill that can be applied by practitioners to achieve predictable, repeatable patterns of collaboration, such as divergence or convergence. A thinkLet specifies the facilitator’s choices and actions in terms of the GSS tool used, the configuration of this tool, and scripted prompts to accomplish a pattern of collaboration in a group. Using thinkLets as building blocks, facilitators can develop and transfer repeatable collaborative processes to practitioners. Given the limited availability of expert facilitators, collaboration engineering with thinkLets may become a sine qua non for organizations to effectively support virtual work teams.

[ PDF ] [ Bibtex ]

D. Budgen. Software Design. 2nd edition, Pearson Education, Harlow, United Kingdom, EU, 2003, ISBN 0201722194.

[ Missing PDF ] [ Bibtex ]

Pvel Calado, B. Ribeiro-Neto, Nivio Ziviani, Edleno Moura, and Ilmrio Silva. Local versus global link information in the Web. In: ACM Transactions on Information Systems (TOIS), Nr: 1, Vol: 21, Pages: 42-63, ACM, New York, New York, USA, 2003, ISSN 10468188.

[ PDF ] [ Bibtex ]

D. Che. Implementation Issues of Deterministic Transformation System for Structured Document Query Optimization. In: Proceedings of 2003 International Database Engineering & Application Symposium, Pages: 268-277, July, 2003.

As the popularity of XML keeps growing rapidly, XML compliant structured document management becomes an interesting and compelling research area. Query optimization for structured documents stands out as a very challenging issue because of the much enlarged optimization (search) space, which is a consequence of the intrinsic complexity of the underlying data model of structured documents. We therefore propose to apply deterministic transformations on query expressions to most aggressively control the search space and fast achieve a sufficiently improved alternative (if not the optimal) for each incoming query expression. This idea is not just exciting but practically attainable. This paper first provides an overview of our optimization strategy, and then focuses on the implementation issues of our transformation system for structured document query optimization.

[ PDF ] [ Bibtex ]

B. Chidlovskii. Information extraction from tree documents by learning subtree delimiters. 2003.

[ Missing PDF ] [ Bibtex ]

J. Conklin. The IBIS Manual: a short course in IBIS methodology. Touchstone, 2003.

[ Missing PDF ] [ Bibtex ]

J. Conklin. Wicked Problems and Social Complexity. Technical report, CogNexus Institute, Edgewater, Maryland, USA, 2003.

[ PDF ] [ Bibtex ] [ External URL ]

cUrl - Grok those URLs. 2003.

[ External URL ] [ Bibtex ]

C.J. Date. An introduction to Database Systems. 8th edition, Addison Wesley, 2003, ISBN 0321189566.

[ Missing PDF ] [ Bibtex ]

J.L.G. Dietz. Designing Technical Systems as Social Systems. In: Proceedings of the 8th International Working Conference on the Language-Action Perspective on Communication Modelling (LAP 2003), Edited by: H. Weigand, G. Goldkuhl, and A. de Moor. July, 2003, ISBN 9056681192.

[ Missing PDF ] [ Bibtex ]

U. Diwekar. Introduction to Applied Optimization. Applied Optimization, Vol: 80, Springer, 2003, 1402074565.

[ Missing PDF ] [ Bibtex ]

C.M. Eastman, and Bernard J. Jansen. Coverage, relevance, and ranking: The impact of query operators on Web search engine results. In: ACM Transactions on Information Systems (TOIS), Nr: 4, Vol: 21, Pages: 383-411, ACM, New York, New York, USA, 2003, ISSN 10468188.

[ PDF ] [ Bibtex ]

James Farrugia. Model-theoretic semantics for the web. In: Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary, EU, Pages: 29-38, ACM, New York, New York, USA, 2003.

[ PDF ] [ Bibtex ]

D.S. Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, New York, New York, USA, 2003.

[ Missing PDF ] [ Bibtex ]

Prasanna Ganesan, H. Garcia-Molina, and J. Widom. Exploiting hierarchical domain structure to compute similarity. In: ACM Transactions on Information Systems (TOIS), Nr: 1, Vol: 21, Pages: 64-93, ACM, New York, New York, USA, 2003, ISSN 10468188.

[ PDF ] [ Bibtex ]

Google Web API`s. Google, 2003.

[ External URL ] [ Bibtex ]

L. Gravano, Panagiotis G. Ipeirotis, and Mehran Sahami. QProber: A system for automatic classification of hidden-Web databases. In: ACM Transactions on Information Systems (TOIS), Nr: 1, Vol: 21, Pages: 1-41, ACM, New York, New York, USA, 2003, ISSN 10468188.

[ Missing PDF ] [ Bibtex ]

R. Guha, Rob McCool, and E. Miller. Semantic search. In: Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary, EU, Pages: 700-709, ACM, New York, New York, USA, 2003.

[ PDF ] [ Bibtex ]

T.A. Halpin, K. Evans, P. Hallock, and B. Maclean. Database Modeling with Microsoft`s Visio for Enterprise Architects. Morgan Kaufmann, San Mateo, California, USA, 2003, ISBN 1558609199.

[ Missing PDF ] [ Bibtex ]

Ian Horrocks, and P.F. Patel-Schnieder. Three theses of representation in the semantic web. In: Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary, EU, Pages: 39-47, ACM, New York, New York, USA, 2003.

[ PDF ] [ Bibtex ]

R. Jeffries. Unit Test. 2003.

[ External URL ] [ Bibtex ]

In-Ho Kang, and GilChang Kim. Query type classification for web document retrieval. In: Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval, Toronto, Ontario, Canada, Pages: 64-71, ACM, New York, New York, USA, 2003.

[ PDF ] [ Bibtex ]

B.I. Koerner. What Is Smart Dust, Anyway?. In: Wired, Nr: 6, Vol: 11, June, 2003.

Facial-recognition cameras are so 2001 - at least when it comes to stirring up paranoia among privacy hand-wringers. The bogeyman of the moment is smart dust, a network of speck-sized machines that can suss out whether sarin is in the air, enemy troops are around the corner, or the mean temperature on Mars has dropped. Smart-dust particles are designed to float through the air as innocuously as dandelion seeds, gathering and transmitting data in real time.

[ PDF ] [ Bibtex ] [ External URL ]

D. Kulak, and E. Guiney. Use Cases: Requirements in Context. 2nd edition, Addison Wesley, 2003, ASIN 0201657678.

[ Missing PDF ] [ Bibtex ]

D. Leffingwell, and D. Widrig. Managing Software Requirements: A Use Case Approach. 2nd edition, Addison Wesley, 2003, ISBN 032112247X.

[ Missing PDF ] [ Bibtex ]

SHu-Sheng Liaw, and Hsiu-Mei Huang. An investigation of user attitudes toward search engines as an information retrieval tool. In: Computers in Human Behavior, Nr: 6, Vol: 19, Pages: 751-765, November, 2003.

[ PDF ] [ Bibtex ]

LibPQXX Website. 2003.

[ External URL ] [ Bibtex ]

A. Maedche, B. Motik, L. Stojanovic, R. Studer, and R. Volz. An infrastructure for searching, reusing and evolving distributed ontologies. In: Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary, EU, Pages: 439-448, ACM, New York, New York, USA, 2003.

[ PDF ] [ Bibtex ]

D.L. McGuiness, and Frank van Harmelen. OWL Web Ontology Language Overview, W3C Proposed Recommendation. December, W3C, 2003.

[ External URL ] [ Bibtex ]

W.L. Meeks, and Subhasish Dasgupta. Geospatial information utility: an estimation of the relevance of geospatial information to users. In: Decision Support Systems, 2003, Accepted for publication on 1 March 2003.

As the acquisition and use of information are costly, the optimal use of information involves economic tradeoffs. Therefore, valuing information is attracting research and thought. However, till now, little attention has been paid to the geospatial information domain, which is increasingly coming to the attention of decision makers seeking to improve decision models by considering spatio-temporal factors. This paper proposes a metric called Geospatial Information Utility (GeoIU), which will allow decision makers to assess the degree of utility of accessed geospatial data sets when making decisions that incorporate those geospatial data and information. The GeoIU metric uses multi-attribute utility theory to assess, score, and weight metadata queries run against geospatial data and information discovered in distributed sources.

[ PDF ] [ Bibtex ]

Susana Montero, Paloma Daz, Ignacio Aedo, and Juan Manuel Dodero. Toward Hypermedia Design Methods for the Semantic Web. In: 14th International Workshop on Database and Expert Systems Applications (DEXA`03), Pages: 762-767, September, 2003.

[ PDF ] [ Bibtex ]

MySQL Website. 2003.

[ External URL ] [ Bibtex ]

DARPA Agent Markup Language (DAML). May, oasis-open, 2003.

[ External URL ] [ Bibtex ]

OMG. UML 2.0 Superstructure Specification - Final Adopted Specification. Technical report: ptc/03-08-02, August, 2003.

This OMG document replaces the submission document (ad/03-04-01) and the Draft Adopted specification (ptc/03-07-06). It is an OMG Final Adopted Specification and is currently in the finalization phase. Comments on the content of this document are welcomed, and should be directed to issues@omg.org by September 8, 2003. You may view the pending issues for this specification from the OMG revision issues web page http://www.omg.org/issues/; however, at the time of this writing there were no pending issues. The FTF Recommendation and Report for this specification will be published on April 30, 2004. If you are reading this after that date, please download the available specification from the OMG Specifications Catalog.

[ PDF ] [ Bibtex ] [ External URL ]

Cognition in a digital world. Edited by: H. van Oostendorp. Lawrence Erlbaum Associates, Mahway, New Jersey, USA, 2003, ISBN 0805835075.

[ Missing PDF ] [ Bibtex ]

Steve Pepper, and Sylvia Schwab. Curing the Web`s Identity Crisis. Technical report, Ontopia, 2003.

[ External URL ] [ Bibtex ]

Postgres SQL Website. 2003.

[ External URL ] [ Bibtex ]

O. van de Riet. Policy Analysis in Multi-Actor Policy Settings: Navigating between negotiated non-sense and superflous knowledge. Delft University of Technology, Delft, The Netherlands, EU, 2003.

[ Missing PDF ] [ Bibtex ]

E. Rommes, N. Oudshoorn, and M. Stienstra. KidCom designer case. Technical report: D04 - App 2.6 TWENTE, University of Twente, Enschede, The Netherlands, EU, 2003.

This is a study of the design of an electronic device aimed at children, and the attempts of one company to include girls in the design process.

[ Missing PDF ] [ Bibtex ]

Business Rules Manifesto. Edited by: R.G. Ross. November, Business Rules Group, 2003, Version 2.0.

[ External URL ] [ Bibtex ]

A. Rping. Agile Documentation: A Pattern Guide to Producing Lightweight Documents for Software Projects. Wiley Software Patterns Series, John Wiley & Sons, New York, New York, USA, 2003, ISBN 0470856173.

Andreas Rping sugars the pill by giving sound advice on how to produce lean and lightweight software documentation. It will be welcomed by all project team members who want to cut out the fat from this time consuming task. Guidance given in pattern form, easily digested and cross-referenced, provides solutions to common problems. Straightforward advice will help you to judge:

Better than offering pat answers or prescriptions, this book will help you to understand the elements and processes that can be found repeatedly in good project documentation and which can be shaped and designed to address your individual circumstance. The author uses real-world examples and utilises agile principles to provide an accessible, practical pattern-based guide which shows how to produce necessary and high quality documentation.

[ Missing PDF ] [ Bibtex ]

Source Mage Website. 2003.

[ External URL ] [ Bibtex ]

R. Sugden. Reference-dependent subjective exptected utility. In: Journal of economic theory, Nr: 2, Vol: 11, Pages: 172-191, 2003.

A reference-dependent generalisation of subjective expected utility theory is presented. In this theory, preferences between acts depend both on nal outcomes and on reference points (which may be uncertain acts). It is characterised by a set of axioms in a Savage-style framework. A restricted form of the theory separates attitudes to end states (encoded in a satisfaction function ) from attitudes to gains and losses of satisfaction. Given weak additional assumptions, the restricted theory excludes cycles of choice, explains observed disparities between willingness-to-pay and willingness-to-accept valuations of lotteries, and predicts preference reversal.

[ PDF ] [ Bibtex ]

H. Tardieu, and V. Gyselinck. Working memory constraints in the integration and comprehension of information in a multimedia context. In: Cognition in a digital world, Edited by: H. van Oostendorp. Chapter 1, Pages: 3-24, Lawrence Erlbaum, Hillsdale, New Jersey, USA, 2003, ISBN 0805835075.

[ Missing PDF ] [ Bibtex ]

Unit++ Testing Framework. 2003.

[ External URL ] [ Bibtex ]

F. Haan, and F. Poorthuis. Mensen zijn blij dat ik terug ben; Interview met Gerrit Zalm. , Tuesday, J, De Volkskrant, Amsterdam, The Netherlands, EU, 2003, In Dutch.

Gerrit Zalm is weer terug op het ministerie van Financin. Hij liep eerder al zestien jaar rond op het departement waar hij 'geboren' werd als jong beleidsambtenaar. Even was hij fractievoorzitter van de VVD in de Tweede Kamer. 'Geen makkelijk jaar. Mijn populariteit heeft klappen opgelopen. Misschien komt het weer terug. Ik krijg veel berichten van mensen die blij zijn dat ik weer minister ben. Mensen vinden dat dit mij op het lijf is geschreven.'

[ Missing PDF ] [ Bibtex ]

J. Warmer, and A. Kleppe. The Object Constraint Language: Getting Your Models Ready for MDA. 2nd edition, Addison Wesley, 2003, ISBN 0321179366.

[ Missing PDF ] [ Bibtex ]

Meriam-Webster Online, Collegiate Dictionary. 2003.

[ External URL ] [ Bibtex ]

GNU. GNU wget. 2003.

[ External URL ] [ Bibtex ]

ebXML - Enabling a global electronic market. OASIS, 2003.

[ External URL ] [ Bibtex ]

Journal

C. Atkinson, and T. Kühne. Model-driven development: a metamodeling foundation. In: IEEE Software, Nr: 5, Vol: 20, Pages: 36-41, 2003.

There is general agreement that metamodeling is an essential foundation for model driven development, but there is less consensus on the precise form it should take and role it should play. In this article we first analyze the underlying motivation for model-driven development and then derive a concrete set of requirements that a supporting infrastructure should satisfy. In particular, we discuss why the traditional “language definition” interpretation of metamodeling is not a sufficient foundation, and explain how it can be extended to unlock the full potential of model driven development.

[ PDF ] [ Bibtex ]

D.C. van Leijenhorst, Th.P. van der Weide, and F.A. Grootjen. A formal derivation of Heaps` Law. In: Information Sciences, Nr: -, Pages: -, 2003.

Word frequencies in text documents can be reasonably described by the Mandelbrot distribution, which has Zipf's Law as a special case. Furthermore, the growth of vocabulary size as a function of the text size (its number of words) has been described in Heaps' Law. It has been shown that these two experimental laws are related.

In this paper we go a step further, and provide a (formal) derivation of Heaps' Law from the Mandelbrot distribution. We also provide a specification of the validity area for applying Heaps' Law.

[ Missing PDF ] [ Bibtex ]

Mor Peleg et al.. Comparing Computer-interpretable Guideline Models: A Case-study Approach. In: Journal of the American Medical Informatics Association, Nr: 1, Vol: 10, Pages: 52-68, January, 2003.

Objectives: Many groups are developing computer-interpretable clinical guidelines (CIGs) for use during clinical encounters. CIGs use “Task-Network Models” for representation but differ in their approaches to addressing particular modeling challenges. We have studied similarities and differences between CIGs in order to identify issues that must be resolved before a consensus on a set of common components can be developed. Design: We compared six models: Asbru, EON, GLIF, GUIDE, PRODIGY, and PROforma. Collaborators from groups that created these models represented, in their own formalisms, portions of two guidelines: the American College of Physicians–American Society of Internal Medicine’s guideline for managing chronic cough and the Sixth Report of the Joint National Committee on Prevention, Detection, Evaluation, and Treatment of High Blood Pressure. Measurements: We compared the models according to eight components that capture the structure of CIGs. The components enable modelers to encode guidelines as plans that organize decision and action tasks in networks. They also enable the encoded guidelines to be linked with patient data—a key requirement for enabling patient-specific decision support. Results: We found consensus on many components, including plan organization, expression language, conceptual medical record model, medical concept model, and data abstractions. Differences were most apparent in underlying decision models, goal representation, use of scenarios, and structured medical actions. Conclusion: We identified guideline components that the CIG community could adopt as standards. Some of the participants are pursuing standardization of these components under the auspices of HL7.

[ PDF ] [ Bibtex ]

Book

The Description Logic Handbook - Theory, Implementation and Applications. Edited by: F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. January, Cambridge University Press, Cambridge, United Kingdom, EU, 2003, ISBN: 0521781760.

Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.

[ External URL ] [ Bibtex ]

S.J.B.A. (Stijn) Hoppenbrouwers. Freezing Language; Conceptualisation processes across ICT supported organisations. December, University of Nijmegen, 2003, ISBN 9090173188.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper. Informatiekunde; Exacte vaagheid. November, Institute for Information and Computing Sciences, Radboud University Nijmegen, 2003, In Dutch, ISBN 9090172866.

Computers dringen door tot elke uithoek van de samenleving. Maar zit de gebruiker daar wel op te wachten? De miniaturisering, de toenemende interconnectiviteit en de dalende prijs van de rekenkracht, bieden legio mogelijkheden voor nieuwe toepassingen van gecomputeriseerde informatieverwerking. Dat betekent ook dat computers een toenemende invloed zullen hebben op de manier waarop we met zijn allen leven en werken. Hoogleraar Informatiekunde Erik Proper van de KU Nijmegen vindt dat voor de introductie van elke nieuwe vinding de kritische vraag gesteld moet worden of het een nuttige of wenselijke toevoeging is voor de samenleving. De informatiekunde is een vrij nieuw wetenschapsgebied dat er voor moet waken dat de digitalisering in goede banen wordt geleid. Informatiekundigen zijn als het ware de vormgevers, architecten en planologen van het digitale tijdperk. Professor Proper geeft in zijn oratie op maandag 10 november inzicht in een aantal nieuwe ontwikkelingen.

[ PDF ] [ Bibtex ]

Chapter

S.J.B.A. (Stijn) Hoppenbrouwers. Towards Improved Mechanisms for Communication about Language in Information Systems. , Edited by: G.E. Lasker, and A. Zgrzywa. Pages: 11-15, International Institute for Advanced Studies in Systems Research and Cybernetics, 2003.

[ Missing PDF ] [ Bibtex ]

Conference

Philip A. Bernstein. Applying Model Management to Classical Meta Data Problems. In: Proceedings of the 2003 CIDR Conference, Pages: 209-220, 2003.

Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schemas, interface defini- tions) and mappings between models. It treats these abstractions as bulk objects and offers such operators as Match, Merge, Diff, Compose, Apply, and ModelGen. This paper extends earlier treatments of these operators and applies them to three classical meta data management problems: schema integration, schema evolution, and round-trip engineering.

[ PDF ] [ Bibtex ]

S. Bosman, and Th.P. van der Weide. A case for incorporating vague representations in formal information modeling. In: Conferentie Informatiewetenschap 2003, 2003.

This paper gives a fundamental overview of the information modeling process in the context of requirements engineering. From this we propose an extension to conventional modeling techniques by introducing so-called vague concepts.

[ PDF ] [ Bibtex ]

H. Jonkers, G.E. Veldhuijzen van Zanten, R. van Buuren, F. Arbab, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J. Guillen Scholten, S.J.B.A. (Stijn) Hoppenbrouwers, M.-E. Iacob, W. Janssen, M.M. Lankhorst, D. van Leeuwen, H.A. (Erik) Proper, A. Stam, and L. van der Torre. Towards a Language for Coherent Enterprise Architecture Descriptions. In: 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), Brisbane, Queensland, Australia, Edited by: M. Steen, and B.R. Bryant. Pages: 28-39, September, IEEE, Los Alamitos, California, USA, 2003, ISBN 0769519946.

A coherent description of an enterprise architecture provides insight, enables communication among stakeholders and guides complicated change processes. Unfortunately, so far no enterprise architecture description language exists that fully enables integrated enterprise modelling, because for each architectural domain, architects use their own modelling techniques and concepts, tool support, visualisation techniques, etc. In this paper we outline such an integrated language and we identify and study concepts that relate architectural domains. In our language concepts for describing the relationships between architecture descriptions at the business, application, and technology levels play a central role, related to the ubiquitous problem of business-IT alignment, whereas for each architectural domain we conform to existing languages or standards such as UML. In particular, usage of services offered by one layer to another plays an important role in relating the behaviour aspects of the layers. The structural aspects of the layers are linked through the interface concept, and the information aspects through realisation relations.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper. Architecture-driven Information System Development - Toward a framework for understanding. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Edited by: N. Callaos, D. Farsi, M. Eshagian-Wilner, T. Hanratty, and N. Rish. Vol: XII, Pages: 144-149, July, 2003, ISBN 9806560019.

This article discusses a conceptual framework for architecture-driven information system development. Rather than defining a completely new framework, the conceptual framework is synthesized out of relevant pre-existing frameworks for system development and architecture.

Before discussing the actual framework, we briefly discuss the necessity for an architecture-driven approach to system development.

[ PDF ] [ Bibtex ]

Proceedings of the 2003 CIDR Conference. 2003.

[ Missing PDF ] [ Bibtex ]

B. van Gils, H.A. (Erik) Proper, P. van Bommel, and E.D. Schabell. Profile-based retrieval on the World Wide Web. In: Proceedings of the Conferentie Informatiewetenschap (INFWET2003), Edited by: P.M.E. de Bra. Pages: 91-98, 2003.

In this article we present a novel architecture for Information Retrieval on the Web called VIMES. This architecture is based on a broader definition of relevance. This broader definition lies in the fact that there is more then just topical relevance. Documents (or: resources) must also confirm to other constraints with regard to form, format and also things like price and quality.

[ PDF ] [ Bibtex ]

B. van Gils, H.A. (Erik) Proper, and P. van Bommel. Towards a General Theory for Information Supply. In: Proceedings of the 10th International Conference on Human-Computer Interaction, Edited by: C. Stephanidis. Pages: 720-724, 2003, ISBN 0805849300.

The Web has grown considerably over the last few years, both in size and in nature. The usage of the internet as a source of information has grown considerably as well. However, finding the right information is not always straight forward. For example, how to go about finding out how many concerts the band Golden Earring gave in the year 1987, or finding out which webpages are inspired by Terry Pratchetts Diskworld novels? Even though much effort has been invested in this area, we feel that a solid, conceptual framework for information supply is still missing. In this paper we broadly define such a framework, and explain how it can be used in e.g. Web Retrieval by means of an example. We also explain which areas need more research and what can be expected in the (near) future.

[ PDF ] [ Bibtex ]

B. van Gils, and E.D. Schabell. User-profiles for Information Retrieval. In: The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC`03), Pages: 139-146, October, 2003.

In this position paper we will investigate a novel architecture for profile-based retrieval on the Web called Vimes. This architecture is based on the fact that resources found on the Web should not only be topically relevant to a searcher's query; other characteristics (such as the file format or structural format) of a resource are equally important. Furthermore, Vimes uses profiles to deal with user characteristics and constraints.

[ PDF ] [ Bibtex ]

G.E. Veldhuijzen van Zanten, S.J.B.A. (Stijn) Hoppenbrouwers, and H.A. (Erik) Proper. System Development as a Rational Communicative Process. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Edited by: N. Callaos, D. Farsi, M. Eshagian-Wilner, T. Hanratty, and N. Rish. Vol: XVI, Pages: 126-130, July, 2003, ISBN 9806560019.

System development is a process in which communication plays an important role. Requirements must be elicited from various stakeholders. But stakeholders also make decisions and must understand the consequences thereof. Different viewpoints must be reconciled, and agreements reached.

An important assumption we make is that all actions in the development process are (or should be) based on rational decisions. The quest for rationality is a driving force behind the communication that takes place within the development process, because it raises issues that may otherwise have remained in the subconsciousness of stakeholders. We zoom in on the role of vagueness in communication, and argue that there are good reasons not to try and formalize things too soon in the development process.

The purpose of this paper is to position our ongoing research, encourage discussion about the assumptions we make, and inspire novel approaches to system development. We work towards a comprehensive theory of rational system development, in which due attention is paid to development processes, communication, and the representations used therein.

[ PDF ] [ Bibtex ]

Paul de Vrieze, P. van Bommel, J. Klok, and Th.P. van der Weide. Towards a Two-Dimensional Framework for User Models. In: Proceedings of the MAWIS03 workshop attached to the OOIS03 conference, September, 2003.

The focus of this paper is user modeling in the context of personalization of information systems. Such a personalization is essential to give users the feeling that the system is easlily accessible. The way this ada[tive personalization works is very dependant on the adaptation model that is chosen. We introduce a generic two-dimensional classification frame work for user modeling systems. This enables us to clarify existing as well as new applications in the area of user modeling. In order to illustrate our framework we evaluate push and pull based user modeling.

Keywords: user modelling, adaptation model

[ PDF ] [ Bibtex ]

Educational

V. Kamphuis, H.A. (Erik) Proper, and S.J.B.A. (Stijn) Hoppenbrouwers. Informatiekunde 2003 - Curriculum. Institute for Information and Computing Sciences, Radboud University Nijmegen, 2003, In Dutch.

Dit document heeft betrekking op het curriculum van de opleiding informatiekunde van het Nijmeegs Instituut voor Informatica en Informatiekunde (NIII). Het doel is het bieden van een repository met betrekking tot de inrichting van het curriculum wat vanaf 2003 zal gaan gelden.

In de afgelopen drie jaar is zowel op landelijk als op Nijmeegs niveau het beeld van informatiekunde als vakgebied nader geconcretiseerd. Het Curriculum 2003 is enerzijds het resultaat van deze concretisering en anderzijds van de drie jaar ervaring die inmiddels binnen het NIII is opgebouwd met de informatiekunde opleiding. In dit document zal daarom ook expliciet aandacht besteed worden aan de migratie vanuit de bestaande opstart curricula: 2000, 2001 en 2002. Hierbij moet opgemerkt worden dat de studenten van cohort 2000 in principe dit jaar (2003) de bachelorfase van de Informatiekunde opleiding afronden. Voor deze lichting studenten is dus geen specifieke migratie nodig.

[ PDF ] [ Bibtex ]

V. Kamphuis, H.A. (Erik) Proper, and S.J.B.A. (Stijn) Hoppenbrouwers. Informatiekunde 2003 - Visie. Institute for Information and Computing Sciences, Radboud University Nijmegen, 2003, In Dutch.

Dit document heeft betrekking op de visies die ten grondslag liggen aan het informatiekunde onderwijs en onderzoek binnen het Nijmeegs Instituut voor Informatica en Informatiekunde (NIII). Het uiteindelijke doel van dit document is het bieden van een repository met betrekking tot deze visies, en een basis voor de specifieke inrichting van het curriculum van de opleiding en de onderzoeksplannen. Daar informatiekunde voor het NIII een relatief nieuwe opleiding en onderzoeksgebied is, is er in de huidige (2003) versie van dit document primair aandacht voor de informatiekunde opleiding. Het ligt in de lijn der verwachtingen dat er in de komende jaren, in updates van dit document, ook meer aandacht besteed zal worden aan het informatiekunde onderzoek.

[ PDF ] [ Bibtex ]

Reports

S. Bosman, and Th.P. van der Weide. Information modelling by formalizing vague representations. Technical report: NIII-R0319, September, Radboud University Nijmegen, 2003.

[ Missing PDF ] [ Bibtex ]

C.-B. Breunesse, N. Catano, M. Huisman, and B.P.F. Jacobs. Formal Methods for Smart Cards: an experience report. Technical report: NIII-R0316, August, Radboud University Nijmegen, 2003.

This paper presents a case study in formal specification and verification of a smart card application. The application is an electronic purse implementation, developed by the smart card producer Gemplus as a test case for formal methods for smart cards. The application has beensupplemented (by the authors) with specifications using the Java Modeling Language (JML), a language designed tospecify the functional behavior of Java classes. The reason for using JML as a specification language is that several tools are available to check (parts of) the specification w.r.t. an implementation. These tools vary in their level of automatization and in the level of correctness they ensure.Several of these tools have been used for the Gemplus case study. We discuss how the usage of these different tools is complementary: large parts of the specification can be checked automatically, while more precise verification methods can be used for the more intricate parts of the specification and implementation. We believe that having such a range of tools available for a single specification language is an important step towards acceptance of formal methods in industry.

[ Missing PDF ] [ Bibtex ]

L. Burdy, Y. Cheon, D. Cok, M. Ernst, J.R. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. Technical report: NIII-R0309, March, Radboud University Nijmegen, 2003.

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.This paper gives an overview of the main ideas behind JML, the different groups collaborating to provide tools for JML, and the existing applications of JML. Thus far, most applications have focused on code for programming smartcards written in the Java Card dialect of Java.

[ Missing PDF ] [ Bibtex ]

A. Fehnker, F.W. Vaandrager, and M. Zhang. Modeling and Verifying a Lego Car Using Hybrid I/O Automata. Technical report: NIII-R0308, March, Radboud University Nijmegen, 2003.

We illustrate the application of the hybrid I/O automata framework of Lynch, Segala & Vaandrager by using it to model and analyze the behavior of a simple Lego car with caterpillar treads. We derive constraints on the values of the parameters that occur in our hybrid model that guarantee that the car will always move forwards along a black tape, and will never get off the tape or move backward. In order to symplify the correctness proof, we intoduce a transition systems that abstracts from the hybrid automation in a rather drastic manner, but still preserves validity of the correctness properties in which we are interested. Even though our original model does not involve any disturbances, the general parametric analysis of the system allows us to extend our results in a trivial manner to a hybrid model in which several disturbances are allowed (mistakes in measurements of lengths, drift and jitter of the hardware clock, velocity, and distance between the two caterpillar treads).

[ PDF ] [ Bibtex ]

B. Gebremichael, and F.W. Vaandrager. Control Synthesis for a Smart Card Personalization System using Symbolic Model Checking. Technical report: NIII-R0312, May, Radboud University Nijmegen, 2003.

Using the Berkeley SMV symbolic model checker we synthesize, under certain error assumptions, a controller for the smart card personalization system, a case study that has been proposed by Cybernetix Recherche in the context of the EU IST project AMETIST. The contoller that we synthesize, and of which we prove optimality, has been previously patented. Due to the large number of states (which is beyond 1011), this control synthesis problem appears to be out of the scope of existing tools for contoller synthesis, which typically use some form of explicit state enumeration. Our result provides new evidence that model checkers can be useful to tackle industrial sized problems in the area of scheduling and control synthesis.

[ PDF ] [ Bibtex ]

M. Giero, and F. Wiedijk. MMode, a Mizar Mode for the proof assistant Coq. Technical report: NIII-R0333, December, Radboud University Nijmegen, 2003.

We present a set of tactics for version 7.4 of the Coq proof assistant which makes it possible to write proofs for Coq in a language similar to the proof language of the Mizar system. These tactics can be used with any interface of Coq, and they can be freely mixed with the normal Coq tactics.The system described in this report can be downloaded on the web at

[ Missing PDF ] [ Bibtex ]

F.A. Grootjen, and Th.P. van der Weide. Semantic Transformations. Technical report: NIII-R0303, February, Radboud University Nijmegen, 2003.

In this paper we present Information Retrieval as a semantics transformation problem. We describe a general theory to derive concepts, and discuss 2 special cases: the vector model and the set model. The vector model leads to Singular Value Decomposition, while the set model leads to Formal Concept Analysis. We discuss the relation between the resulting systems of concepts.

[ Missing PDF ] [ Bibtex ]

F.A. Grootjen, and Th.P. van der Weide. Information Retrieval as a Semantics Transformation. Technical report: NIII-R0303, Computing Science Institute, University of Nijmegen, 2003.

In this paper we present Information Retrieval as a semantics transformation problem. We describe a general theory to derive concepts, and discuss 2 special cases: the vector model and the set model. The vector model leads to Singular Value Decomposition, while the set model leads to Formal Concept Analysis. We discuss the relation between the resulting systems of concepts.

[ PDF ] [ Bibtex ]

S.J.B.A. (Stijn) Hoppenbrouwers, and H. Weigand. Conceptualisation Support for Language Development. Technical report: NIII-R0314, May, Radboud University Nijmegen, 2003.

Conceptualisation, or the development of Conceptual Models, can be performed for several reasons. One important goal nowadays is to support communication systems. A communication system aims at supporting communication in or between organizations and is typically supportes by IT. It is based on some language that must be developed and agreed upon first, and must be adapted or redeveloped when changes in the environment occur. Conceptualisation as part of language development becomes more an more a continuous effort. This paper introduces a phased model for the conceptualisation process. It discusses which techniques are useful in which phase and which ones can be applied in a continuous conceptualisation effort.

[ Missing PDF ] [ Bibtex ]

E.M.G.M. Hubbers, and E. Poll. Reasoning about Card Tears and Transactions in Java Card. Technical report: NIII-R0322, October, Radboud University Nijmegen, 2003.

The Java dialect Java Card for programming smartcards contains some features which do not exist in Java.Java Card distinguishes persistent and transient data(data stored in EEPROM and RAM, respectively). Because power to a smartcard can suddenly be interrupted by a so-called card tear, by someone removing the smartcard from the reader, Java Card provides a notion of transaction to ensure that updates of multiple fields in persistent memory can be performed atomically.This paper describes a way to reason about these Java Card specific language features.

[ Missing PDF ] [ Bibtex ]

B.P.F. Jacobs, J.R. Kiniry, and M.E. Warnier. Java Program Verification Challenges. Technical report: NIII-R0310, March, Radboud University Nijmegen, 2003.

This paper aims to raise the level of verification challenges by presenting a collection of sequential Java programs with correctness annotations formulated in JML. The emphasis lies more on the underlying semantical issues than on verification.

[ Missing PDF ] [ Bibtex ]

B.P.F. Jacobs, and E. Poll. Java Program Verification at Nijmegen: Developments and Perspective. Technical report: NIII-R0318, September, Radboud University Nijmegen, 2003.

This paper presents a historical overview of the work on Java program verification at the University of Nijmegen (the Netherlands) over the past six years (1997--2003). It describes the development and use of the LOOP tool that is central in this work. Also, it gives a perspective on the field.

[ Missing PDF ] [ Bibtex ]

P. Koopman, and J. Tretmans. 9e Nederlandse Testdag. Technical report: NIII-R0328, November, Radboud University Nijmegen, 2003.

[ Missing PDF ] [ Bibtex ]

P.J.F. Lucas. Quality Checking of Medical Guidelines through Logical Abduction. Technical report: NIII-R0327, November, Radboud University Nijmegen, 2003.

Formal methods have been used in the past for the verificaton of the correctness of formalised versions of medical guidelines. In this paper a second possible application of the use of formal methods is proposed: checking whether a guideline conforms to global medical quality requirements. It is argued that this allows spotting design errors in medical guidelines, which is seen as a useful application for formal methods in medicine. However, this type of verification may require medical knowledge currently not available within the guidelines, i.e. medical background knowledge. in this paper, we propose a method for checking the quality of a treatment for a disorder, based on the theory of abductive diagnosis. We also examine the medical background knowledge required to be able to quality check a guideline. The method is illustrated by the formal analysis of an actual guideline for the managemant of diabetis mellitus type 2.

[ Missing PDF ] [ Bibtex ]

M. Niqui. Exact Arithmetic on the Stern-Brocot Tree. Technical report: NIII-R0325, November, Radboud University Nijmegen, 2003.

In this paper we present the Stern-Brocot tree as a basis for performing exact arithmetic on rational and real numbers. We introduce the tree and mention its relation with continued fractions. Based on the tree we present a binary representation of rational numbers and investigate various algorithms to perform exact rational arithmetic using a simplified version of the homographic and the quadratic algorithms [19, 12]. We show generalisations of homographic and quadratic algorithms to multilinear forms in n variables and we prove the correctness of the algorithms. Finally we modify the tree to get a redundant representation for real numbers.

[ Missing PDF ] [ Bibtex ]

E.D. Schabell. Building the PRONIR Conversion Clearinghouse. Technical report: NIII-R0317, Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU, 2003.

As a vital part of the larger architecture, our document conversion system will need to provide for the transformation of documents to a requested format. The first step on the way to realizing this system is to gather all the various conversion routines in a central location. To achieve this, the Conversion Clearinghouse has been implemented to provide a means for anyone to submit her favorite conversion routines. Our Conversion Clearinghouse also allows anyone to browse through and pick out any of the collected conversions.

The following report describes the design and implementation of the various elements that make up our Conversion Clearinghouse. This work is part of the ongoing research project Profile Based Retrieval Of Networked Information Resources (PRONIR).

[ PDF ] [ Bibtex ]

E.D. Schabell. The DocConversion framework. Technical report: NIII-R0332, Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU, 2003.

Continuing where the ``PRONIR Conversion Clearinghouse'' left off, this technical report presents the basic framework of the DocConversion tool. In its first phase our DocConversion tool will support single step document conversions, provide a Broker that negotiates the conversion process and a conversion Server. This is the first of three phases to be traversed on our way to a complete document conversion system. This work is part of the ongoing research project Profile Based Retrieval Of Networked Information Resources (PRONIR).

[ PDF ] [ Bibtex ]

E.D. Schabell. Profile Based Retrieval Of Networked Information Resources, The Scientific Programmers Workshop. 2003.

[ Missing PDF ] [ Bibtex ]

A conceptual model of Information Supply. Technical report, May, 2003.

This paper introduces a conceptual model for information supply. The model is based on the notion that similar information can be conveyed by multiple representations. Hence, we define that information services provide access to several representations. The relation between these two concepts is provided by what we call features. Furthermore, we recognize the fact that information services are interrelated by means of relations. We informally introduce this model using the ER-notation, and provide a formalization as well. Last but not least, the notion of transformations is introduced. Using transformations we are able to transform representations to a type that is both acceptable and useful for the user of an IR-system.

[ Missing PDF ] [ Bibtex ]

D.C. van Leijenhorst. A Note on Expression Growth in Process Algebra. Technical report: NIII-R0304, February, Radboud University Nijmegen, 2003.

[ Missing PDF ] [ Bibtex ]

D.C. van Leijenhorst. On Witt's Proof of Wedderburn's Theorem. Technical report: NIII-R0305, February, Radboud University Nijmegen, 2003.

[ Missing PDF ] [ Bibtex ]

M.D. Oostdijk, and M.E. Warnier. On the combination of Java Card Remote Method Invocation and JML. Technical report: NIII-R0321, October, Radboud University Nijmegen, 2003.

This paper explores the possibilities for using the Java Modeling Language (JML) to specify Java Card applets that use Remote Method Invocation (JCRMI). The JCRMIframework makes it possible to call methods directly on a Java Card smart card without the (explicit) use of low level byte sequences, called APDUs. We introduce a new way of designing JCRMI applets, using the Java Modeling Language (JML) to formally specify (part of) its code. It turns out that some advanced JML specification features, such as model variables, are necessary to specify JCRMIapplets. Two JML tools, the JML runtime assertion checker and the LOOP tool, are subsequently used to verify that the implementation satisfies the JML specifications. We conclude that the JML specifications are simpler and easier to write, understand and verify when using JCRMI. Ideally this should lead to more trustworthy and error free code.

[ PDF ] [ Bibtex ]

Professional

D. Greefhorst, H. Koning, and H. van Vliet. Dimensies in raamwerken. In: Informatie, Nr: 11, Vol: 45, Pages: 22-27, 2003, In Dutch.

[ Missing PDF ] [ Bibtex ]

M.M. Lankhorst, and H.A. (Erik) Proper. Sturen door Inzicht. In: IT Monitor, Nr: 3, Pages: 8-11, March, 2003, In Dutch.

Veel organisaties worstelen met het reageren op de snelle veranderingen in hun omgeving, gegeven de bestaande legacy van bedrijfsprocessen, applicaties en infrastructuur. Een goede architectuurpraktijk kan hierbij zeer behulpzaam zijn. Werken onder architectuur zorgt ervoor dat een organisatie beheersbaar kan omgaan met veranderingen in bedrijfsstrategie en ICTmogelijkheden. Het ontwikkelen en onderhouden van architecturen leidt tot efficiency, kostenbesparingen en flexibiliteit.

Binnen bedrijven komen verschillende architecturen voor. Denk aan architecturen voor bedrijfsprocessen, applicaties, informatie en technische infrastructuur. Elk van die architecturen wordt beschreven en gevisualiseerd in een eigen vocabulaire. Deze specifieke modellen en visualisaties vereenvoudigen de communicatie, discussie en analyse binnen het architectuurgebied. Ieder architectuurgebied heeft echter zijn eigen taal, heeft zijn eigen beelden en gebruikt zijn eigen tools en technieken, waardoor veranderingen in andere domeinen niet zichtbaar worden.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper, and V. Kamphuis. Informatiekundigen: Vormgevers van de digitale samenleving. In: TINFON, Nr: 4, Vol: 12, Pages: 106-109, December, 2003, In Dutch.

In dit artikel gaan we in op de visie die ten grondslag ligt aan de Nijmeegse Informatiekunde opleiding. We bespreken allereerst de ontwikkelingen in de samenleving die hebben geleid tot het ontstaan van het nieuwe wetenschapsgebied van de Informatiekunde, en de positionering van dit nieuwe wetenschapsgebied ten opzichte van het traditionele wetenschapsgebied van de Informatica. Vervolgens gaan we in op de eisen die worden gesteld aan een opleiding Informatiekunde, gesteld vanuit de toekomstige rol van Informatiekundigen in de maatschappij. Tot slot geven we een korte schets van de opleiding zoals die in Nijmegen met ingang van curriculum 2003 van start is gegaan.

[ PDF ] [ Bibtex ]