Central to this exercise are the concepts of specification, refinement and semantic models.
Formal methods is now a mature discourse.
Currently there are many different specification formalisms and semantic models that have an associated refinement relation. Once a system has been physically implemented, it is no longer coupled to the original formal development. Physical systems are subject to many environmental influences that can not be predicted and designed for. Even formally derived systems must be monitored and managed after implementation. In this talk some theoretical aspects of the management of formally developed systems are investigated.