Using formal description technique ESTELLE for manufacturing systems specification or description

• Autor(a) principal: Sousa, Rui M.
• Data de Publicação: 1998
• Outros Autores: Putnik, Goran D., Moreira, Francisco
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/1822/5489
• topic: Formal description techniques; Formal specification; ESTELLE; Manufacturing systems

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.