An executable specification language for fast prototyping parallel responsive systems

Computer Languages

Volumn 22, Issue 1, 1996, Pages 1-13

  Heping, H ^a   Zedan, H ^b  

^a Domino Ltd   (United Kingdom)

^b DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Formal specification; Parallel system; Prototype; Reactive

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS; TESTING;

FAST PROTOTYPING RESPONSIVE SYSTEMS; FORMAL SPECIFICATION;

PARALLEL PROCESSING SYSTEMS;

EID: 0030127254     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/0096-0551(96)00001-X     Document Type: Article

References (15)

1. Furbach, U., Formal specification methods for reactive systems. J. Systems Software 21: 129-139; 1993.
2. Pnueli, A., The Temporal Logic of Programs, Proc. 18th Ann. Symp. Foundations of Computer Science, Providence, RI, New York, IEEE, pp. 46-57; 1977.
3. Huizing, C. and de Roever, W. P., Introduction to design choices in the semantics of Statecharts. Information Processing Letters 37: 205-213; 1991.
4. Heping, H., Cycle Calculus for Requirements Specification of Real-time and Hybrid Systems. FSRG reports, FSRG-93-18. Department of Computer Science, University of York; 1993.
5. Heping, H., PSP, a Programming Language for Prototype State Predicates. FSRG report. FSRG-93-19. Department of Computer Science, University of York; 1993.
6. Heping, H. and Zedan, H., Requirement specification for real-time and hybrid systems, Proc. 6th Conference on Formal Description Techniques, Boston, U.S.A.; 1993.
7. Heping, H., The cycle calculus and method for the formal development of real-time and hybrid systems, Ph.D. Thesis, Department of Computer Science, University of York, YCST9407, July 1994.
8. Allen, J. F., Towards a general theory of action and time. Artificial Intelligence 23: 123-154; 1983.
9. Rescher, N. and Urguhart, A., Temporal Logic. Vienna: Springer; 1971.
10. Jahanian, F. and Mok, A., Safety analysis of timing properties in real-time systems. IEEE Trans S.E. 12(9): 890-940; 1986.
11. Chaochen, Z., Hoare, C. A. R. and Ravn, P. A., A Calculus of Durations, ProCos Working Paper, Oxford University Computing Laboratory; 1991.
12. Moszkowski, B., Executing Temporal Logic Programs. Cambridge Tech Report N71; 1985.
13. Kroger, F., Temporal Logic of Programs, EATCS, Monographs on Theoretical Computer Science (Edited by Brauer, W., Rozenberg, G. and Salomaa, A.) New York: Springer.
14. Kesten, Y. and Pnueli, P., Timed and hybrid Statecharts and their textual representation. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 571 of Lect. Notes in Comp. Sci. (Edited by Vytopil, J.), pp. 591-619. New York: Springer; 1992.
15. Maler, O., Manna, Z. and Pnueli, A., From timed to hybrid systems. In Proceedings of the REX Workshop Real-Time: Theory in Practice, Vol. 600 of Lect. Notes in Comp. Sci. (Edited by de Bakker, J. W.). New York: Springer; 1992.