Questions and Answers About Ten Formal Methods

P.H. Hartel; M.J. Butler; A. Currie; P. Henderson; M Leuschel; A. Martin; A. Smith; U. Ultes-Nitsche; B. Walters

Questions and Answers About Ten Formal Methods

P.H. Hartel
, M.J. Butler
, A. Currie
, P. Henderson
, M Leuschel
, A. Martin
, A. Smith
, U. Ultes-Nitsche
, B. Walters

Research output: Contribution to conference › Paper › peer-review

101 Downloads (Pure)

Abstract

An abstract model of a 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 is effective.

Original language	English
Number of pages	40
Publication status	Published - Jul 1999
Event	4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999 - Trento, Italy Duration: 11 Jul 1999 → 12 Jul 1999 Conference number: 4

Workshop

Workshop	4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
Abbreviated title	FMICS
Country/Territory	Italy
City	Trento
Period	11/07/99 → 12/07/99

Access to Document

Hartel1999questionsFinal published version, 601 KB

Cite this

@conference{2988969816f74ad9b1e3e550cc83cfdd,

title = "Questions and Answers About Ten Formal Methods",

abstract = "An abstract model of a 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 is effective.",

author = "P.H. Hartel and M.J. Butler and A. Currie and P. Henderson and M Leuschel and A. Martin and A. Smith and U. Ultes-Nitsche and B. Walters",

year = "1999",

month = jul,

language = "English",

note = "4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999, FMICS ; Conference date: 11-07-1999 Through 12-07-1999",

}

TY - CONF

T1 - Questions and Answers About Ten Formal Methods

AU - Hartel, P.H.

AU - Butler, M.J.

AU - Currie, A.

AU - Henderson, P.

AU - Leuschel, M

AU - Martin, A.

AU - Smith, A.

AU - Ultes-Nitsche, U.

AU - Walters, B.

N1 - Conference code: 4

PY - 1999/7

Y1 - 1999/7

N2 - An abstract model of a 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 is effective.

AB - An abstract model of a 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 is effective.

M3 - Paper

T2 - 4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999

Y2 - 11 July 1999 through 12 July 1999

ER -

Questions and Answers About Ten Formal Methods

Abstract

Workshop

Access to Document

Fingerprint

Cite this