Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5489
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Sousa, Rui M. | - |
dc.contributor.author | Putnik, Goran D. | - |
dc.contributor.author | Moreira, Francisco | - |
dc.date.accessioned | 2006-09-01T10:23:59Z | - |
dc.date.available | 2006-09-01T10:23:59Z | - |
dc.date.issued | 1998 | - |
dc.identifier.citation | "International Journal of Production Engineering and Computers". ISSN 1450-5096. 3 (1998) 1-10. | eng |
dc.identifier.issn | 1450-5096 | - |
dc.identifier.uri | https://hdl.handle.net/1822/5489 | - |
dc.description.abstract | 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. | eng |
dc.language.iso | eng | eng |
dc.publisher | Journals Pub | - |
dc.rights | openAccess | eng |
dc.subject | Formal description techniques | eng |
dc.subject | Formal specification | eng |
dc.subject | ESTELLE | eng |
dc.subject | Manufacturing systems | eng |
dc.title | Using formal description technique ESTELLE for manufacturing systems specification or description | eng |
dc.type | article | eng |
dc.peerreviewed | yes | eng |
sdum.journal | International Journal of Production Engineering and Computers | - |
Aparece nas coleções: | CGIT - Artigos em revistas de circulação internacional com arbitragem científica CESP - Artigos em revistas científicas internacionais com arbitragem |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Belgrado98.pdf | Main article | 177,26 kB | Adobe PDF | Ver/Abrir |