Skip to main content

Specifying component and context specification using Promotion

Derrick, John and Boiten, Eerke (1999) Specifying component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, London, UK, pp. 293-312. ISBN 978-1-85233-107-8. E-ISBN 978-1-4471-0851-1. (doi:10.1007/978-1-4471-0851-1_16) (KAR id:21814)

PDF
Language: English
Download (250kB) Preview
[thumbnail of separating_component_and_context_derrick.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Postscript
Language: English
Download (203kB) Preview
[thumbnail of separating_component_and_context_derrick.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:
http://dx.doi.org/10.1007/978-1-4471-0851-1_16

Abstract

In this paper we discuss how the specification of components may be separated from the description of the context in which they are used. There are a number of ways in which this might be possible and here we show how to use the technique of promotion in Object-Z to combine components which are specified using process algebras. We discuss two approaches, the first is to separate out the specification into two distinct viewpoints written in different languages. These viewpoints are then combined by a process of translation and unification. The second approach will be to use hybrid languages composed of a combination of CSP and Object-Z. We also consider how to refine such component based descriptions and consider issues of compositionality.

Item Type: Book section
DOI/Identification number: 10.1007/978-1-4471-0851-1_16
Uncontrolled keywords: Components; Viewpoints; Object-Z; LOTOS; CSP; Refinement
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Eerke Boiten
Date Deposited: 10 Oct 2009 17:37 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21814 (The current URI for this page, for reference purposes)
Boiten, Eerke: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):

Downloads

Downloads per month over past year