Questions and Answers About Ten Formal Methods

Pieter Hartel; Michael Butler; Andrew Currie; Peter Henderson; Michael Leuschel; Andrew Martin; Adrian Smith; Ulrich Ultes-Nitsche; Bob Walters

Questions and Answers About Ten Formal Methods

Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, Adrian Smith, Ulrich Ultes-Nitsche, Bob Walters

Research output: Book/Report › Report › Academic

4 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 can be done effectively revealing a broad range of information about the considered application.

Original language	English
Place of Publication	Southampton, UK
Publisher	University of Southampton
Number of pages	40
Publication status	Published - 1999

Publication series

Name	Technical Report
Publisher	Declarative Systems and Software Engineering Group, University of Southampton
No.	99-1

Access to Document

DSSE-TR-99-1
open
Final published version, 617 KB

http://www.dsse.ecs.soton.ac.uk/techreports/95-03/99-1.html

Fingerprint Dive into the research topics of 'Questions and Answers About Ten Formal Methods'. Together they form a unique fingerprint.

Cite this

@book{350a953fa2cd4d998e7a9b350d1923f5,

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 can be done effectively revealing a broad range of information about the considered application.",

author = "Pieter Hartel and Michael Butler and Andrew Currie and Peter Henderson and Michael Leuschel and Andrew Martin and Adrian Smith and Ulrich Ultes-Nitsche and Bob Walters",

year = "1999",

language = "English",

series = "Technical Report",

publisher = "University of Southampton",

number = "99-1",

address = "United Kingdom",

}

TY - BOOK

T1 - Questions and Answers About Ten Formal Methods

AU - Hartel, Pieter

AU - Butler, Michael

AU - Currie, Andrew

AU - Henderson, Peter

AU - Leuschel, Michael

AU - Martin, Andrew

AU - Smith, Adrian

AU - Ultes-Nitsche, Ulrich

AU - Walters, Bob

PY - 1999

Y1 - 1999

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 can be done effectively revealing a broad range of information about the considered application.

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 can be done effectively revealing a broad range of information about the considered application.

M3 - Report

T3 - Technical Report

BT - Questions and Answers About Ten Formal Methods

PB - University of Southampton

CY - Southampton, UK

ER -