Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J.,
Questions and Answers About Ten Formal Methods
Gnesi, S. and latella, D. (eds.)
At Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems.
An abstract model of an industrial distributed data base application has been studied using process based, state based, and queueing theory based methods. The methods supported by graphical notations and/or integrated development environments were found to be easiest to work with. The methods supported by model checkers were the most successful in obtaining relevant information about the application. Applying a number of different methods to study one particular model encourages a problem to be viewed from different angles. This gives complementary information about the model. We report on a variety of problems of the model found through various routes. Our main conclusion is that asking experts to apply different methods and tools at a sufficiently abstract level can be done effectively revealing a broad range of information about the considered application.
Conference or Workshop Item
||Organisation: ERCIM Address: Trento, Italy
|Venue - Dates:
||Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, 1999-07-01
||Electronic & Software Systems
||10 Mar 2000
||18 Apr 2017 00:20
|Further Information:||Google Scholar|
Actions (login required)