Wide-spectrum language for object-based development of real-time systems

Information sciences

Volumn 118, Issue 1, 1999, Pages 15-35

  Chen, Z ^a   Zedan, H ^a   Cau, A ^a   Yang, H ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

INTERVAL TEMPORAL LOGIC (ITL); TEMPORAL AGENT MODEL (TAM);

REAL TIME SYSTEMS;

EID: 0033328438     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(99)00039-0     Document Type: Article

References (47)

1. Auernheimer B., Kemmerer R. RT-ASLAN: a specification language for real-time systems. IEEE Transactions on Software Engineering. 12(9):1986;879-889.
2. R. Bastide, Objets coopératifs: un formalisme pour la modélisation des systèmes concurrents, Ph.D. Thesis, Université Paul Sabatier de Toulose, 1992.
3. R. Bastide, P. Palanque, Cooperative objects: a concurrent petri net based object-oriented language, in: IEEE/System Man and Cybernetics 93, Le Touquet, France, Elsevier, Amsterdam, October 1993.
4. E. Battiston, A. Chizzoni, F. De Cindio, Inheritance and concurrency in clown, in: Proceedings of the Application and Theory of Petri Nets 1995 Workshop on Object-Oriented programming and Models of Concurrency, Italy, 1995.
5. E. Battiston, A. Chizzoni, F. De Cindio, Modeling a cooperative environment with clown, in: G. Agha, F. De Cindio, A. Yonezawa (Eds.), Proceedings of the Second international workshop on Object-Oriented Programming and Models of Concurrency within the 16th International Conference on Application and Theory of Petri Nets, Osaka, Japan, 1996, pp. 12-24.
6. E. Battiston, F. De Cindio, Class orientation and inheritance in modular algebraic nets, in: Proceedings of the International Conference on Systems, Man and Cybernetics, vol. 2, Palais de L'Europe Hôtel Westminster, Le Touquet, France, October 1993, pp. 717-723.
7. Bergstra J.A., Klop J.W. Process algebra for synchronous communication. Information and Control. 60:1984;109-137.
8. O. Biberstein, D. Buchs, N. Guelfi, COOPN/2: a specification language for distributed systems engineering, Technical Report 96/167, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland, 1996.
9. O. Biberstein, D. Buchs, N. Guelfi, Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism, 1997, ftp://lglftp.epfl.ch/pub/Papers/biber_lncs97.ps.gz.
10. Burns A., Wellings A. HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. 1995;Elsevier, Amsterdam.
11. E. Canver, F. von Henke, Formal specification and verification of object based systems in a temporal logic setting, Technical report, University of Newcastle Upon Tyne, England, Department of Computing Science, 1997; Technical Report Second Year Report of the Esprit Long Term Research Project 20072 Design for Validation.
12. A. Cau, H. Zedan, Refining interval temporal logic specifications, in: M. Bertran, T. Rus (Eds.), Transformation-based Reactive Systems Development, Lecture Notes in Computer Science, vol. 1231, AMAST, Springer, Berlin, 1997, pp. 79-94.
13. Celic B., Gullekson G., Ward P. Real-Time Object-Oriented Modeling. 1994;Wiley, New York.
14. Z. Chen, Formal methods for object-oriented paradigm applied to the engineering of real-time systems: a review, Technical report, De Montfort University, 1997.
15. Z. Chen, A. Cau, H. Zedan, H. Yang, Integrating structured oo approaches with formal techniques for the development of real-time systems, Information and Software Technology 41 (1999) 435-450.
16. H. Zedan, A. Cau, Z. Chen, H. Yang, ATOM: an object-based formal method for real-time systems, Annals of Software Engineering, Vol. 7, 1999.
17. Fraser M.D., Kumar K., Vaishnavi V.K. Informal and formal requirements specification languages: bridging the gap. IEEE Transactions on Software Engineering. 17(5):1991;454-466.
18. J. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, in: RECENT trends in data type specification: workshop on specification of abstract data types: COMPASS: selected papers, Lecture Notes in Computer Science, vol. 785, Springer, Berlin, 1994.
19. E. Harel, O. Lichtenstein, A. Pnueli, Explicit clock temporal logic, in: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Philadelphia, Pennsylvania, 1990, pp. 402-413.
20. time, Technical Report, PRG-OU-HJF-71, Oxford University, 1991.
21. Jackson M.A. Systems Development. 1983;Prentice-Hall, Englewood Cliffs, NJ.
22. Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems. 2(4):1990;255-299.
23. K. Lano, Z++, in: J.E. Nicholls (Ed.), Proceedings of Z User Workshop Oxford, Springer, Berlin, 1990.
24. K. Lano, Distributed system specification in vdm++, in: Proceedings of FORTE'95, Chapman & Hall, London, 1995.
25. Liu S., Offutt A.J., Sun Y., Ohba M. Sofl: a formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering. 24(1):1998.
26. Lowe G., Zedan H. Refinement of complex systems: a case study. The Computer Journal. 38(10):1995.
27. G. Malcolm, J. Goguen, Proving correctness of refinement and implementation, Technical Report Prg-114, Oxford University, Oxford Technical Monograph, 1994.
28. Mander K.C., Polack F. Rigorous specification using structured systems analysis and Z. Information and Software Technology. 37(5/6):1995;285-291.
29. M. Meldrum, P. Lejk, SSADM Techniques: An Introduction to Version 4, Chartwell-Bratt, 1993.
30. P.M. Merlin, A. Segall, Recoverability of communication protocols - implications of a theoretical study, IEEE Transactions on Communications, September 1976, pp. 1036-1043.
31. J. Meseguer, A logical theory of concurrent objects and its realization in the maude language, Research Directions in Concurrent Object-Oriented Programming, MIT Press, Cambridge, MA, 1993, pp. 314-390.
32. J. Meseguer, T. Winkler, Parallel Programming in Maude, Lecture Notes in Computer Science, vol. 574, Springer, New York, 1992, pp. 253-293.
33. Morzenti A., San Pietro P. Object-oriented logical specification of time-critical systems. ACM Transactions on Software Engineering and Methodology. 3(1):1994;56-98.
34. Moszkowski B. A temporal logic for multilevel reasoning about hardware. Computer. 18(2):1985;10-19.
35. J.S. Ostroff, W.M. Wonham, A temporal logic approach to real time control, in: Proceedings of the 24th Conference on Decision and Control, Fort Lauderdale, FL, December 1985, pp. 6565-6567.
36. N. Plat, J. Katwijk, K. Pronk, A case for structured analysis/formal design, in: Proceedings of VDM'91, Lecture Notes in Computer Science, vol. 551, Springer, Berlin, 1991.
37. C. Ramchandani, Analysis of asynchronous concurrent systems by timed petri nets, Technical Report MAC TR 120, MIT, February 1974.
38. S. Schneider, J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed, A.W. Roscoe, Timed CSP: theory and practice, in: J.W. De Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (Eds.), Proceedings of Real-Time: Theory in Practice, Lecture Notes in Computer Science, vol. 600, Springer, Berlin, June 1992, pp. 640-675.
39. Scholefield D., Zedan H., Jifeng He. A specification-oriented semantics for the refinement of real-time systems. Theoretical Computer Science. 131(1):1994;219-241.
40. D.J. Scholefield, H. Zedan, J. He, A predicative semantics for the refinement of real-time systems, in: Lecture Notes in Computer Science, vol. 802, Springer, Berlin, 1994, pp. 230-249.
41. D. Scholefield, H. Zedan, J. He, Real-time refinement: semantics and application, in: Andrzej M. Borzyszkowski, S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993, 18th International Symposium, Lecture Notes in Computer Science, vol. 711, Springer, Gdansk, Poland, 1993, pp. 693-702.
42. L.T. Semmens, P.M. Allen, Using Yourdon and Z: an approach to formal specification, in: J.E. Nicholls (Ed.), Z User Workshop, Oxford 1990, Workshops in Computing, Springer, Berlin, 1991, pp. 228-253.
43. L.T. Semmens, P.M. Allen, Using Yourdon and Z: an approach to formal specification, in: J.E. Nicholls (Ed.), Z User Workshop, Oxford 1990, Workshops in Computing, Springer, Berlin, 1991, pp. 228-253.
44. Spivey J.M. Richer types for Z. Formal Aspects of Computing. 8:1996;565-584.
45. Yi. Wang, CCS + time=an interleaving model for real time systems, in: J.L. Albert, B. Monien, M. Rodríguez-Artalejo (Eds.), Automata, Languages and Programming, 18th International Colloquium, Lecture Notes in Computer Science, vol. 510, Springer, Madrid, Spain, 1991, pp. 217-228.
46. Yourdon E. Modern Structured Analysis. 1989;Prentice-Hall, Englewood Cliffs, NJ.
47. Zhou C., Hoare C., Ravn A. A calculus of durations. Information Processing Letters. 40(5):1991;269-276.