In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects of actions in a dynamic domain are specified in a logical framework. This supports modeling even in the absence of complete information. The behavior of agents in the domain is specified in a concurrent process language, whose semantics is defined in the same logical framework. We then describe a simulation tool implemented in terms of logic programming technology. As well, we discuss a verification tool which is being developed based on theorem proving technology.
CITATION STYLE
Lespérance, Y., Kelley, T. G., Mylopoulos, J., & Yu, E. S. K. (1999). Modeling dynamic domains with congolog. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1626, pp. 365–380). Springer Verlag. https://doi.org/10.1007/3-540-48738-7_27
Mendeley helps you to discover research relevant for your work.