The University of Southampton
University of Southampton Institutional Repository

Refinement of Dynamic Systems

Refinement of Dynamic Systems
Refinement of Dynamic Systems
Existing refinement frameworks such as B allow a developer to specify a system on an abstract level. Subsequently, this abstract specification is refined into an implementation that performs the specified task. In this paper a conventional refinement approach is extended with a means for performance analysis. This new approach guides a developer towards well-performing implementations throughout the refinement process. The main achievement of this work is an elaboration of a connection between performance and trace refinement.
University of Southampton
Hallerstede, S.
308fe572-d710-4e62-9792-f221355d3580
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hallerstede, S.
308fe572-d710-4e62-9792-f221355d3580
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0

Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems University of Southampton

Record type: Monograph (Project Report)

Abstract

Existing refinement frameworks such as B allow a developer to specify a system on an abstract level. Subsequently, this abstract specification is refined into an implementation that performs the specified task. In this paper a conventional refinement approach is extended with a means for performance analysis. This new approach guides a developer towards well-performing implementations throughout the refinement process. The main achievement of this work is an elaboration of a connection between performance and trace refinement.

Other
dsse-tr-99-8.ps - Other
Download (244kB)

More information

Published date: September 1999
Additional Information: Address: Declarative Systems & Software Engineering, DSSE-TR-99-8
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 252949
URI: http://eprints.soton.ac.uk/id/eprint/252949
PURE UUID: d602a27e-cb89-4fe7-9cc2-72a41d04da27
ORCID for M. J. Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 13 Jul 2000
Last modified: 15 Mar 2024 02:50

Export record

Contributors

Author: S. Hallerstede
Author: M. J. Butler ORCID iD

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.

×