Modeling Dynamic Domains with ConGolog (1999)
Cached
Download Links
- [www.cs.toronto.edu]
- [www.cs.toronto.edu]
- [www.cs.yorku.ca]
- [www.cs.yorku.ca]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the Eleventh Conference on Advanced Information Systems Engineering (CAiSE’99) (Lecture Notes in Computer Science |
| Citations: | 15 - 4 self |
BibTeX
@INPROCEEDINGS{Lespérance99modelingdynamic,
author = {Yves Lespérance and Todd G. Kelley and John Mylopoulos and Eric S. K. Yu},
title = {Modeling Dynamic Domains with ConGolog},
booktitle = {In Proceedings of the Eleventh Conference on Advanced Information Systems Engineering (CAiSE’99) (Lecture Notes in Computer Science},
year = {1999},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
