Towards a general theory of action and time
Artificial Intelligence
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The INFOLOG linear tense propositional logic of events and transactions
Information Systems
Temporal logic of programs
IFIP comparative review of information systems design methodologies: problem definition
Trends in information systems
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Handbook of computer-communications standards. Vol. 3: Department of Defense (DoD) protocol standards
Communications of the ACM
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Software requirements: analysis and specification
Software requirements: analysis and specification
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Specifying real-time properties with metric temporal logic
Real-Time Systems
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
ICSE '90 Proceedings of the 12th international conference on Software engineering
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Using the temporal logic RDL for design specifications
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
A rule language to capture and model business policy specifications
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Requirements engineering for real-time systems
Software Engineering Journal - Special issue on real-time software
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
Data Models
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
| Hi-index | 0.00 |
A software specification language Templar is defined in this article. The development of the language was guided by the following objectives: requirements specifications written in Templar should have a clear syntax and formal semantics, should be easy for a systems analyst to develop and for an end-user to understand, and it should be easy to map them into a broad range of design specifications. Templar is based on temporal logic and on the Activity-Event-Condition-Activity model of a rule which is an extension of the Event-Condition-Activity model in active databases. The language supports a rich set of modeling primitives, including rules, procedures, temporal logic operators, events, activities, hierarchical decomposition of activities, parallelism, and decisions combined together into a cohesive system.