Model Based System Development (MBSD) Research Publications


2013 2012 2011 2010 2009 2008

Book

P. van Bommel, S.J.B.A. (Stijn) Hoppenbrouwers, H.A. (Erik) Proper, and J. (Jeroen) Roelofs. Concepts and Strategies for Quality of Modeling. IGI Global Publishing, 2008.

A process-oriented framework (QoMo) is presented that aims to further the study of analysis and support of processes for modelling. The framework is strongly goal-oriented, and expressed largely by means of formal rules. The concepts in the framework are partly derived from the SEQUAL framework for quality of modelling. A number of modelling goal categories is discussed in view of SE-QUAL/QoMo, as well as a formal approach to the descrip-tion of strategies to help achieve those goals. Finally, a prototype implementation of the framework is presented as an illustration and proof of concept.

[ PDF ] [ Bibtex ]

Conference

S.J.B.A. (Stijn) Hoppenbrouwers. Community-based ICT Development as a Multi-Player Game. In: What is an Organization? Materiality, Agency and Discourse, May, 2008.

In this paper, we advocate both the metaphorical and practical use of a gaming approach to the analysis, design, and support of the creative, collaborative, yet also strongly constrained processes that lead to formal models for use in ICT system development and business analysis. Making formal (i.e. rationalistic, mathematics-oriented) modeling accessible to people with little or no modeling expertise (i.e. people from the Organizational Participant communities) is becoming an urgent, critical issue in Business-IT alignment. Formal Modeling involves languages aspects (informal-formal language), which is commonly known, but also strong analytic and procedural aspects, which is often ignored in modeling studies and practice. Recent research has led to insights concerning the goal-driven, conversational nature of collaborative modeling processes. Human factors and interaction deserve to be accepted as primary in the study, design, and support (tooling) concerning operational (real-life) formal modeling processes. Taking the gaming approach to operational modeling has a number of advantages, both practical and methodological, and seems a promising context for study and development of methods and (importantly) digital tools for improving and supporting collaborative formal modeling.

[ PDF ] [ Bibtex ]

S.J.B.A. (Stijn) Hoppenbrouwers, P. van Bommel, and Aki Jarvinen. Method Engineering as Game Design: an Emerging HCI Perspective on Methods and CASE Tools. In: Proceedings of EMMSAD, June, 2008.

In the last half decade, there has been increasing interest in the process of information systems modeling, mostly focusing on improvement of quality, eciency, and control. While generic guidelines and phasing have been explored to a considerable extent, we are still a long way removed from in-depth understanding, full support, and adequate tooling with respect to operational modeling processes. Building on existing work in modeling methods and method engineering, we propose to expand the scope of modeling process research by taking a Human-Computer Interaction approach, viewing (situational) methods and their tool support, in combination with participants in operational process enactment, as an operational interaction system. More in particular, we discuss the merits of using the Game Metaphor as a clarifying and goal-setting view on the design of such interaction systems. Thus we approach Method Engineering as Game Design.

[ PDF ] [ Bibtex ]

M.W. (Matthijs) van Roosmalen and S.J.B.A. (Stijn) Hoppenbrouwers. Supporting Corporate Governance with Enterprise Architecture and Business Rule Management: A Synthesis of Stability and Agility. , 2008.

Business rule management (BRM) and enterprise architecture (EA) both offer support for corporate governance. They do this in different ways, with EA emphasizing a stable framework while BRM offers more agility to the enterprise through control of changing business rules. This paper explores the combination of BRM and EA in deployment to support governance, and argues for a synthesis between the two. Such a synthesis offers an organization the benefits of both stability and overview demanded by regulatory bodies, as well as agility in the face of rapidly changing compliance demands.

[ PDF ] [ Bibtex ]

J. Nabukenya, P. van Bommel, and H.A. (Erik) Proper. Repeatable Collaboration Processes for Mature Organizational Policy Making. In: Proceedings of the 14th Collaboration Researchers' International Workshop on Groupware (CRWIG08), LNCS, September, 2008.

Organizational policy making processes are complex processes in which many people are involved. Very often the results of these processes are not what the different stakeholders intended. Since policies play a major role in key decision making concerning the future of organizations, our research aims at improving the policies on the basis of collaboration. In order to achieve this goal, we apply the practice of collaboration engineering to the field of organizational policy making. We use the thinklet as a basic building block for facilitating intervention to create a repeatable pattern of collaboration among people working together towards achieving a goal. Our case studies show that policy making processes do need collaboration support indeed and that the resulting policies can be expected to improve.

[ PDF ] [ Bibtex ]

Reports

Peter Achten, Pieter Koopman, and Marco T. Morazán. Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP). Technical report: ICIS-R08007, May, Radboud University Nijmegen, 2008.

Draft proceedings TFP 2008.

[ PDF ] [ Bibtex ]

Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra. Draft Proceedings of the Sixth Advanced Functional Programming school (AFP 2008). Technical report: ICIS-R08008, May, Radboud University Nijmegen, 2008.

Draft proceedings of AFP 2008.

[ PDF ] [ Bibtex ]

J. Nabukenya, P. van Bommel, and H.A. (Erik) Proper. A Theory-Driven Design Approach to Collaborative Policy Making Processes. Technical report: ICIS-R08015, July, Radboud University Nijmegen, 2008.

In this paper, we consider improving collaborative policy making processes. We suggest Collaboration Engineering (CE) as an approach that can be useful in enhancing these processes. However, CE needs a theoretical basis to guide the design. This basis is provided by the quality dimensions and the causal theory. We therefore present a theory that provides an understanding of what makes good policies in policy making. This understanding should lead to design choices that should be taken into account to design quality collaborative policy making processes. To determine the quality dimensions of good policies, we use field exploratory studies and literature in the policy making domain research. Furthermore, we consider cause and effect relationships for these quality dimensions to derive the theory.

[ PDF ] [ Bibtex ]

S.J. Overbeek, P. van Bommel, and H.A. (Erik) Proper. Embedding Knowledge Exchange and Cognitive Matchmaking in a Dichotomy of Markets. Technical report: ICIS-R08003, February, 2008.

Actors require knowledge to improve or gain competencies in order to work successfully. Competencies are improved or gained by executing qualifying tasks. A knowledge market paradigm is introduced to improve the fit between supply and demand of knowledge required by actors performing such qualifying tasks. The eventual work performed by actors can be atomically divided into execution tasks. Discrepancies may exist in the suitability match of actors and the execution tasks that have been allocated to them. Therefore, a knowledge workers market paradigm is introduced as a possible solution to improve the fit between actors and execution tasks.

[ Missing PDF ] [ Bibtex ]