The University of Southampton
University of Southampton Institutional Repository

A Graphically based language for constructing, executing and analysing models of software systems.

A Graphically based language for constructing, executing and analysing models of software systems.
A Graphically based language for constructing, executing and analysing models of software systems.
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing. Consequently, it is more important than ever that the developers understand how their systems behave if problems are to be avoided. However, acquiring this understanding is a problem: the systems are sufficiently complex that developers need help to analyse and understand them and, at the time this analysis is most crucial, the system is unavailable because it has yet to be built. We already have maturing technologies which address issues associated with the interconnection of software components at the procedural level, but they do not address issues related to the behaviour of these compound systems. Formal, executable models can help here by providing developers with a platform on which to establish the feasibility of a proposed design for a system. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This report describes a new modelling tool in which the traditional model generation technique of writing “programming language like” code is replaced with a model generation tool which uses a graphical representation of models. Despite appearing informal, the system retains sufficient formality to permit the models to be executed using the tool, or converted into code for analysis by a traditional model checking tool.
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1

(2002) A Graphically based language for constructing, executing and analysing models of software systems. University of Southampton, Electronics and Computer Science, Doctoral Thesis.

Record type: Thesis (Doctoral)

Abstract

With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing. Consequently, it is more important than ever that the developers understand how their systems behave if problems are to be avoided. However, acquiring this understanding is a problem: the systems are sufficiently complex that developers need help to analyse and understand them and, at the time this analysis is most crucial, the system is unavailable because it has yet to be built. We already have maturing technologies which address issues associated with the interconnection of software components at the procedural level, but they do not address issues related to the behaviour of these compound systems. Formal, executable models can help here by providing developers with a platform on which to establish the feasibility of a proposed design for a system. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This report describes a new modelling tool in which the traditional model generation technique of writing “programming language like” code is replaced with a model generation tool which uses a graphical representation of models. Despite appearing informal, the system retains sufficient formality to permit the models to be executed using the tool, or converted into code for analysis by a traditional model checking tool.

PDF
thesis.pdf - Other
Download (1MB)

More information

Published date: December 2002
Organisations: University of Southampton, Electronic & Software Systems

Identifiers

Local EPrints ID: 256850
URI: http://eprints.soton.ac.uk/id/eprint/256850
PURE UUID: 80a706ab-7076-4961-addb-c0e2141f5967

Catalogue record

Date deposited: 13 Jun 2003
Last modified: 18 Jul 2017 09:43

Export record

Contributors

Author: Robert John Walters

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×