Questions and Answers About Ten Formal Methods
Questions and Answers About Ten Formal Methods
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.
88-7958-009-4
179-203
Hartel, P.
880a6d18-7616-4924-8f90-9665ff4c5fd7
Butler, M.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Currie, A.
e26cbe8b-1895-451f-99c7-4dd64751a2e4
Henderson, P.
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Martin, A.
169f0afa-12fc-43b5-a72d-7bfc493aa170
Smith, A.
f115f8cb-6c76-444b-ba80-7a1d54276da8
Ultes-Nitsche, U.
e93670f7-add4-4557-b1f5-8dab0bbba523
Walters, R.J.
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Gnesi, S.
1c24044a-ace3-45e1-a1bf-7ad0ff8b8943
latella, D.
47cda129-28d5-4e5c-904e-3307f456cb44
July 1999
Hartel, P.
880a6d18-7616-4924-8f90-9665ff4c5fd7
Butler, M.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Currie, A.
e26cbe8b-1895-451f-99c7-4dd64751a2e4
Henderson, P.
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Leuschel, M.
6d6fd7ab-c48a-47ea-bf36-f667cef2c629
Martin, A.
169f0afa-12fc-43b5-a72d-7bfc493aa170
Smith, A.
f115f8cb-6c76-444b-ba80-7a1d54276da8
Ultes-Nitsche, U.
e93670f7-add4-4557-b1f5-8dab0bbba523
Walters, R.J.
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Gnesi, S.
1c24044a-ace3-45e1-a1bf-7ad0ff8b8943
latella, D.
47cda129-28d5-4e5c-904e-3307f456cb44
Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J.
(1999)
Questions and Answers About Ten Formal Methods.
Gnesi, S. and latella, D.
(eds.)
Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
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.
Other
dsse-tr-99-1.ps
- Other
More information
Published date: July 1999
Additional Information:
Organisation: ERCIM Address: Trento, Italy
Venue - Dates:
Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, 1999-07-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250495
URI: http://eprints.soton.ac.uk/id/eprint/250495
ISBN: 88-7958-009-4
PURE UUID: 5014f02d-961b-4c3e-8119-cf63bfc1de18
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
P. Hartel
Author:
M. Butler
Author:
A. Currie
Author:
P. Henderson
Author:
M. Leuschel
Author:
A. Martin
Author:
A. Smith
Author:
U. Ultes-Nitsche
Author:
R.J. Walters
Editor:
S. Gnesi
Editor:
D. latella
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics