A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Artificial intelligence, simulation & modeling
Artificial intelligence, simulation & modeling
Tutorial: artificial intelligence and simulation
WSC '89 Proceedings of the 21st conference on Winter simulation
Knowledge-based simulation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A formal language for the requirements engineering of computer systems
From natural language processing to logic for expert systems
SimTL: a simulation language based on temporal logic
Transactions of the Society for Computer Simulation International
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Tutorial: artificial intelligence and simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Modelling and Simulation Methodology: Knowledge Systems Paradigms
Modelling and Simulation Methodology: Knowledge Systems Paradigms
Data Models
Hi-index | 0.00 |
A high-level simulation language based on temporal logic is described. The language combines a large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementation of the language interpreter is presented. Finally, a real-world case study is described that shows how a programmer can develop structured, reliable, and well-maintainable simulation programs using the language.