MENDELS ZONE: A parallel program development system based on formal specifications

Information and Software Technology

Volumn 38, Issue 3 SPEC. ISS., 1996, Pages 181-189

  Honiden, Shinichi ^a   Ohsuga, Akihiko ^a   Uchihira, Naoshi ^a  

^a TOSHIBA CORPORATION   (Japan)

Author keywords

Algebraic specification; Parallel programs; Temporal logic

Indexed keywords

ALGEBRA; COMPUTER GRAPHICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FLOWCHARTING; FORMAL LANGUAGES; FORMAL LOGIC; PARALLEL PROCESSING SYSTEMS; PETRI NETS; SYNCHRONIZATION; THEOREM PROVING; VISUALIZATION;

ALGEBRAIC SPECIFICATION; CONCURRENT LOGIC PROGRAMMING LANGUAGE; FORMAL SPECIFICATIONS; PARALLEL PROGRAMS; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 0029709655     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01072-6     Document Type: Article

References (34)

1. S Honiden et al. 'An application of structural modeling and automated reasoning to real-time systems design', The Journal of Real-Time Systems Vol 1 No 3 (1990)
2. S Honiden et al. 'An application of artificial intelligence to object-oriented performance design for real-time systems', IEEE Trans. on Soft. Eng. Vol 20 No 11 (1994)
3. K Ueda and T Chikayama 'Design of the kernel language for the Parallel Inference Machine', The Computer Journal Vol 33 No 6 (1990)
4. EW Dijkstra 'Guarded commands, Nondeterminacy and formal derivation of programs;, Comm. ACM Vol 18 No 8 (1975) pp 453-457
5. S Honiden et al. 'An integration environment to put formal specifications into practical use in real-time systems', Proc. of 6th Int. Workshop on Software Specification and Design (1991)
6. D E Knuth and P B Bendix 'Simple word problems in universal algebra', Automation of Reasoning 2 (Siekmann and Wrightson eds), Springer-Verlag (1983) pp 342-376
7. N Uchihira, M Arami and S Honiden 'A Petri net-based programming environment and its design methodology for cooperating discrete event systems', Trans. IEICE, E75-A, 10 (1992)
8. N Uchihira and S Honiden 'Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE', Proc. of HICSS-28 (1995)
9. P Wolper et al. 'Synthesis of communicating processes from temporal logic specification', ACAM TOPLAS Vol 6 No 1 (1983)
10. D Hatley 'The use of structured methods in the development of large software based avionics systems', AIAA/IEEE Sixth Digital Avionics Systems Conf. (1984)
11. P Ward 'The transformation schema: an extension of the data flow diagram to represent control and timing', IEEE Trans. Soft. Eng. Vol 12 No 2 (1986)
12. B N Bershad et al. 'An open environment for building parallel programming systems', SIGPLAN NOTICES Vol 23 No 9 (1988)
13. D Notkin et al. 'Experiences with poker', SlGPLAN NOTICES Vol 23 No 9 (1988)
14. B Bruegge et al. 'Program development for a systolic array', SIGPLAN NOTICES Vol 23 No 9 (1988)
15. J Vautherin 'Parallel systems specifications with colored Petri nets and algebraic specification', LNCS 266 (1987)
16. B Kraemer 'SEGRAS - A formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems', 9th ICSE (1987)
17. W Hankley and J Peters 'Temporal specification of Ada tasks', HICSS-23 (1990)
18. E Meiling 'A spreadsheet specification in RSL - an illustration of the RAISE specification language', ESPRIT '87 Achievements and Impact North-Holland (1987) pp 466-479
19. U Pletat 'Algebraic specification of abstract data types and CCS: an operational junction', Protocol Specification, Testing and Verification Elsevier Science Publishers (1986)
20. P Folkjar and D Bojorner 'A formal model of a generalized CSP-like language', IFIP '80 (1980)
21. C B Jones Systematic Software Development using VDM Prentice-Hall (1986)
22. R Milner Communication and Concurrency Prentice-Hall (1989)
23. C A R Hoare Communicating Sequential Processes Prentice-Hall (1985)
24. ISO 'Information processing systems-open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behavior' ISO8807 (1989)
25. T W G Docker 'Flexibility and rigour in structured analysis', IFIP '89 (1989)
26. J Cameron JSP & JSD. The Jackson Approach to Software Development IEEE, Computer Society (1989)
27. H Gomaa 'A software method for real-time systems;, Comm. ACM Vol 27 No 9 (1986)
28. J Rumbaugh, M Blaha, W Premerlani, F Eddy and W Lorensen Object-oriented Methodology and Design Prentice-Hall (1991)
29. P Ward 'How to integrate object orientation with structured analysis and design', IEEE Software Vol 6 No 2 (1989)
30. J M Wing 'Writing larch interface language specifications', ACM TOPLAS Vol 9 No 1 (1987)
31. The CIP Language. The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L, Lecture Notes in Computer Science 183 (1985)
32. M Chandrasekharan et al. 'Requirement-based testing of real-time systems: modeling for testability', IEEE Computer (1985)
33. E Shapiro Algorithmic Program Debugging MIT Press (1983)
34. K Taki 'Parallel Inference Machine, PIM', Proc. Int. Conf. on Fifth Generation Computer Systems 1992 (1992) pp 50-72