From algebras to objects : generation and composition

This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the 'implicit objects' explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.Fundação para a Ciência e a Tecnologia (FCT

Migrating legacy system towards object technology

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Metodología de reingeniería del software para la remodelación de aplicaciones científicas heredadas

La reingeniería de sistemas heredados tiene por finalidad reestructurar o transformar viejossistemas en aplicaciones más fáciles de mantener, con entornos más agradables e integradas ennuevas plataformas de hardware/software. Tratamos de dar una visión general de lo que es lareingeniería de software y cuáles son las actitudes que se pueden tomar a la hora de modernizarun sistema legado que se ha quedado obsoleto en cuanto a operatividad, aspecto y software debase sobre el que se ejecuta, pero de probada eficiencia y que mantiene su funcionalidad.Mostramos las características de un proceso de desarrollo que se adapta a este tipo deaplicaciones, verificado, mediante el caso de estudio, la transformación de una aplicación escritaen un lenguaje imperativo, no estructurado, a un nuevo lenguaje visual y orientado a objetos,describiendo las diversas fases de la metodología aplicadas a un caso concreto.Legacy Systems Reengineering has as primary goal to restructure and transform old systems ineasier to maintain applications with nicer and more integrated environments that they run innew platforms of hardware/software. We try to give a general view of what is the softwarereengineering and which are the approaches that can be taken when modernizing a legacysystem that has been obsolete as for operability, but of proved efficiency and that maintains itsfunctionality. We show the characteristics of a development process that adapts itself to thistype of systems, verified by means of the case of study, the transformation of an applicationwritten in an imperative language, no structured, to a new visual and object oriented language,describing the different stages of the methodology applied to a particular case

Infusion: uma experiência de engenharia reversa orientada a objetos para sistemas legados

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.Este trabalho apresenta um estudo sobre métodos de engenharia reversa para Sistemas Legados. Sistemas Legados caracterizam-se por apresentarem elevado custo de manutenção devido a não utilização dos conceitos de engenharia de software e são mantidos por desenvolvedores que não participaram da sua concepção. A Engenharia Reversa surge como uma abordagem para melhorar a manutenção de Sistemas Legados através de estudos sobre o código fonte e a documentação existente, caso exista, revitalizando a documentação inerente as etapas de Análise e Projeto, recuperando assim o entendimento do sistema. Também é apresentado um estudo de caso baseado no método de Engenharia Reversa FUSION/RE. O desenvolvimento do estudo de caso é descrito através de documentações geradas e dos procedimentos aplicados durante a aplicação do método FUSION/RE na Engenharia Reversa. Como contribuições deste trabalho são apresentadas alterações nos procedimentos do método FUSION/RE e uma proposta de validação da documentação gerada durante o processo de Engenharia Reversa. This work represents a study about Reverse Engineering for Legacy Systems.Legacy Systems are caracterized by high cost of maintenance due to the nonutilization of software engineering concepts, and are kept updated by developers that do not participated of the conception of the System. The Reverse Engineering emerge as an approach to improve the maintenance of the Legacy Systems through studies over the source code and the documentation, case it exists, revitalizing the documentation to the phases of Analysis and Project, recovering this way the understanding of the system. It is also presented a case study based on the FUSION/RE Reverse Engineering method. The development of the case study is described throuhg documentation generated and the procedures applied during the application of the FUSION/RE method on the Reverse Engineering. The contributions of this work focus on the alterations to the procedures on the FUSION/RE method and to a proposal of validation of the documentation generated during the Reverse Engineering proccess

Identification des objets dans un code procédural basée sur la décomposition de graphes

Les systèmes informatiques à forte entropie, développés avec une approche procédurale, ont subi beaucoup de modifications au cours des années. Par conséquent, ils sont devenus complexes et très mal documentés. De plus, la maintenance de ces systèmes est difficile à assurer et très coûteuse. Afin de pallier ces difficultés, plusieurs organisations orientent leurs systèmes vers de nouvelles technologies. Dans ces systèmes à forte entropie, l'identification des objets est essentielle pour conduire ceux-ci vers la technologie orientée objet. Cette technologie favorise la réutilisation, l'extension, la flexibilité, l'encapsulation, la modularité et la maintenance. Dans ce mémoire, nous présentons une approche automatique permettant d'identifier les objets dans un code procédural. L'identification des objets est la première phase de la migration d'un code source procédural vers un code source orienté objet. L'approche suggérée est basée sur la décomposition de graphes bipartites. Notre approche consiste à identifier des sous-graphes connexes à l'intérieur du graphe d'un système. Chacun des sous-graphes connexes est composé d'un n¶ud représentant les données, et d'un ou plusieurs n¶uds représentant les méthodes de l'objet.Les sous-graphes connexes représentent des candidats objet du système procédural. Cette approche est une amélioration de celle présentée par Canfora, Cimitile et Munro. Nous avons appliqué notre approche d'identification des objets sur des systèmes de grandes et moyennes tailles.Les résultats démontrent que l'approche est capable d'identifier des objets. De plus, un exemple connu illustre l'approche. Finalement, nous suggérons des pistes pour de futurs travaux

System Engineering and Evolution Decision Support Interim Progress Report (01/01/2000-09/30/2000)

The objective of our effort is to develop a scientific basis for system engineering automation and decision support. This objective addresses the long term goals of increasing the quality of service provided complex systems while reducing development risks, costs, and time. Our work focused on decision support for designing operations of complex modular systems that can include embedded software. Emphasis areas included engineering automation capabilities in the areas of design modifications, design records, reuse, and automatic generation of design representations such as real-time schedules and software

Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)

