A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Communications of the ACM - Special issue on analysis and modeling in software development
Artificial intelligence and mathematical theory of computation
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Business Process Modelling and Design — A Formal Model and Methodology
BT Technology Journal
A formal framework for business process modelling and design
Information Systems
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Formal Model for Business Process Modeling and Design
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
This paper describes a novel approach to simulating and analyzing business processes using GOLOG, a high-level logic programming language suitable for defining complex behaviors and capable of simulating action execution. The language is based on an extended version of the situation calculus and incorporates a formal theory of action. Business processes can be viewed as actions (physical or perceptual) that affect the state of affairs or an agent's knowledge of this state. Using GOLOG, business processes can be specified, synthesized and tested for feasibility and consistency. The theoretical framework behind GOLOG includes a solution to the frame problem for perceptual and complex actions, as well as, a formal method for process analysis. The latter uses a solution to the ramification problem for proving the satisfaction or violation of constraints. In case this is not possible, the method proposes strengthenings to the processes' pre- and post-conditions, so that any implementation that meets the process specification, provably guarantees that constraints will not be violated. In this manner, business process reengineering can be assisted by a formal analysis and simulation tool for testing the consistency of the process model.