Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5487
Título: | Formal description technique SDL for manufacturing systems specification and description |
Autor(es): | Sousa, Rui M. Putnik, Goran D. |
Palavras-chave: | Manufacturing systems Formal specification Formal description techniques SDL |
Data: | 1999 |
Editora: | Kluwer |
Citação: | MERTINS, Kai ; KRAUSE, Oliver ; SCHALLOCK, Burkhard, ed. – “Global production management : IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems, Berlin, Germany, 1999". Boston : Kluwer Academic Publishers, 1999. ISBN 0-7923-8605-1. p. 449-456. |
Resumo(s): | This paper addresses the formal specification and description of manufacturing systems. It is considered the use of SDL (Specification and Description Language), a standard FDT (Formal Description Technique), to model the behaviour, data and structure aspects of a manufacturing system. SDL was originally developed for telecommunication systems (protocol specification and data processing). The adequacy of FDTs, namely SDL, for the manufacturing systems domain is investigated by developing the SDL specification of part of a Distributed/Virtual Manufacturing System cell installation (D/V MS Project), and analysing it. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/5487 |
ISBN: | 0-7923-8605-1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CESP - Textos Completos em Actas de Encontros Científicos Internacionais com Arbitragem |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Berlim99.pdf | Main article | 122,61 kB | Adobe PDF | Ver/Abrir |