We present a formal framework for representing enterprise knowledge. The framework is largely based on ideas from AI and its concepts (objectives and goals, roles and actors, actions and processes, responsibilities and constraints) allow business analysts to capture knowledge about an enterprise in an intuitive and formal way. We also present a methodology which allows business analysts to go from high-level enterprise objectives, to detailed and formal specifications of business processes that can be enacted to realise these objectives. The specifications can be formally verified for correctness. 1
|
1397
|
STRIPS: A new approach in the application of theorem proving to problem solving
– Fikes, Nilsson
- 1971
|
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
362
|
Re-engineering the Corporation: A Manifesto for Business Revolution
– Hammer, Champy
- 1993
|
|
289
|
Process Modeling
– Curtis, Kellner, et al.
- 1992
|
|
278
|
Process Innovation: Reengineering Work Through Information
– Davenport
- 1993
|
|
241
|
Modelling Strategic Relationships for Process Reengineering
– Yu
- 1995
|
|
223
|
Representing and using non-functional requirements: A process-oriented approach
– Mylopoulos, Chung, et al.
- 1992
|
|
163
|
A methodology and modelling technique for systems of bdi agents
– Kinny, Georgeff, et al.
- 1996
|
|
125
|
Business Processes: Modelling and Analysis for Re-engineering and Improvement
– Ould
- 1995
|
|
92
|
Managing business processes as an information resource
– Leymann, Altenhuber
- 1994
|
|
90
|
The Frame Problem and Knowledge Producing Actions
– Scherl, Levesque
- 1993
|
|
90
|
Goal-Directed Elaboration of Requirements for a Meeting Scheduler
– Lamsweerde, Darimont, et al.
- 1995
|
|
87
|
Managing conflicts in goal-driven requirements engineering
– Lamsweerde, Darimont, et al.
- 1998
|
|
81
|
Entreprise Modeling
– Fox, Gruninger
- 1998
|
|
61
|
Foundations of a logical approach to agent programming
– Lesperance, Levesque, et al.
- 1996
|
|
59
|
Using intelligent agents to manage business processes
– Jennings, Faratin, et al.
- 1996
|
|
40
|
Goal decomposition and scenario analysis in business process reengineering
– Anton, Cracken, et al.
- 1994
|
|
40
|
System Requirements Engineering
– Loucopoulos, Karakostas
- 1995
|
|
35
|
SIBYL: A qualitative decision management system
– Lee
- 1990
|
|
29
|
Enterprise modeling and the teleological approach to requirements engineering
– Loucopoulos, Kavakli
- 1995
|
|
26
|
Using goals, rules, and methods to support reasoning in business process reengineering
– Yu, Mylopoulos
- 1996
|
|
20
|
A situation calculus approach to modeling and programming agents
– Lesperance, Levesque, et al.
- 1999
|
|
19
|
Goal-Driven Business Process Analysis Application in Electricity Deregulation
– Kavakli, Loucopoulos
- 1998
|
|
17
|
Modelling Dynamic Domains with ConGolog
– Lespérance, Kelley, et al.
|
|
16
|
Understanding "Why
– Yu, Mylopoulos
- 1994
|
|
15
|
AI models for business process reengineering
– Yu, Mylopoulos, et al.
- 1996
|
|
14
|
Team-oriented programming: Social structures
– Tidhar
- 1993
|
|
13
|
Strens, ‘The ordit approach to organisational requirements
– Dobson, Blyth, et al.
- 1994
|
|
12
|
EKD user guide
– Bubenko, Brash, et al.
|
|
11
|
Enterprise modeling,” Ingenierie des Systems d
– Bubenko
- 1994
|
|
10
|
Reasoning About Concurrent Execution
– Giacomo, Lesperance, et al.
- 1997
|
|
9
|
Cooperative Knowledge Processing: The Key Technology for Intelligent Organisations
– Kirn
- 1995
|
|
9
|
Goal-Based Process Analysis: A Method for Systematic Process Redesign
– Lee
- 1994
|
|
6
|
Simulation and Analysis of Business Processes Using GOLOG
– Plexousakis
- 1995
|
|
6
|
Modeling the service assurance process for Optus using GEM
– Rao
- 1996
|
|
5
|
An Overview of Worklfow Management: From Process Modelling to Workflow Automation Infrastructure. Distributed and Parallel Databases
– Georgakopoulos, Hornick, et al.
- 1995
|
|
5
|
Modelling Business Processes for Understanding, Improvement and Enactment
– Ould
- 1994
|
|
4
|
On the efficient maintenance of temporal integrity in knowledge bases
– Plexousakis
- 1996
|
