Protocols for process interaction

IEE Proceedings: Computers and Digital Techniques

Volumn 150, Issue 3, 2003, Pages 157-182

  Simpson, H R ^a  

^a KINGSTON UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; INTERFACES (COMPUTER); NETWORK PROTOCOLS;

UNIDIRECTIONAL PROTOCOLS;

REAL TIME SYSTEMS;

EID: 0038659913     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20030419     Document Type: Conference Paper

References (52)

1. PHILLIPS, C.S.E.: 'Networks for real-time programming', Comput. J., 1967, 10, (1), pp. 46-52
2. WOODWARD, R.D.: 'Rapier 2000 software development programme', Softw. Eng. J., 1996, 11, (2). pp. 82-87
3. SIMPSON, H.R., and JACKSON, K.: 'Process sychronisation in Mascot', Comput. J., 1979, 22, (4), pp. 332-345
4. SIMPSON, H.R.: 'The Mascot method', Softw. Eng. J., 1986, 1, (3), pp. 103-120
5. JACKSON, M.A.: 'System development' (Prentice-Hall International, New Jersey, 1983)
6. WARD, P.T: 'The transformation schema: an extension of the data flow diagram to represent control and timing', IEEE Trans. Softw. Eng., 1986, 12, (2), pp. 198-210
7. FRANCE, R.B.: 'Semantically extended data flow diagrams: a formal specification tool', IEEE Trans. Softw. Eng., 1992, 18, (4), pp. 329-346
8. GOMAA, H.: 'A software design method for distributed real-time applications', J. Syst. Softw., 1989, 9, (2), pp. 81-94
9. ALLEN, R., and GARLAN, D.: 'Formalizing architectural connection'. Proc. 16th Int. Conf. on Software engineering, 1994, pp. 71-80
10. ANDREWS, G.R.: 'Paradigms for process interaction in distributed programs', ACM Comput. Surv., 1991, 23, (1), pp. 49-90
11. RAYNAL, M.: 'Distributed algorithms and protocols' (John Wiley & Sons, 1988)
12. ZIMMERMANN. H., BANINO. J.-S., CARISTAN, A., GUILLE-MONT, M., and MORISSET G.: 'Basic concepts for the support of distributed systems: the Chorus approach'. 2nd Int Conf. on Distributed computing systems, 1981, pp. 60-66
13. VAN STEEN, M., VOGEL, T., and TEN DAM, A.: 'ADL: a graphical design language for real-time applications'. Proc. Conf. on Transputer applications and systems'93, 1993, pp. 365-379
14. SIMPSON, H.R.: 'Protocols for process interaction. Part 1: Rationale and specification'. Matra BAe Dynamics Report, DR20197, 2000
15. SIMPSON, H.R.: 'Real time networks in configurable distributed systems". Proc. IEE Int. Workshop on Configurable distributed systems, London, March 1992, pp. 45-59
16. BOCHMANN, G.V., and SUNSHINE, C.A.: 'Formal methods in communication protocol design', IEEE Trans. Commun., 1980, 28, (4), pp. 624-631
17. HECK, E., HOGREFE, D., and MUELLER-CLOSTERMANN, B.: 'Hierarchical performance evaluation based on formally specified communication protocols', IEEE Trans. Comput., 1991, 40, (4), pp. 500-513
18. PROBERT, R.L., and SALEH, K.: 'Synthesis of communication protocols: survey and assessment', IEEE Trans. Comput., 1991, 40, (4), pp. 468-476
19. A basic reference model for open systems interconnection. International Standard, ISO/IS 7498, 1984
20. SIMPSON, H.R.: 'Protocols for process interaction. Part 2: Application'. Matra BAe Dynamics Report, DR20198, 2000
21. SIMPSON, H.R.: "Protocols for process interaction. Part 3: Realisation'. Matra BAe Dynamics Report, DR20199, 2000
22. SIMPSON, H.R.: 'Correctness analysis for class of asynchronous communication mechanisms', IEE Proc. E, Comput. Digit. Tech., 1992, 139, (1), pp. 35-49
23. SIMPSON, H.R.: 'Role model analysis of an asynchronous communication mechanism'. IEE Proc., Comput. Digit. Tech., 1997, 144, (4), pp. 232-240
24. LAMPORT, L.: "On interprocess communication. Part I: Basic formalism', Distrib. Comput., 1986, 1, (2), pp. 77-85
25. 'Occam programming manual' (Prentice-Hall International. New Jersey, 1985)
26. ALLEN, R., and GARLAN, D.: 'A formal basis for architectural connection', ACM Trans. Softw. Eng. Methodol., 1997, 6, (3), pp. 213-249
27. EDWARDS, S., LAVAGNO, L.. LEE, E.A., and SANGIOVANNI-VINCENTELLI, A.: 'Design of embedded systems: formal models, validation and synthesis', IEEE Proc., 1997, 85, (3), pp. 367-390
28. LEE, E.A., and SANGIOVANNI-VINCENTELLI, A.: 'A framework for comparing models of computation', IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 1998, 17, (12), pp. 1217-1229
29. SCHWARTZ, R.L., and MELLIAR-SMITH, P.M.: 'From state machines to temporal logic: specification methods for protocol standards', IEEE Trans. Commun., 1982, 30, (12), pp. 2486-2496
30. KING, P.W.: 'Formalization of protocol engineering concepts', IEEE Trans. Comput., 1991, 40, (4), pp. 387-403
31. DE BOER, F.S., KOK, J.N., PALAMJDESSI, C., and RUTTEN, J.J.M.M.: 'The failure of failures in a paradigm for asynchronous communication', Lect. Notes Comput. Sci., 1991, 527, pp. 111-126
32. JOSEPHS, M.B.: 'Receptive process theory', Acta Inform., 1992, 29, pp. 17-31
33. JAHANIAN, F., and MOK, A.K.: 'Safety analysis of timing properties of real-time systems', IEEE Trans. Softw. Eng., 1986, 12, (9), pp. 890-904
34. JAHANIAN, F., MOK, A.K., and STUART, D.A.: 'Formal specification of real time systems'. TR-88-25. Dept of Computer Sciences, The University of Texas at Austin, 1988
35. PAYNTER, S.E.: 'Real-time logic revisited Proceedings of the international symposium of formal methods Europe 2001: formal methods for increasing software productivity'. Lect. Notes Comput. Sci., 2001, 2021, pp. 300-317
36. OWRE, S., SHANKER, N., RUSHBY. J.M., and STRINGER-CALVERT, D.W.J.: TVS system guide: Version 2.3'. Technical Report, Computer Science Laboratory. SRI International, 1999
37. SIMPSON, H.R.: 'Multireader and multiwriter asynchronous communication mechanisms', IEE Proc., Comput. Digit. Tech.. 1997, 144, (4), pp. 241-243
38. KOPETZ, H.: 'Real-time systems: design principles for embedded applications' (Kluwer Academic Publishers, Dordrecht, 1997)
39. CHANEY, T.J., and MOLNAR. C.E.: 'Anomalous behavior of synchronizer and arbiter circuits'. IEEE Trans. Comput.. 1973, 22, (4), pp. 421-422
40. LYNCH, N.A.: 'Distributed algorithms' (Morgan Kaufmann Publishers Inc, San Francisco. 1996)
41. RAYNAL. M., and HELARY, J.-M.: 'Synchronisation and control of distributed systems and programs' (John Wiley & Sons. Chichester, 1990)
42. HOARE, C.A.R.: 'Monitors: an operating system structuring concept'. Commun. ACM, 1974, 17, (10), pp. 549-557
43. WEGNER, P.: 'Concepts and paradigms of object-oriented programming'. Presented at OOPSLA-89, Keynote Talk, 1989
44. HOARE, C.A.R.: 'Communicating sequential processes', Commun. ACM, 1978, 21, (8), pp. 666-677
45. SIMPSON, H.R.: 'Fully asynchronous communication'. IEE Colloq. on Mascot in real-time systems, 1987, IEE Colloq. Dig. 58
46. TROMP, J.: 'How to construct an atomic variable'. Proc. 3rd Int. workshop on Distributed algorithms, 1989, pp. 292-302
47. ANDERSON, J.H., and GOUDA, M.G.: "A criterion for atomicity', Form. Asp. Comput., 1992, 4, (3). pp. 273-298
48. BOASSON, M.: 'Control systems software', IEEE Trans. Autom. Control., 1993, 38, (7), pp. 1094-1106
49. CARRIERO, N., and GELERNTER. D.: 'Linda in context', Commun. ACM, 1989, 32, (4), pp. 444-458
50. BUSCHMANN, F., MEUNIER, R., ROHNERT, H., SOMMELAD, P., and STAL, M.: 'Pattern-oriented software architecture: a system of patterns' (John Wiley & Sons, Chichester, 1996)
51. SHAW. M., and GARLAN, D.: 'Software architecture: perspectives on an emerging discipline' (Prentice Hall, New Jersey, 1996)
52. PAYNTER, S., ARMSTRONG, J., and HAVEMAN, J.: 'ADL: an activity description language for real-time networks'. Form. Asp. Comput., 2000, 12, (2), pp. 120-144