Draco: a method for engineering reusable software systems

Neighbors, James M.

doi:10.1145/73103.73115

Cited by 79 publications

(15 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In the appendix of Haughton and Lano (1990) we give summaries of some existing systems: the B-tool (Abrial et al, 1988;Sorenson, 1989); the Designedverifier's Assistant (Moriconi, 1979); Refine (Smith and Pressburger, 1986); the Maintainer's Assistant (Ward et af., 1989); FOCUS (Reddy, 1988); DRACO (Neighbors, 1988); LIBRA (Kant, 1986); FOOPS (Goguen and Meseguer, 1987). These have provided guidance on the practical techniques that are of use in supporting specification refinement and application maintenance.…”

Section: Existing Systems and Methodsmentioning

confidence: 99%

A specification‐based approach to maintenance

Lano

1991

J. Softw. Maint: Res. Pract.

View full text Add to dashboard Cite

In this paper we define a language, Z++, and a method based upon this language, to support the use of formal methods in software maintenance. Formal methods have been proposed several times as the solution to the growing problem of software maintenance, and we base our approach on the more successful of the attempts made to apply these methods. Our approach is to use a conceptually simple framework, based on an object‐oriented extension to the specification language Z (Spivey, 1989), for dealing with requests for changes to software for which some formal documentation and record of development already exists. The method is centered on the maintenance of the specifications and the development record, not upon source code or Structured Methodology documentation. It is proposed as a practical approach for software in the medium‐term future, allowing the mass of programming detail that makes the code maintenance problem so expensive to be ignored. Therefore changes and extensions to application systems can be made more rapidly. We describe the language and give details of the specification and refinement system, together with a description of the current state of the implementation of this system.

show abstract

Section: Existing Systems and Methodsmentioning

confidence: 99%

A specification‐based approach to maintenance

Lano

1991

J. Softw. Maint: Res. Pract.

View full text Add to dashboard Cite

show abstract

“…On the other hand, in the programming field, research and development of software reuse has been under way for many years, and program conversion and application systems are being developed [8][9][10][11][12]. These studies generate specific program descriptions automatically from several abstract program descriptions, by changing programs at the source level using pattern matching and the conversion rules of the programs' syntax trees.…”

Section: Related Researchmentioning

confidence: 99%

“…Neighbors pointed out that reusing analysis and design is more effective than reusing source code in the development of large-scale systems. And he made the conversion rules keep the results of analysis and design to facilitate reuse [8,9]. The method proposed in this paper can be considered as replacing the syntax tree of program code with a graph structure expressing equipment information, and it also aims at reusing the analysis and design of SCADA systems.…”

Section: Related Researchmentioning

confidence: 99%

Automatic generation of system descriptions for plant supervisory control systems

Nakata

Harauchi

Kojima

2003

Electrical Engineering Japan

View full text Add to dashboard Cite

SUMMARYThis paper describes the automatic generation of system descriptions for SCADA (Supervisory Control And Data Acquisition) systems. The proposed method produces various types of data and programs for SCADA systems from equipment definitions using conversion rules. First, it makes directed graphs, which represent connections between the equipment, from equipment definitions. System descriptions are generated using the conversion rules, by analyzing these directed graphs, and finding groups of equipment that involve similar operations. This method can be used with various SCADA systems, and provides visual tools for editing conversion rules.

show abstract

“…Nas palavras de Neighbors, a abordagem Draco se baseia na "sensação frustrante de que a maior parte do sistema que você está construindo atualmente é a mesma que você já construiu em alguns sistemas anteriores" (NEIGHBORS, 1989). Sua proposta é que seja feita uma análise sobre um domínio de aplicações similares, a exemplo do que propôs Parnas (1976) Finalmente, os autores ressaltam a necessidade de se utilizar linguagens visuais para a construção das transformações, uma vez que o uso de linguagens textuais, tais como linguagens de programação e linguagens de transformação baseadas em XML, possuem uma distância conceitual em relação aos modelos, dificultando a tarefa de construção de transformadores.…”

Section: Considerações Finaisunclassified

“…Porém, alguns dos mais bem-sucedidos trabalhos acadêmicos são uma fusão e formalização de técnicas de sucesso." (NEIGHBORS, 1989).…”

Section: Introductionunclassified

Uma abordagem orientada a modelos para reutilização de software

Lucrédio¹

View full text Add to dashboard Cite

Agradeço à minha orientadora, Renata, que me acolheu e orientou durante todos estes anos. Além dos diversos papéis que lhe cabem oficialmente, sendo uma orientadora dedicada, interessada e competente, ela me ajudou muito dentro e fora do doutorado. Agradeço também às instituições que fizeram com que esta trajetória fosse possível. Estas incluem o ICMC-USP, por ter sido a minha casa durante estes anos. Também agradeço à FAPESP, CAPES e CNPq, que em diversos momentos me ajudaram financeiramente. Espero ter correspondido e continuar correspondendo à altura este investimento em mim realizado. Agradeço ao grupo RiSE (Reuse in Software Engineering), e as suas instituições de apoio, UFPE e C.E.S.A.R. em Recife-PE. Tenho orgulho em ter participado do começo desta iniciativa, junto com Eduardo Santana de Almeida, Vinicius Cardoso Garcia e Alexandre Alvaro, sob a orientação de Silvio Meira. Se hoje o RiSE está entre os principais grupos de reutilização do mundo, é porque realmente compreendemos o verdadeiro significado da palavra "colaboração". Durante o doutorado, passei seis meses na George Mason University, em Fairfax, VA, Estados Unidos, sob a orientação de Jon Whittle, onde aprendi muitas coisas, somente algumas delas contidas nesta tese de uma forma ou de outra. Foram também três meses em Redmond, WA, Estados Unidos, na Microsoft Research, sob a orientação de Ethan Jackson e Wolfram Schulte, em outro grupo RiSE, esse chamado Research in Software Engineering. Este estágio foi parte de um prêmio que recebi, o Latin American Fellowship Award 2008-2009, oferecido pela Microsoft Research. Posso seguramente dizer que essa experiência deixou marcas e aprendizados que foram além de todas as minhas expectativas, e é impossível não ficar grato pelo reconhecimento de meu trabalho. Agradeço também a Jaime Puente, Juliana Salles, e toda a equipe da Microsoft responsável por essa ótima iniciativa. Obrigado à Aptor Software, por acreditar neste projeto, cedendo parte de seu tempo e seus funcionários para a realização de um dos estudos empíricos. Agradeço também aos colegas e amigos que encontrei pelo caminho, pois foram muito importantes durante essa trajetória: no ICMC, Alexandro, Matko, e os outros estagiários da MSR. Durante o doutorado, foi também importante o período de dois anos e meio trabalhando em tempo parcial na 3WT, empresa aqui de São Carlos. Não existe um vínculo oficial entre o que fiz na empresa e o que fiz na universidade, mas a vivência prática na indústria foi sem dúvida relevante para esta tese, e agradeço à empresa e aos amigos que nela fiz: Dugnani, Evandro, Cristiano, Escovar, Danilo, Vital, Ricardo, Rodrigo, Mateus, Renan, Cris, Maria e muitos outros com quem convivi neste período. Agradeço também aos amigos Cassandra, Marcelo, Bianca, Amandinha, Ivan e Amanda, pela amizade e pelas noites de descontração. Por fim, agradeço à minha amada esposa Alessandra e minha filha Julia, por todo o amor e carinho que me fazem lembrar que a vida não podia ser melhor. E também pelo apoio, força e compreensão nos (muitos) m...

show abstract

Draco: a method for engineering reusable software systems

Cited by 79 publications

References 4 publications

A specification‐based approach to maintenance

A specification‐based approach to maintenance

Automatic generation of system descriptions for plant supervisory control systems

Uma abordagem orientada a modelos para reutilização de software

Contact Info

Product

Resources

About