We present a short review of formal methods and their use in the re-engineering of computing systems. The paper considers ve classes of formal notations and theories, namely state/model-based, logic-based, algebraic-based, process algebra and net-based formalisms together with combined formalisms.

The Maintainer's Assistant is an interactive tool which helps the user to extract a specification from an ezisting source code program. It is based on a program transformation system, in which a program is converted to a semantically equivalent form using proven transformations selected from a catalogue.This paper describes the environmental support provided an the Maintainer's Assistant. The technical methods used in the tool are summarized and the requirements of the environment are stated. The current implementation is then described and results achieved discussed. Finally, both the ezpected and planned developments are summarized.

No abstract

The continuous modification of business processes will finally result in a situation where several software systems have to collaborate in a way that was never anticipated in their original design. The emerging technologies and standards drive enterprises into modernising their stand-alone legacy assets and leveraging them into an integrated platform for interoperation. At the same time, enterprises are under tremendous pressure to evolve their existing systems to better respond to marketplace needs and rapidly changing technologies. This constant pressure to evolve is driven by escalating expectations of the customer for new enterprise standards, new products and system features, and improved performance.With emerging standards which simplify the interoperation in enterprise information infrastructure, an Enterprise Integration (EI) architecture is described in this paper. The dependability requirement is discussed to prevent architectural mismatches and avoid the standard conflict in the architecture. Based on the integrated architecture, the approach of legacy reusing is explored in order to leverage and reuse legacies.

The usage of decision models has been given attention by decision makers for many years. How to realise public-use and reuse of model, and gain the adequate information not only limited to local departments in the wide enterprise environment is one of the most concerned issues of decision-makers. The idea of multiple-tier framework put forward by distributed system provides a helpful approach to this issue. This paper proposes a practical approach to model manipulation in a distributed decision support system based on network technology and component technology. It implements the separation among the clients, application and data level, accordingly allows the data and model source distributed storage and sharing for multi-departments. The method based on COM+ component technology makes the model distributed in the host computer all over the Internet/Intranet. Consequently, widespread models can be supplied to the client by application servers.