Data/hora: 18/06/2024 11:57:48

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 28/07/1998
Data da última atualização: | 22/08/2007
Autoria: | SALVADOR, M. R.; SOUZA, W. L. de.
Título: | Especificacao formal de sistemas ODP usando a linguagem mondel.
Ano de publicação: | 1998
Fonte/Imprenta: | In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Páginas: | p.278-297
Idioma: | Português
Conteúdo: | A incapacidade das linguagens de especificacao formal em cobrir todo o escopo ODP e reconhecida e tem levado a um grande numero de investigacoes. A linguagem mondel, investigada e apresentada neste artigo, por sua concepcao orientada a objeto, seus recursos de distribuicao e de banco de dados, representa uma alternativa bastante interessante para a especificacao de sistemas ODP. Sua adequabilidade para a descricao da arquitetura ODP e demonstrada atraves do desenvolvimento de uma semantica arquitetonica na linguagem. Essa semantica e entao usada como base no desenvolvimento de um estudo de caso, no qual a funcao tranding e especificada, para ilustrar a aplicacao da linguagem em uma situacao real.
Palavras-Chave: | Computer networks; Redes de computadores.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7095-1) - ADD - PL - -- - 004.6 - SIM - 1998.00001 - DIS