Systematic software development using VDM
Systematic software development using VDM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Temporal logic for real time systems
Temporal logic for real time systems
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Specification case studies
Fundamentals of software engineering
Fundamentals of software engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Toward a discipline of real-time programming
Communications of the ACM
Software Engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
UML for real
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Specifying multiple time granularities in interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
| Hi-index | 0.00 |
We motivate the need for allowing the consistent treatment of different time scales in formal specifications of time critical systems, with the purpose of enhancing the naturalness and practical usability of the notation. Our approach to this issue is illustrated on TRIO, a temporal logic language for the specification of Real-Time systems. We briefly introduce TRIO and define an extension to the language which considers a temporal universe composed of various temporal domains of different time granularity. The semantics of the extended language is defined via translation mechanisms which allow us to interpret formulas referring to a larger time granularity in a finer temporal domain, and the main properties of such translations are discussed. Finally we present a complete simple example of a system specified at various levels of granularity.