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 and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This paper describes a 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 whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool.
363-369
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1

Walters, Robert John (2002) A graphically based language for constructing, executing and analysing models of software systems. 26 th Annual International Computer Software and Applications Conference, United Kingdom. 26 - 29 Aug 2002. pp. 363-369 .

Record type: Conference or Workshop Item (Other)

Abstract

With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This paper describes a 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 whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool.

Text
compsac02.pdf - Other
Download (84kB)

More information

Published date: 2002
Additional Information: Event Dates: 26-29 August 2002
Venue - Dates: 26 th Annual International Computer Software and Applications Conference, United Kingdom, 2002-08-26 - 2002-08-29
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 256853
URI: http://eprints.soton.ac.uk/id/eprint/256853
PURE UUID: 55445135-383c-43c0-aa01-a8b0e81fe7ac

Catalogue record

Date deposited: 14 Jun 2003
Last modified: 09 Dec 2019 20:17

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.

×