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

TitleUsing formal description technique ESTELLE for manufacturing systems specification or description
Author(s)Sousa, Rui M.
Putnik, Goran D.
Moreira, Francisco
KeywordsFormal description techniques
Formal specification
ESTELLE
Manufacturing systems
Issue date1998
PublisherJournals Pub
JournalInternational Journal of Production Engineering and Computers
Citation"International Journal of Production Engineering and Computers". ISSN 1450-5096. 3 (1998) 1-10.
Abstract(s)Usually the description of a system is given in natural language or in diagrams. It is very hard to make this kind of informal description clear, concise and unambiguous. Implementations based on informal specifications are usually prone to errors, omissions and incompatibilities. This paper presents an attempt to introduce Formal Description Techniques (FDT's), originally developed for the area of telecommunications and data transfer, as a mean for the specification/description of manufacturing systems. A brief introduction on standard FDT's, LOTOS, ESTELLE and SDL is given. Several concepts were behind the development of these techniques and this paper exploits the extended finite state machine (EFSM) concept as a suitable form for specification/description of manufacturing systems using FDT ESTELLE.
TypeArticle
URIhttp://hdl.handle.net/1822/5489
ISSN1450-5096
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CGIT - Artigos em revistas de circulação internacional com arbitragem científica
CESP - Artigos em revistas científicas internacionais com arbitragem

Files in This Item:
File Description SizeFormat 
Belgrado98.pdfMain article177,26 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