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 frame-work consists of two main components—a Strategic Dependency model that describes a process organization in terms of intentional dependencies among actors, and a Strategic Rationale 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. © 1996 Wiley Periodicals, Inc.

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

[2]  J. Mylopoulos,et al.  Using goals, rules, and methods to support reasoning in business process reengineering , 1996, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[3]  Lucy A. Suchman,et al.  Office procedure as practical action: models of work and system design , 1983, TOIS.

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

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

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

[7]  Richard M. Young,et al.  Options and Criteria: Elements of design space analysis , 1991 .

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

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

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

[11]  John Mylopoulos,et al.  From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering , 1994, ER.

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

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

[14]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

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

[16]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

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

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

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

[20]  Victor R. Basili,et al.  Characterizing and Assessing a Large-Scale Software Maintenance Organization , 1994, 1995 17th International Conference on Software Engineering.

[21]  Austin Henderson,et al.  On Supporting the Use of Procedures in Office Work , 1980, AAAI.

[22]  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.

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

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