Abstract
With the purpose of lessening the software production efforts in computer networks area, the use of tools that help the system specification and implementation process is needed. This work presents a development tool based on the NSOMA methodology, intended to help the designers in the formal definition of specifications. It is composed of a graphical editor, an animation module that allows the visualization of specification dynamic behavior and a source code automatic generating module.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Almeida, Maria Janilce. Especificação de sistemas na área de redes de computadores: uma abordagem orientada a objetos. Porto Alegre: UFRGS, 1994. (tese de doutorado).
Allende, Jesús Sánchez. GLAv2.0-Graphical Animation for LOTOS-Quick reference. Technical University of Madrid. Spain, 1994.
Cohen, B. et al. The Specification of Complex Systems. Great Britain: Addyson Wesley, 1986.
van Eijk, Peter Herman Johan. Software tools for the specification language LOTOS. Twente University, 1988.
Fröberg, M. W. Automatic Code Generation from SDL to a Declarative Programming Language. Proceedings of SDL Forum, 1993.
Gaspary, Luciano Paschoal. Editor gráfico do nível operacional do SDL OO. Porto Alegre: UFRGS, 1995. (trabalho de diplomação).
Gaspary, Luciano Paschoal. Estudo de Simulação e Animação em Ambientes de Especificação de Redes. PortoAlegre: UFRGS, 1996. (trabalho individual)
Granville, Lisandro Zambenedetti. Editor gráfico dos níveis estrutural abstrato e estrutural detalhado do SDL OO. Porto Alegre: UFRGS, 1995. (trabalho de diplomação).
Rumbaugh, James. Object-oriented modeling and design. New Jersey: Prentice-Hall-Englewood Cliffs, 1991.
Verilog Corporation. Geode-Technical Presentation. Preliminary Version. July, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Granville, L., Gaspary, L., Almeida, J. (1998). OST - An Object-Oriented Computer Networks System Specification Tool. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_6
Download citation
DOI: https://doi.org/10.1007/3-540-69687-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64039-4
Online ISBN: 978-3-540-69687-2
eBook Packages: Springer Book Archive