Data/hora: 12/06/2024 06:31:29

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 29/01/1999
Data da última atualização: | 03/03/2011
Autoria: | HENKE, R.; KONIG, H.; MITSCHELE-THIEL, A.
Afiliação: | RALF HENKE, Friedrich-Alexander Universität Erlangen-Nürnberg; HARTMUT KÖNIG, Brandenburgische Technische Universität Cottbus; ANDREAS MITSCHELE-THIEL, Friedrich-Alexander Universität Erlangen-Nürnberg.
Título: | Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads.
Ano de publicação: | 1997
Fonte/Imprenta: | In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97 Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997.
Páginas: | p. 397-414.
Idioma: | Inglês
Conteúdo: | Implementations automatically derived from SDL descriptions often do not fulfill the performance requirements of perfomance-sensitive applications. In the paper, we describe how three different techniques mainly known from the manual implementation of protocol architectures can be applied to automatically derive efficient implementations from SDL specifications. The three tecniques are data referencing, integrated packet framing and activity threads. Data referencing is employed to optimize communication between process instances. The activity thread model supports the minimization of overhead for process management. In the paper, we analyze the prerequisites to apply the different optimization techniques and show how the techniques can be employed for the automatic derivation of efficient implementations from SDL specifications. Finally, we present measurements comparing the performance achievable with the different optimization tecniques. The measurements are made for different implementations of the Xpress Transfer Protocol derived from an SDL specification. Our results show that a considerable speedup can be achieved with each of the optimization techniques.
Palavras-Chave: | Especificação formal; Linguagem SDL.
Thesaurus Nal: | Computer science.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7613-1) - ADD - PL - PP - 005.131 - SDL - 1997.00020 - DIS