© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 [1]
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},
}
Links
- https://www.cs.kent.ac.uk/pubs/1997/793/content.pdf