Using formal description technique ESTELLE for manufacturing systems specification or description

Detalhes bibliográficos
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
Resumo: 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.
id RCAP_5ccf7dadb0b819e3e939f12725cd7485
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/5489
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Using formal description technique ESTELLE for manufacturing systems specification or descriptionFormal description techniquesFormal specificationESTELLEManufacturing systemsUsually 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.Journals PubUniversidade do MinhoSousa, Rui M.Putnik, Goran D.Moreira, Francisco19981998-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/5489eng"International Journal of Production Engineering and Computers". ISSN 1450-5096. 3 (1998) 1-10.1450-5096info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:11:28Zoai:repositorium.sdum.uminho.pt:1822/5489Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:03:15.572666Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Using formal description technique ESTELLE for manufacturing systems specification or description
title Using formal description technique ESTELLE for manufacturing systems specification or description
spellingShingle Using formal description technique ESTELLE for manufacturing systems specification or description
Sousa, Rui M.
Formal description techniques
Formal specification
ESTELLE
Manufacturing systems
title_short Using formal description technique ESTELLE for manufacturing systems specification or description
title_full Using formal description technique ESTELLE for manufacturing systems specification or description
title_fullStr Using formal description technique ESTELLE for manufacturing systems specification or description
title_full_unstemmed Using formal description technique ESTELLE for manufacturing systems specification or description
title_sort Using formal description technique ESTELLE for manufacturing systems specification or description
author Sousa, Rui M.
author_facet Sousa, Rui M.
Putnik, Goran D.
Moreira, Francisco
author_role author
author2 Putnik, Goran D.
Moreira, Francisco
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Sousa, Rui M.
Putnik, Goran D.
Moreira, Francisco
dc.subject.por.fl_str_mv Formal description techniques
Formal specification
ESTELLE
Manufacturing systems
topic Formal description techniques
Formal specification
ESTELLE
Manufacturing systems
description 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.
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/5489
url http://hdl.handle.net/1822/5489
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv "International Journal of Production Engineering and Computers". ISSN 1450-5096. 3 (1998) 1-10.
1450-5096
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Journals Pub
publisher.none.fl_str_mv Journals Pub
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132437942370304

Registros relacionados