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
2002
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, Oxford, United Kingdom.
26 - 29 Aug 2002.
.
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
More information
Published date: 2002
Additional Information:
Event Dates: 26-29 August 2002
Venue - Dates:
26 th Annual International Computer Software and Applications Conference, Oxford, 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: 14 Mar 2024 05:48
Export record
Contributors
Author:
Robert John Walters
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