Logical layers in specifications with distributed objects and real time

Computer Systems Science and Engineering

Volumn 14, Issue 4, 1999, Pages 217-226

  Kurki Suonio, Reino ^a   Katara, Mika ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

EXECUTION MODELS; INCREMENTAL SPECIFICATIONS; LOGICAL LAYERS; REACTIVE SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032667411     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Lamport, L The temporal logic of actions, ACM Trans. Program. Lang. Syst., 16(3) (May 1994) 872-923
2. Kurki-Suonio, R and Katara, M Real time in a TLA-based theory of reactive systems, Proc. 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, IEEE Computer Society (1998) pp 186-195
3. Kurki-Suonio, R Fundamentals of object-oriented specification and modeling of collective behaviors, in H Kilov and W Harvey, editors, Object-Oriented Behavioral Specifications, Kluwer (1996) pp 101-120
4. Wegner, P Why interaction is more powerful than algorithms, Comm. ACM, 40(5) (May 1997) pp 80-91
5. Mikkonen, T A development cycle for dependable reactive systems, in Y Chen, editor, Proc. IFIP International Workshop on Dependable Computing and its Applications, University of Witwatersrand (1998) pp 70-82. (Available at www.cs.wits.ac.za/research/workshop/ifip98.html)
6. Chandy, K M and Misra, J Parallel Program Design, A Foundation, Addison-Wesley (1988)
7. Kurki-Suonio, R Real time: further misconceptions (or half-truths), IEEE Computer, 27(6) (June 1994) 71-76
8. Harel, D Statecharts: a visual formalism for complex systems, Science of Computer Programming, 8 (1987) 231-274
9. Dijkstra, E W and Schölten, C S Termination detection for diffusing computations, Information Processing Letters, 11(1) (August 1980) 1-4
10. Mikkonen, T Formalizing design patterns, Proc. 20th Int. Conf. on Software Eng., IEEE Computer Society (1998) pp 115-124
11. Kurki-Suonio, R Stepwise refinement of real-time systems, IEEE Trans. Software Eng., 19(1) (January 1993) 56-69
12. Abadi, M and Lamport, L An old-fashioned recipe for real time, ACM Trans. Program. Lang. Syst., 16(5) (September 1994) 1543-1571
13. Kurki-Suonio, R Hybrid models with fairness and distributed clocks, in R L Grossman, A Nerode, A P Ravn and H Rischel, editors, Hybrid Systems: LNCS 736, Springer-Verlag (1993) pp 103-120
14. Kurki-Suonio, R and Mikkonen, T Liberating object-oriented modeling from programming-level abstractions, in J Bosch and S Mitchell, editors, Object-Oriented Technology: LNCS 1357, Springer-Verlag (1998) pp 195-199
15. Kellomäki, P Verification of reactive systems using DisCo and PVS, in J Fitzgerald, C B Jones and P Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods: LNCS 1313, Springer-Verlag (1997) pp 589-604
16. Systä, K A graphical tool for specification of reactive systems, Proc. Euromicro'91 Workshop on Real-Time Systems (1991) pp 12-19
17. Back, RJR and Kurki-Suonio, R Decentralization of process nets with a centralized control, Distributed Computing, 3 (1989) pp 73-87.
18. Järvinen, H-M, Kurki-Suonio, R, Sakkinen, M, and Systä, K Object-oriented specification of reactive systems, Proc. 12th Int. Conf. on Software Eng. (1990) pp 63-71
19. Järvinen, H-M The Design of a Specification Language for Reactive Systems, number 95 in Publications, Tampere University of Technology (1992)
20. Herrmann, P and Krumm, H Compositional specification and verification of high-speed transfer protocols, in S T Vuong and S T Chanson, editors, Protocol Specification, Testing, and Verification XIV, Chapman & Hall (1994) pp 339-346
21. de Bakker, J W, Huizing, C, de Roever, W P and Rozenberg, G Real-Time: Theory in Practice: LNCS 600, Springer-Verlag (1992)
22. Weiser, M Programmers use slices when debugging, Comm. ACM, 25(7) (July 1982) pp 446-452
23. Lam, S S and Shankar, A U Protocol verification via projections, IEEE Trans. Software Eng., 10(4) (July 1984) pp 325-342