A new Requirements Engineering approach for Manufacturing based on Petri Nets

Silva, Javier Martinez; Javales, Raul; Silva, José Reinaldo

doi:10.1016/j.ifacol.2019.10.006

Cited by 12 publications

(12 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the current proposal, manufacturing processes are synthesized from requirements using planning techniques based on AI and Petri Nets (Silva and Silva, 2019). We also propose revising the original PSA architecture, including cloud services and its orchestration, in the design process.…”

Section: Cloud Manufacturing Architecturementioning

confidence: 99%

“…Thus, the design process for manufacturing services (MfgS) proposed by Silva and Silva (2019) can be extended to Cloud Manufacturing Service (CMfgS) and also enhanced by the introduction of specific ontologies directed to GORE (Debbech et al, 2019). Artificial Intelligence planning techniques can be used to automate (partially or totally) the CMfgS orchestrator.…”

Section: Goal-oriented Requirements For the Orchestratormentioning

confidence: 99%

“…In the current proposal, requirements are the primary concern. They should be modeled and verified using goaloriented methods, based on KAOS diagrams Horkoff et al 2019, which can later be transferred to LTL (Linear Temporal Logic) or Petri Nets (Silva and Silva, 2019). Verification is performed using Petri Net property analysis or validated by simulation.…”

Section: The Cloud-based Challengementioning

confidence: 99%

“…KAOS also includes responsibility diagrams, which help to make the whole process traceable. Specific AI planning and design methods can be inserted, as shown in the previous work of Silva and Silva (2019), where such methods fit the goal-oriented approach. Reusability is crucial and is introduced by searching high-level descriptions of models represented by ontologies, first-order logic, or Petri Nets.…”

Section: The Cloud-based Challengementioning

confidence: 99%

“…The above features compose a conceptual and practical framework implemented by integrating different tools (ReKPlan, to transfer KAOS diagrams to Petri Nets (Silva and Silva, 2019), itSIMPLE to deal with the knowledge engineering to AI Planning (Silva et al, 2020) (Vaquero et al, 2013), GHENeSys, to support Petri Nets property analysis(Silva and del Foyo, 2012)) 2 . The next section will show the basics of how to put together all these tools in our proposal.…”

Section: The Cloud-based Challengementioning

confidence: 99%

See 4 more Smart Citations

Towards a Formal Design to Service-Oriented Cloud Manufacturing

Silva

Vital

2020

Anais Do Congresso Brasileiro De Automática 2020

View full text Add to dashboard Cite

Since the beginning of this century, there is a paradigm shift concerning production, pushed by digital convergence, and the need to change the world's energy balance drastically. New production systems tend to become distributed, cloud-based, service-oriented, and anthropocentric, alternating full automation and collaborative human participation. This scenario demands a revision of design methods applied to manufacture systems and integration between new and classic methods. This article brings a proposal to integrate cloud-based and serviceoriented systems by a framework capable of supporting design methods suitable to compose a distributed set of manufacturing services (CMfgS).

show abstract

Section: Cloud Manufacturing Architecturementioning

confidence: 99%

Section: Goal-oriented Requirements For the Orchestratormentioning

confidence: 99%

Section: The Cloud-based Challengementioning

confidence: 99%

Section: The Cloud-based Challengementioning

confidence: 99%