Prepared for: U.S. Army Research Office P.O. Box 12211 Research Triangle Park, NC 27709-2211The objective of our effort is to develop a scientific basis for producing reliable software that is also flexible and cost effective for the DoD distributed software domain. This objective addresses the long term goals of increasing the quality of service provided by complex systems while reducing development risks, costs, and time. Our work focuses on "wrap and glue" technology based on a domain specific distributed prototype model. The key to making the proposed approach reliable, flexible, and cost-effective is the automatic generation of glue and wrappers based on a designer's specification. The "wrap and glue" approach allows system designers to concentrate on the difficult interoperability problems and defines solutions in terms of deeper and more difficult interoperability issues, while freeing designers from implementation details. Specific research areas for the proposed effort include technology enabling rapid prototyping, inference for design checking, automatic program generation, distributed real-time scheduling, wrapper and glue technology, and reliability assessment and improvement. The proposed technology will be integrated with past research results to enable a quantum leap forward in the state of the art for rapid prototyping.U. S. Army Research Office P.O. Box 12211 Research Triangle Park, NC 27709-22110473-MA-SPApproved for public release; distribution is unlimited

Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration

The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite

System engineering and evolution decision support, Final Progress Report (05/01/1998 - 09-30-2001)

The objective of our effort is to develop a scientific basis for system engineering automation and decision support. This objective addresses the long term goals of increasing the quality of service provided complex systems while reducing development risks, costs, and time. Our work focused on decision support for designing operations of complex modular systems that can include embedded software. Emphasis areas included engineering automation capabilities in the areas of design modifications, design records, reuse, and automatic generation of design representations such as real-time schedules and software.U.S. Army Research OfficeFunding number(s): DSAM 90387, DWAM 80013, DWAM 90215

Object-Oriented Re-Architecturing

. Many organizations face the problem of improving the value of their legacy systems. Modernizing the architecture of old software helps to gain control over maintenance cost, to improve system performance, and it supports moving to a distributed or more efficient environment. We propose a re-architecturing of old procedural software to an object-oriented architecture. To overcome limits of classical reverse engineering approaches building exclusively on information extractable from source code we integrate domain knowledge in the process. The resulting object-oriented software helps reduce future maintenance cost, since modern (and more calculable) maintenance technology can then be applied. In this paper, we point out the basic concepts of the re-architecturing process, the generation of design documents at different levels of abstraction, and the necessary syntactic adaptations of the source code. 1 Introduction Legacy systems are an increasing problem for IT groups in large organi..