A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of aggregation in causal simulation
Artificial Intelligence
Constructing and analyzing specifications of real world systems
Constructing and analyzing specifications of real world systems
The architecture of an integrated symbolic simulator
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Hi-index | 0.00 |
A formal system specification is often written declaratively, in terms of the properties of the system components. This makes the system description modular and concise. However, this does not make the procedural aspects of the system easily understandable. Here arises the need for automatically generating interesting behavior patterns, specifically, scenarios.This paper is a preliminary report of our research in generating interesting scenarios. We define several types of scenarios of interest and discuss the algorithms for generating them. At the center of the algorithms is a data structure, called “influence graphs,” that reflects how the objects in a system affect one another.