Representação Gráfica para LOTOS
Resumo
Este trabalho apresenta uma representação gráfica para LOTOS (Language of Temporal Ordering Specification), uma técnica de descrição formal para a especificação de sistemas distribuídos. A principal característica desta representação gráfica é sua simplicidade, onde os principais aspectos da especificação são facilmente visualizados, facilitando o desenvolvimento e aumentando a clareza, uma característica importante quando se trata de especificações formais.
Referências
Bolognesi,T. e Brinksma,E. "Introduction to the ISO Specification Language LOTOS", Computer Networks and ISDN Systems, vol. 14, 1087, pp. 25-50.
Delisle,N. e Schvartz,M.: "A Programming Environment for CSP", CACM, pp. 34-41, 1986.
Diaz,M.(ed.): "IFIP Workshop en Protocol Specification, Testing and Verification V", North-Holand, Amsterdam, 1986.
Ehrig,H. e Mhar,B.: "Fundamentals of Algebraic Specification 1", Spring-Verlag, Berlim, 1985.
ISO IS 8807: "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour", Maio 1988.
Kramer,J., Magee,J. e Ng,K.: "Graphical Support for Configuration Programming, Research Report, Departament of Computing, Imperial College, Jan. 1989.
Milner,R.: "A Calculus of Communication Systems", Lecture Notes in Computer Science, Spring-Verlag, 1980.
Moura,M.T.S. e Cunha,P.R.F.: "Desenvolvendo Especificações de Sistemas Distribuídos na Linguagem LOTOS, Relatório Técnico, Departamento de Informática - UFPE, 1989.
Myers,G.J.: "Composite/Structured Design", van Nostrand Reinhold Co., 1978.
Najm,E e Queiroz,J.: "Graphical BNF: A Simple Approach for the Definition of GLOTOS", INRIA, Relatório Técnico, Rocquencourt, França, 1988.
Peterson,J.L.: "Petri Net Theory and the Modeling of Systems", Prentice-Hall Inc., New Jersey, 1981.
Souza,W.L. LOTOS, uma Técnica para a Descrição Formal de Serviços e Protocolos de Comunicação", Anais do 5o. Simpósio de Redes de Computadores, São Paulo, Abril, 1987.
Delisle,N. e Schvartz,M.: "A Programming Environment for CSP", CACM, pp. 34-41, 1986.
Diaz,M.(ed.): "IFIP Workshop en Protocol Specification, Testing and Verification V", North-Holand, Amsterdam, 1986.
Ehrig,H. e Mhar,B.: "Fundamentals of Algebraic Specification 1", Spring-Verlag, Berlim, 1985.
ISO IS 8807: "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour", Maio 1988.
Kramer,J., Magee,J. e Ng,K.: "Graphical Support for Configuration Programming, Research Report, Departament of Computing, Imperial College, Jan. 1989.
Milner,R.: "A Calculus of Communication Systems", Lecture Notes in Computer Science, Spring-Verlag, 1980.
Moura,M.T.S. e Cunha,P.R.F.: "Desenvolvendo Especificações de Sistemas Distribuídos na Linguagem LOTOS, Relatório Técnico, Departamento de Informática - UFPE, 1989.
Myers,G.J.: "Composite/Structured Design", van Nostrand Reinhold Co., 1978.
Najm,E e Queiroz,J.: "Graphical BNF: A Simple Approach for the Definition of GLOTOS", INRIA, Relatório Técnico, Rocquencourt, França, 1988.
Peterson,J.L.: "Petri Net Theory and the Modeling of Systems", Prentice-Hall Inc., New Jersey, 1981.
Souza,W.L. LOTOS, uma Técnica para a Descrição Formal de Serviços e Protocolos de Comunicação", Anais do 5o. Simpósio de Redes de Computadores, São Paulo, Abril, 1987.
Publicado
25/10/1989
Como Citar
MOURA, Maria Teresa Silva de; CUNHA, Paulo Roberto Freire.
Representação Gráfica para LOTOS. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 98-112.
DOI: https://doi.org/10.5753/sbes.1989.25253.
