Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing
Silva, Javier Martinez and Silva, José Reinaldo
- Journal
- IFAC-PapersOnLine
- Autor
- Silva, Javier Martinez and Silva, José Reinaldo
- Book Title
- Volume
- 28
- Página(s)
- 1634--1639
- DOI
- 10.1016/j.ifacol.2015.06.320
- Published
- 2015
- Month
- 0
- Tipo de Documento
- Artigo em Revista
- Abstract
- The design of planning problems has demanded more attention from the academy - which looks for new approaches - and from practitioners - which seeks for new and better results for real applications. AI approaches have been used for different applications in many domains, including manufacturing, and specially manufacturing services. However, as in all domains, a design process has to be provided to the planning (and scheduling) design to get all advantages in the use of heuristic or analytic methods. Requirements analysis is a key issue for that design process and needs to be enhanced to fit users and stakeholder expectations. In this work we focus on requirements analysis for planning problems using Petri Nets derived from a UML representation of requirements. A transference algorithm is proposed to synthesize a Petri Net from KAOS diagram and allow analysis using Petri Net property analysis suitable to be applied to large projects.
- Keywords
- KAOS,Manufacturing services,Petri nets,Requirements analysis
- Publisher
- Elsevier Ltd.
- URL
- http://dx.doi.org/10.1016/j.ifacol.2015.06.320