Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing. Issue 3 (2015)

• Record Type: Journal Article
• Authors: Silva, Javier Martinez; Silva, José Reinaldo
• Is Part Of: IFAC-PapersOnLine. Volume 48:Issue 3(2015)
• Page Start: 1634
• Page End: 1639
• Publication Date: 2015
• Subjects: manufacturing services -- requirements analysis -- KAOS -- Petri Nets; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2015.06.320
• Languages: English
• ISSNs: 2405-8963

Abstract

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.