School of Computing

Component Composition in Business and System Modelling

S. Kent, K. Lano, J. Bicarregui, A. Hamie, and J. Howse

In Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics, Technical Report TUM-I9737, pages 182-196. University of Munich, October 1997.

Abstract

Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to an implementation, can also be expressed in terms of components: a refinement comprising an abstract component, a concrete component and a mapping between them. Similarly, system extension is the composition of an existing component, the legacy system, with a new component, the extension. This paper overviews work being done on a UK EPSRC funded research project formulating and formalizing techniques for describing, composing and performing integrity checks on components. Although the paper focuses on the specification and development of information systems, the techniques are equally applicable to the modeling and re-engineering of businesses, where no computer system may be involved.

Download publication 169 kbytes (PDF)

Bibtex Record

@inproceedings{793,
author = {S. Kent and K. Lano and J. Bicarregui and A. Hamie and J. Howse},
title = {{Component Composition in Business and System Modelling}},
month = {October},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/793},
    address = {},
    booktitle = {Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics},
    publisher = {University of Munich},
    series = {Technical Report TUM-I9737},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014