Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/5487

TitleFormal description technique SDL for manufacturing systems specification and description
Author(s)Sousa, Rui M.
Putnik, Goran D.
KeywordsManufacturing systems
Formal specification
Formal description techniques
SDL
Issue date1999
PublisherKluwer
CitationMERTINS, 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.
Abstract(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.
TypeConference paper
URIhttp://hdl.handle.net/1822/5487
ISBN0-7923-8605-1
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CGIT - Publicações em actas de encontros científicos / Papers in conference proceedings
CESP - Textos Completos em Actas de Encontros Científicos Internacionais com Arbitragem

Files in This Item:
File Description SizeFormat 
Berlim99.pdfMain article122,61 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID