We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.
Unable to display preview. Download preview PDF.
- S. Brock and C.W. George: The RAISE Method Manual. LACOS/CRI/DOC/3, 1990, Computer Resources International A/S.Google Scholar
- C. George and S. Prehn: The RAISE Justification Handbook. LACOS/CRI/DOC/7, 1992, Computer Resources International A/S.Google Scholar
- Anne Haxthausen and Chris George: A Concurrency Case Study Using RAISE. In Proceedings of FME'93, Lecture Notes in Computer Science, pages 367–387. Springer-Verlag, 1993.Google Scholar
- C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall International, 1985.Google Scholar
- C. B. Jones: Systematic Software development — Using VDM, 2nd Edition. Prentice-Hall International, 1989.Google Scholar
- R. Milner: Communication and Concurrency. Prentice Hall, 1989.Google Scholar
- The RAISE Language Group: The RAISE Specification Language. BCS Practitioner Series, Prentice-Hall International, 1992.Google Scholar
- RAISE Tools Reference Manual. LACOS/CRI/DOC/13, 1992, Computer Resources International A/S.Google Scholar