A formal framework for business process modelling and design
- 31 July 2002
- journal article
- Published by Elsevier BV in Information Systems
- Vol. 27 (5), 299-319
- https://doi.org/10.1016/s0306-4379(01)00055-2
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- ConGolog, a concurrent programming language based on the situation calculusArtificial Intelligence, 2000
- Goal-driven business process analysis application in electricity deregulationLecture Notes in Computer Science, 1998
- Al models for business process reengineeringIEEE Expert, 1996
- Using intelligent agents to manage business processesPublished by Institution of Engineering and Technology (IET) ,1996
- A methodology and modelling technique for systems of BDI agentsLecture Notes in Computer Science, 1996
- An overview of workflow management: From process modeling to workflow automation infrastructureDistributed and Parallel Databases, 1995
- ENTERPRISE MODELLING AND THE TELEOLOGICAL APPROACH TO REQUIREMENTS ENGINEERINGInternational Journal of Cooperative Information Systems, 1995
- Managing business processes as an information resourceIBM Systems Journal, 1994
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier BV ,1991
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971