The University of Southampton
University of Southampton Institutional Repository

Behavioural Analysis of Component-Based Systems

Behavioural Analysis of Component-Based Systems
Behavioural Analysis of Component-Based Systems
Software Engineers continue to search for efficient ways to build high quality systems. Two contrasting techniques that promise to help with the effective construction of high quality systems are the use of formal models during design and the use of components during development. In this paper, we take the position that these techniques work well together. Hardware Engineers have shown that building systems from components has brought enormous benefits. Using components permits hardware engineers to consider systems at an abstract level, making it possible for them to build and reason about systems that would otherwise be too large and complex to understand. It also enables them to make effective reuse of existing designs. It seems reasonable to expect that using components in software development will also bring advantages. Formal methods provide a means to reason about a program (or system) enabling the creation of programs which can be proved to meet their specifications. However, the size of real systems makes these methods impractical for any but the simplest of structures constructing a complete formal specification for a commercial system is a daunting task. Using formal methods for the whole of a large commercial system is not practical, but some of the advantages of using them can be obtained where a system is to be built from communicating components, by building and evaluating a formal model of the system. We describe how a model of a system to be implemented using COM might be constructed using a particular modelling tool, RolEnact. We discuss the extent to which validation of the model contributes to the validity of the eventual solution.
161-169
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Walters, Robert John
7b8732fb-3083-4f4d-844e-85a29daaa2c1

Henderson, Peter and Walters, Robert John (2001) Behavioural Analysis of Component-Based Systems. Information and Software Technology, 43 (3), 161-169.

Record type: Article

Abstract

Software Engineers continue to search for efficient ways to build high quality systems. Two contrasting techniques that promise to help with the effective construction of high quality systems are the use of formal models during design and the use of components during development. In this paper, we take the position that these techniques work well together. Hardware Engineers have shown that building systems from components has brought enormous benefits. Using components permits hardware engineers to consider systems at an abstract level, making it possible for them to build and reason about systems that would otherwise be too large and complex to understand. It also enables them to make effective reuse of existing designs. It seems reasonable to expect that using components in software development will also bring advantages. Formal methods provide a means to reason about a program (or system) enabling the creation of programs which can be proved to meet their specifications. However, the size of real systems makes these methods impractical for any but the simplest of structures constructing a complete formal specification for a commercial system is a daunting task. Using formal methods for the whole of a large commercial system is not practical, but some of the advantages of using them can be obtained where a system is to be built from communicating components, by building and evaluating a formal model of the system. We describe how a model of a system to be implemented using COM might be constructed using a particular modelling tool, RolEnact. We discuss the extent to which validation of the model contributes to the validity of the eventual solution.

PDF bacbs.pdf - Other
Download (86kB)

More information

Published date: March 2001
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 256416
URI: https://eprints.soton.ac.uk/id/eprint/256416
PURE UUID: fa2acf2a-b3a8-40a4-a149-ed30e834c3ff

Catalogue record

Date deposited: 25 Mar 2002
Last modified: 18 Jul 2017 09:46

Export record

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 https://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.

×