A formal framework for business process modelling and design

Information Systems

Volumn 27, Issue 5, 2002, Pages 299-319

  Koubarakis, Manolis ^a   Plexousakis, Dimitris ^b  

^a TECHNICAL UNIVERSITY OF CRETE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

Business process modelling; ConGolog; Enterprise modelling; Formal verification; Methodology; Situation calculus

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; INDUSTRIAL MANAGEMENT; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MANAGEMENT INFORMATION SYSTEMS; SYSTEMS ANALYSIS;

BUSINESS PROCESS MODELLING; CONGOLOG; ENTERPRISE MODELLING; FORMAL VERIFICATION; SITUATION CALCULUS;

FORMAL LANGUAGES;

EID: 0036643491     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(01)00055-2     Document Type: Article

References (53)

1. Modelling business processes for understanding, improvement and enactment, tutorial notes
2. An overview of workflow management: From process modelling to workflow automation infrastructure
3. Managing business processes as an information resource
4. Using intelligent agents to manage business processes
5. AI models for business process reengineering
6. Some philosophical problems from the standpoint of artificial intelligence
7. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
8. Enterprise modelling and the teleological approach to requirements engineering
9. Goal-driven business process analysis-application in electricity deregulation
10. Con-Golog, a concurrent programming language based on the situation calculus
11. Modelling strategic relationships for process reengineering
12. The ORDIT approach to organisational requirements
13. A methodology and modelling technique for systems of BDI agents
14. Team-oriented programming: Social structures
15. STRIPS: A new approach to the application of theorem proving to problem solving
16. Goal-directed requirements acquisition
17. Goal-based process analysis: A method for systematic process redesign
18. Using goals, rules and methods to support reasoning in business process reengineering
19. Representing and using non-functional requirements: A process-oriented approach
20. Understanding "why" in software process modelling
21. Managing conflicts in goal-driven requirements engineering
22. Representing and using non-functional requirements: A process-oriented approach
23. Adding a time line to the situation calculus
24. Process modelling, commun.
25. Goal decomposition and scenario analysis in business process reengineering
26. Reasoning about concurrent execution, prioritised interrupts and exogeneous actions in the situation calculus
27. Modelling dynamic domains with congolog
28. The frame problem and knowledge producing actions
29. A situation calculus approach to modelling and programming agents
30. Foundations of a logical approach to agent programming
31. On the efficient maintenance of temporal integrity in knowledge bases
32. Business process modelling and design: AI models and methodology
33. Modelling the service assurance process for optus using GEM
34. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learned
35. Simulation and analysis of business processes using GOLOG
36. Exploiting constraints in design synthesis
37. Temporal reasoning in the situation calculus
38. State constraints revisited
39. Accommodating integrity constraints during database design
40. Enterprise modelling
41. The Gaia methodology for agent-oriented analysis and design