| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
29/01/1999 |
|
Data da última atualização: |
03/03/2011 |
|
Autoria: |
FALTIN, N.; LAMBERT, L.; MITSCHELE-THIEL, A.; SLOMKA, F. |
|
Afiliação: |
NILS FALTIN, Friedrich-Alexander-Universität Erlangen-Nürnberg; LENNARD LAMBERT, Friedrich-Alexander-Universität Erlangen-Nürnberg; ANDREAS MITSCHELE-THIEL, Friedrich-Alexander-Universität Erlangen-Nürnberg; FRANK SLOMKA, Friedrich-Alexander-Universität Erlangen-Nürnberg. |
|
Título: |
An annotational extension of message sequence charts to support performance engineering. |
|
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. 307-322. |
|
Idioma: |
Inglês |
|
Conteúdo: |
With the development of complex systems based on SDL, performance issues often play a major role. However, this is neither reflected by the SDL methodology nor by the specification techniques suggested by the methodology, namely SDL and MSC. To remedy this problem, we propose Performance Message Sequence Charts (PMSC). PMSC represents an extension of MSC-96 to include performance aspects into the language. The extensions allow for the formal specification of various performance aspects, e.g. performance requirements, resource requirements and the specification of the available resources. In order to support the use of tools based on MSC-96, the language extensions are embedded in comments of the original MSC-96 language. PMSC allows for the co-specification of functional and performance aspects. This joint specification of functional and performance aspects eases the task of software engineers. It saves effort otherwise needed to maintain two different models. In addition, the co-specification based on MSC, rather than on SDL, supports the early evaluation of the performance of the systems. |
|
Palavras-Chave: |
Engenharia de software; Especificação formal; Linguagem SDL. |
|
Thesaurus Nal: |
Computer science. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01797naa a2200217 a 4500
001 1006998
005 2011-03-03
008 1997 bl uuuu u00u1 u #d
100 1 $aFALTIN, N.
245 $aAn annotational extension of message sequence charts to support performance engineering.
260 $c1997
300 $ap. 307-322.
520 $aWith the development of complex systems based on SDL, performance issues often play a major role. However, this is neither reflected by the SDL methodology nor by the specification techniques suggested by the methodology, namely SDL and MSC. To remedy this problem, we propose Performance Message Sequence Charts (PMSC). PMSC represents an extension of MSC-96 to include performance aspects into the language. The extensions allow for the formal specification of various performance aspects, e.g. performance requirements, resource requirements and the specification of the available resources. In order to support the use of tools based on MSC-96, the language extensions are embedded in comments of the original MSC-96 language. PMSC allows for the co-specification of functional and performance aspects. This joint specification of functional and performance aspects eases the task of software engineers. It saves effort otherwise needed to maintain two different models. In addition, the co-specification based on MSC, rather than on SDL, supports the early evaluation of the performance of the systems.
650 $aComputer science
653 $aEngenharia de software
653 $aEspecificação formal
653 $aLinguagem SDL
700 1 $aLAMBERT, L.
700 1 $aMITSCHELE-THIEL, A.
700 1 $aSLOMKA, F.
773 $tIn: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
