Logical specification of reactive and real-time systems

Journal of Logic and Computation

Volumn 8, Issue 5, 1998, Pages 679-711

  Lano, Kevin ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Formal specification; Object oriented specification; Reactive systems; Real time temporal logic

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; LINEAR PROGRAMMING; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SPECIFICATIONS;

FORMAL SPECIFICATION; OBJECT ORIENTED SPECIFICATION; REAL TIME TEMPORAL LOGIC;

LOGIC PROGRAMMING;

EID: 0032178819     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.5.679     Document Type: Article

References (33)

1. J.-R. Abrial. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23, 123-154, 1984.
3. C. Atkinson. Object-oriented Reuse, Concurrency and Distribution, an Ada- based approach. ACM Press/Addison-Wesley, New York, 1991.
4. J. C. Bicarregui, K. C. Lano and T. S. E. Maibaum. Objects, associations and subsystems: a hierarchical approach to encapsulation. In ECOOP 97, LNCS. Springer-Verlag, 1997.
5. J. C. Bicarregui, K. C. Lano, and T. S. E. Maibaum. Towards a compositional interpretation of object diagrams. In Proceedings of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, February 1997.
6. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, 1994.
7. S. M. Celiktin. Interval-based Techniques for the Specification and Analysis of Real-time Requirements, PhD thesis, Catholic University of Louvain, September 1994.
8. J. Fiadeiro and T. Maibaum. Describing, structuring and implementing objects. In Foundations of Object Oriented languages, Volume 489 of LNCS. Springer-Verlag, 1991.
9. J. Fiadeiro and T. Maibaum. Sometimes "tomorrow" is "sometime". In Temporal Logic, volume 827 of Lecture Notes in Artificial Intelligence, pp. 48-66. Springer-Verlag, 1994.
10. C. Fidge. A constraint-oriented real-time process calculus. In Formal Description Techniques, V, pp. 363-378. North Holland, 1993.
11. M. Hansen and Z. Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing, 9, 280-330, 1997.
12. D. Harel. On visual formalisms. Communications of the ACM, 31, 514-530, 1988.
13. IFAD VDM++ Tool Group. The IFAD VDM++ language. Technical Report IFAD-VDM-41, Institute of Applied Computer Science, Odense, Denmark, 1997.
14. F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12, 890-904, 1986.
15. S. Kent and K. Lano. Axiomatic semantics for concurrent object systems. Technical Report AFRODITE Project technical report, Dept. of Computing, Imperial College, 180 Queens Gate, London SW7 2BZ, 1995.
16. R. Koymans. Specifying Message-Passing and Time-Critical Systems with Temporal Logic, Volume 651 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
17. P. B. Ladkin. The logic of time representation. Technical Report KES.U.87.13, Kestrel Institute, November 1987.
18. L. Lamport. The temporal logic of actions. Technical Report 79, Digital Equipment Corporation, Systems Research Center, December 1991.
19. K. Lano. Formal Frameworks for Vagueness and Approximate Reasoning, PhD thesis, Bristol University, 1989.
20. K. Lano. Intuitionistic modal logic and set theory. Journal of Symbolic Logic, 56, 497-516, 1991.
21. K. Lano. Formal Object-Oriented Development. Springer-Verlag, 1995.
22. K. Lano, J. Bicarregui and S. Goldsack. Formalising design patterns. In Northern Formal Methods Workshop. Springer-Verlag Workshops in Computer Science, 1996.
23. K. Lano, S. Goldsack, J. Bicarregui and S. Kent. Integrating VDM++ and real-time system design. In Z User Meeting 1997, Lecture Notes in Computer Science. Springer-Verlag, 1997.
24. B. Liskov and J. Wing. Specifications and their use in defining subtypes. In ZUM '95 Proceedings, Volume 967 of LNCS. Springer-Verlag, 1995.
25. G. Lowe and H. Zedan. Refinement of complex systems: A case study. The Computer Journal, 38, 785-800, 1995.
26. Z. Manna and A. Pnueli. Time for concurrency. Technical report, Dept. of Computer Science, Stanford University, 1992.
27. C. McHale, S. Baker, B. Walsh and A. Donnelly. Synchronisation variables. Technical Report Amadeus Project report TCD-CS-94-01, University of Dublin, 1994.
28. P. M. Melliar-Smith. Extending interval logic to real-time systems. In Conference on Temporal Logic in Specification, Volume 398 of LNCS, pp. 224-242. Springer-Verlag, April 1987.
29. Ministry of Defence. Def stan 00-55: Requirements for safety related software in defence equipment, issue 2, 1997.
30. J. S. Ostroff. Temporal Logic for Real-Time Systems. John Wiley, 1989.
31. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency, Volume 224 of LNCS. Springer-Verlag, 1986.
32. M. Ryan, J. Fiadeiro and T. S. E. Maibaum. Sharing actions and attributes in modal action logic. In Proceedings of International Conference on Theoretical Aspects of Computer Science (TACS '91). Springer-Verlag, 1991.
33. S. A. Schuman, D. H. Pitt and S. G. Ley. Object-oriented formal specification and behavioural refinement. In 6th Refinement Workshop, Workshops in Computing, 1993.