Executable semantic descriptions
Software—Practice & Experience
ICSE '94 Proceedings of the 16th international conference on Software engineering
Hi-index | 0.00 |
Current problems associated with mature computer systems have provided new insight into the software crisis. Lack of flexibility and structural decay of software may be associated with the semantic and dynamic misalignment between software systems and the organisations they are intended to support. This paper introduces a layered model for evolutionary systems which embodies several proposed solutions to correct this misalignment. The fixed point of evolutionary change is taken to be the atomic constants of the domain, rather than an underlying software architecture. The technology beneath, and the business processes above are assumed to be subject to change. Preservation of correctness is supported through domain-oriented changes occurring at the level of specification. Proof of concept research is underway at a leading City of London financial institution.