Title :
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)
Author :
Fitzgerald, John S. ; Larsen, Peter Gorm
Author_Institution :
Newcastle Univ., Newcastle upon Tyne
Abstract :
The Vienna development method (VDM) is one of the longest established and best known formal methods. Recent developments in VDM have included its extension to support object-oriented design and concurrency in VDM++ and providing a capability for modelling real-time distributed systems. VDM is model-oriented - the formal language is used to construct a model of the system of interest, given in terms of data and functionality. In this paper, we draw on experience in developing the semantics and tool support for VDM, and in applying VDM technology in industry, to identify achievements and challenges in providing lightweight but effective formal methods.
Keywords :
Vienna development method; formal specification; specification languages; VDM++; Vienna development method; formal specification language; model-oriented formal method; object-oriented design; real-time distributed systems; Automation; Computer industry; Concurrent computing; Educational institutions; Formal specifications; Laboratories; Logic; Object oriented modeling; Programming; Real time systems;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.33
