A new Requirements Engineering approach for Manufacturing based on Petri Nets

Detalhes bibliográficos
Autor(a) principal: SILVA, JAVIER MARTINEZ
Data de Publicação: 2019
Outros Autores: JAVALES, RAUL, SILVA, JOSÉ REINALDO
Tipo de documento: Artigo
Título da fonte: Biblioteca Digital de Teses e Dissertações da FEI
Texto Completo: https://repositorio.fei.edu.br/handle/FEI/3403
Resumo: Manufacturing systems are going through strategic changes to move from current massive customization production process towards new digital models - also called Industry 4.0. Process planning for this new approaches demand artificial intelligent and requirements modeling that should be formally verified. Therefore, requirements for manufacturing - eventually distributed - processes should be formalized and analyzed to lead to effective smart solutions. Goal-oriented requirements appear as a suitable approach to requirements but still need a formal representation that could deal with discrete distributed plants. Finding such representation is a key issue to model and verify requirements. This paper presents a method and a framework to put together goal-oriented requirements and Petri Nets, as an alternative to the requirements for manufacturing systems capable to deal with digital twins. A classic example associated to a car manufacturing plant is also presented to illustrate the method.
id FEI_454ec8dba78e4c9b7992a2dc457fb856
oai_identifier_str oai:repositorio.fei.edu.br:FEI/3403
network_acronym_str FEI
network_name_str Biblioteca Digital de Teses e Dissertações da FEI
repository_id_str
spelling Creative Commons "Este é um artigo publicado em acesso aberto sob uma licença Creative Commons (CC BY-NC-ND). Fonte: https://www.sciencedirect.com/science/article/pii/S2405896319308523?via%3Dihub. Acesso em: 21 out. 2021.info:eu-repo/semantics/openAccessSILVA, JAVIER MARTINEZJAVALES, RAULSILVA, JOSÉ REINALDOhttps://orcid.org/0000-0001-5910-72572021-10-20T16:42:44Z2021-10-20T16:42:44Z2019-11-02SILVA, J. M.; JAVALES, R.; SILVA, J. R. A new requirements engineering approach for manufacturing based on Petri Nets. IFAC-PAPERSONLINE, v. 52, n. 10, p. 97-102, nov. 2019.2405-8963https://repositorio.fei.edu.br/handle/FEI/340310.1016/j.ifacol.2019.10.006Manufacturing systems are going through strategic changes to move from current massive customization production process towards new digital models - also called Industry 4.0. Process planning for this new approaches demand artificial intelligent and requirements modeling that should be formally verified. Therefore, requirements for manufacturing - eventually distributed - processes should be formalized and analyzed to lead to effective smart solutions. Goal-oriented requirements appear as a suitable approach to requirements but still need a formal representation that could deal with discrete distributed plants. Finding such representation is a key issue to model and verify requirements. This paper presents a method and a framework to put together goal-oriented requirements and Petri Nets, as an alternative to the requirements for manufacturing systems capable to deal with digital twins. A classic example associated to a car manufacturing plant is also presented to illustrate the method.521097102IFAC-PAPERSONLINErequirements engineeringgoal-oriented requirementsrequirements modelingmanufacturing designPetri NetsA new Requirements Engineering approach for Manufacturing based on Petri Netsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlereponame:Biblioteca Digital de Teses e Dissertações da FEIinstname:Centro Universitário da Fundação Educacional Inaciana (FEI)instacron:FEIhttps://www.sciencedirect.com/science/article/pii/S2405896319308523?via%3DihubORIGINALSilva_pdfSilva_pdfapplication/pdf771521https://repositorio.fei.edu.br/bitstream/FEI/3403/1/Silva_pdfab60dcb0b80ca6b2f25e520ebc6c4a68MD51TEXTSilva_pdf.txtSilva_pdf.txtExtracted texttext/plain52447https://repositorio.fei.edu.br/bitstream/FEI/3403/2/Silva_pdf.txt2368bc042db57c0985f7a262f8cba105MD52THUMBNAILSilva_pdf.jpgSilva_pdf.jpgGenerated Thumbnailimage/jpeg1697https://repositorio.fei.edu.br/bitstream/FEI/3403/3/Silva_pdf.jpgbffcafde255118fb2f7b92f53a81e2e3MD53FEI/34032021-10-22 03:00:29.822Biblioteca Digital de Teses e Dissertaçõeshttp://sofia.fei.edu.br/pergamum/biblioteca/PRI
dc.title.pt_BR.fl_str_mv A new Requirements Engineering approach for Manufacturing based on Petri Nets
title A new Requirements Engineering approach for Manufacturing based on Petri Nets
spellingShingle A new Requirements Engineering approach for Manufacturing based on Petri Nets
SILVA, JAVIER MARTINEZ
requirements engineering
goal-oriented requirements
requirements modeling
manufacturing design
Petri Nets
title_short A new Requirements Engineering approach for Manufacturing based on Petri Nets
title_full A new Requirements Engineering approach for Manufacturing based on Petri Nets
title_fullStr A new Requirements Engineering approach for Manufacturing based on Petri Nets
title_full_unstemmed A new Requirements Engineering approach for Manufacturing based on Petri Nets
title_sort A new Requirements Engineering approach for Manufacturing based on Petri Nets
author SILVA, JAVIER MARTINEZ
author_facet SILVA, JAVIER MARTINEZ
JAVALES, RAUL
SILVA, JOSÉ REINALDO
author_role author
author2 JAVALES, RAUL
SILVA, JOSÉ REINALDO
author2_role author
author
dc.contributor.authorOrcid.none.fl_str_mv https://orcid.org/0000-0001-5910-7257
dc.contributor.author.fl_str_mv SILVA, JAVIER MARTINEZ
JAVALES, RAUL
SILVA, JOSÉ REINALDO
dc.subject.por.fl_str_mv requirements engineering
goal-oriented requirements
requirements modeling
manufacturing design
Petri Nets
topic requirements engineering
goal-oriented requirements
requirements modeling
manufacturing design
Petri Nets
description Manufacturing systems are going through strategic changes to move from current massive customization production process towards new digital models - also called Industry 4.0. Process planning for this new approaches demand artificial intelligent and requirements modeling that should be formally verified. Therefore, requirements for manufacturing - eventually distributed - processes should be formalized and analyzed to lead to effective smart solutions. Goal-oriented requirements appear as a suitable approach to requirements but still need a formal representation that could deal with discrete distributed plants. Finding such representation is a key issue to model and verify requirements. This paper presents a method and a framework to put together goal-oriented requirements and Petri Nets, as an alternative to the requirements for manufacturing systems capable to deal with digital twins. A classic example associated to a car manufacturing plant is also presented to illustrate the method.
publishDate 2019
dc.date.issued.fl_str_mv 2019-11-02
dc.date.accessioned.fl_str_mv 2021-10-20T16:42:44Z
dc.date.available.fl_str_mv 2021-10-20T16:42:44Z
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.citation.fl_str_mv SILVA, J. M.; JAVALES, R.; SILVA, J. R. A new requirements engineering approach for manufacturing based on Petri Nets. IFAC-PAPERSONLINE, v. 52, n. 10, p. 97-102, nov. 2019.
dc.identifier.uri.fl_str_mv https://repositorio.fei.edu.br/handle/FEI/3403
dc.identifier.issn.none.fl_str_mv 2405-8963
dc.identifier.doi.none.fl_str_mv 10.1016/j.ifacol.2019.10.006
identifier_str_mv SILVA, J. M.; JAVALES, R.; SILVA, J. R. A new requirements engineering approach for manufacturing based on Petri Nets. IFAC-PAPERSONLINE, v. 52, n. 10, p. 97-102, nov. 2019.
2405-8963
10.1016/j.ifacol.2019.10.006
url https://repositorio.fei.edu.br/handle/FEI/3403
dc.relation.ispartof.none.fl_str_mv IFAC-PAPERSONLINE
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da FEI
instname:Centro Universitário da Fundação Educacional Inaciana (FEI)
instacron:FEI
instname_str Centro Universitário da Fundação Educacional Inaciana (FEI)
instacron_str FEI
institution FEI
reponame_str Biblioteca Digital de Teses e Dissertações da FEI
collection Biblioteca Digital de Teses e Dissertações da FEI
bitstream.url.fl_str_mv https://repositorio.fei.edu.br/bitstream/FEI/3403/1/Silva_pdf
https://repositorio.fei.edu.br/bitstream/FEI/3403/2/Silva_pdf.txt
https://repositorio.fei.edu.br/bitstream/FEI/3403/3/Silva_pdf.jpg
bitstream.checksum.fl_str_mv ab60dcb0b80ca6b2f25e520ebc6c4a68
2368bc042db57c0985f7a262f8cba105
bffcafde255118fb2f7b92f53a81e2e3
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1734750990842724352

Registros relacionados