Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering

One step towards a more systematic approach to the design of business processes is to develop models that provide appropriate representations of the knowledge that is needed for understanding and for reasoning about business processes. We present a modelling framework which uses goals, rules, and methods to support the systematic analysis and design of business processes. The framework consists of two main components { an Actor Dependency model that describes a process organization in terms of intentional dependencies among actors, and an Issue Argumen-tation model that supports reasoning during process redesign. Formal representation of these models allows computer-based tools to be developed as extensions to, and eventually integrated with, other tools for supporting information systems development.

[1]  James D. Thompson Organizations in Action , 1967 .

[2]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[3]  Robert N. Stern,et al.  The External Control of Organizations: A Resource Dependence Perspective. , 1979 .

[4]  Janis A. Bubenko,et al.  Information Modeling in the Context of System Development , 1980, IFIP Congress.

[5]  Michael R. Genesereth,et al.  An Overview of Meta-Level Architecture , 1983, AAAI.

[6]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[7]  E. Dubois,et al.  A knowledge representation language for requirements engineering , 1986, Proceedings of the IEEE.

[8]  Thomas W. Malone,et al.  Modeling Coordination in Organizations and Markets , 1987 .

[9]  Bryan Michael Kramer Control of reasoning in knowledge-based systems , 1987 .

[10]  Colin Potts,et al.  Recording the reasons for design decisions , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[11]  Michael Hammer,et al.  Reengineering Work: Don’t Automate, Obliterate , 1990 .

[12]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[13]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[14]  Sarit Kraus,et al.  Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..

[15]  Thomas P. Moran,et al.  Questions, Options, and Criteria: Elements of Design Space Analysis , 1991, Hum. Comput. Interact..

[16]  Matthias Jarke,et al.  DAIDA: an environment for evolving information systems , 1992, TOIS.

[17]  Y. Lespérance A formal theory of indexical knowledge and action , 1992 .

[18]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[19]  Brian A. Nixon,et al.  Dealing with performance requirements during the development of information systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[20]  Eric S. K. Yu An Organization Modelling Framework for Multi-Perspective Information System Design , 1993 .

[21]  Eric S. K. Yu,et al.  Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[22]  E. Yu An Organization Modelling Framework for Information Systems Requirements Engineering (Extended Abstract) , 1993 .

[23]  John Mylopoulos,et al.  An actor dependency model of organizational work: with application to business process reengineering , 1993, COCS '93.

[24]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.