Generating Snapshots of a Component Setting
Sotiris Moschoyiannis · Electronic Notes in Theoretical Computer Science · 2004
Software components are often seen as panacea when faced with the challenges of the increasing use of software in many diverse areas of computation. However, the complex 'call interplay' at the interfaces between components often results in pathological behaviour and hinders effective reuse. There is a clear need for languages for documenting and specifying components in such a way that insulates them from changes in the configuration. In this paper we describe the use of Live Sequence Charts (LSCs) to describe component interactions. Then, we advocate an approach for formalising those interactions to ensure that components interact properly whilst making minimal assumptions about their neighbours.