Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Vadera, S; Meziane, F; Huang, MLL
Publisher: Elsevier
Languages: English
Types: Article
Subjects: other, QA75
The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have been carried out by those closely associated with its development and implementation. This paper aims to remedy this situation by describing the experience of using mural for specifying Dust-Expert, an expert system for the relief venting of dust explosions in chemical processes. The paper begins by summarising the main requirements for Dust-Expert, and then gives a ¯avour of the VDM speci®cation that was formalised using mural.\ud The experience of using mural is described with respect to users' expectations that a formal methods tool should: (i) spot any inconsistencies; (ii) help manage and organise the specifications and allow one to easily add, access, update and delete specifications; (iii) help manage and carry out the refinement process; (iv) help manage and organise theories; (v) help manage and carry out proofs. The paper concludes by highlighting the strengths and weaknesses of mural that could be of interest to those developing the next generation of formal methods development tools.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 5. C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall, London,
    • 11. Sunil Vadera and Said Nechab. The development of Dust-Expert. In I. M. Gra-
    • 206, 1995.
    • 9. R. Santon, A. Postill, T T Furman, S. Vadera, W Byers Brown, and K. Palmer. A
    • 12. Sunil Vadera and Said Nechab. TheMD shell and its use to develop Dust-Expert.
    • 10. Sunil Vadera. Proof by analogy in mural. Formal Aspects of Computing, 7(2):183{
    • feasibility study into the use of expert systems for explosion relief. In HAZARDS
    • 1990.
    • XI: New Directions in Process Safety, pages 317{328, 1991.
    • ham, editor, Proc. BCS Expert Systems Conference, pages 189{202, 1993.
    • System. Springer-Verlag, London, 1991.
    • 6. C.B. Jones, P.A. Lindsay, and Moore R. Mural: A Formal Development Support
    • Engineers, UK, 1992.
    • 7. G. Lunn. Guide to dust explosion prevention and protections. Institute of Chemical
    • gineering Journal, 10:133{140, 1995.
    • Expert Systems: The International Journal of Knowledge Engineering and Neural
    • 8. P. Mukherjee. Computer-aided validation of formal specications,. Software En-
    • Networks, 12(3):231{237, 1995.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article