Formal support of process chain networks using model-driven engineering and Petri nets

Leveraging Service Design by bridging business and process modeling

“…Besides, INNoVaServ supports the formal validation of Service Blueprint and PCN models [13] [14] and more recently we have started to explore the integration of a DSL for Smart Contracts in order to support the generation of contracts from from e 3 value models [15].…”

Model-Based Tool Support for Service Design

“…To that end, the toolkit supports the generation of partial models from models expressed with another notation, along with traces or relations models collecting the relationships between the elements of the models involved in such transformation. In addition to that, INNoVaServ supports the formal validation of Service Blueprint and PCN models by means of formal techniques [6,7] and puts together syntax and semantic checkers for each of the notations supported by the framework.…”

Figure 9: Co-ocurence of KeywordsPlus.

“…In the article: Comparative analysis of business process litigation using queue theory and simulation (case study: Religious courts of South Jakarta) Bahaweres, Fitriyah & Rozy (2017), Onggo et al (2018). A BPMN extension to support discrete-event simulation for healthcare applications: an explicit representation of queues, attributes and data-driven decision points Onggo et al (2018) and Gómez-Martnez et al (2019). Formal Support of Process Chain Networks using Model-driven Engineering and Petri nets Gómez-Martnez et al (2019), the authors use queuing theory and simulation to compare processes modeled in BPMN.…”

“…A BPMN extension to support discrete-event simulation for healthcare applications: an explicit representation of queues, attributes and data-driven decision points Onggo et al (2018) and Gómez-Martnez et al (2019). Formal Support of Process Chain Networks using Model-driven Engineering and Petri nets Gómez-Martnez et al (2019), the authors use queuing theory and simulation to compare processes modeled in BPMN. In the article: Automated performance analysis of business processes Bocciarelli & D'Ambrogio (2012), authors presented a BP performance model of EQN (Extended Queueing Network) type.…”