Abstract
One of the most challenging issues nowadays in the software community is the development of systems providing a certain level of quality at reasonable cost and time delay. This is reflected in the fact that many important application areas such as aeronautics, nuclear energy, telecommunication or medical applications require a high level of reliability and safety. A cost reduction and increased reliability policy requires adopting rigorous methodologies at the earlier phases of the development process where it is cheaper to fix the deficiencies that may arise. Rigorous and precise development can be achieved using formal methods. The use of formal methods in software development improves the insight into and understanding of requirements, help clarify the customer’s requirements by highlighting or avoiding contradictions and ambiguities in the specifications, enables rigorous verification of specifications and their software implementations. In spite of these benefits, the utilization of formal methods in industry is relatively restricted, due primarily, among other reasons, to the esoterism and lack of friendliness of the formalisms, and the lack of industrial tool support and so on.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)
Crew, J., Owre, S., Rushby, J., Shankar, N., Srivas, M.: A Tutorial Introduction to PVS. In: WIFT 1995: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida (April 1995)
Brazier, F., Keplicz, B.D., Jennings, N.R., Treur, J.: Formal Specification of Multi-Agent Systems: a Real-World Case. In: 1rst International Conference on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, USA, pp. 25–32 (1995)
Traore, I.: An Outline of PVS Semantics for UML Statecharts. Journal of Universal Computer Science (JUCS) (April 2000), Springer Pub. Co. (November 2)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoole, A., Traore, I., Yanguo, M.L. (2003). Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive