Pankaj E. Kasar

Trasformazione della modellazione da BPMN a REO

• Broschiertes Buch

Produktbeschreibung

I sistemi software attuali stanno aumentando enormemente di dimensioni. Ciò rende la verifica e la validazione di questi sistemi un compito sempre più difficile. Non solo le dimensioni dei sistemi aumentano, ma è necessario sviluppare e supportare un numero crescente di funzionalità e di formalismi per modellare e analizzare le applicazioni reali. Ogni sistema viene rappresentato sotto forma di modello. Esistono molte notazioni di modellazione, come BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language) ecc. BPMN è di per sé in grado di rappresentare tutti gli aspetti di un particolare processo aziendale di grandi dimensioni. Pertanto, BPMN è uno standard emergente per la rappresentazione dei processi aziendali e, indirettamente, dei sistemi software. Il BPMN è una notazione visuale di modellazione dei processi che può essere facilmente compresa dagli analisti aziendali. Ma BPMN è in ritardo rispetto alla semantica formale dei sistemi. Al momento della verifica di un particolare sistema, tali notazioni di modellazione non sono sufficienti a fornire la correttezza semantica del sistema. Pertanto, per la verifica e la validazione dei sistemi, secondo l'approccio proposto il modello BPMN del sistema viene convertito in un modello REO e quindi in un linguaggio di specifica formale mCLR.

Produktdetails

• Verlag: Edizioni Sapienza
• Seitenzahl: 56
• Erscheinungstermin: 14. Februar 2024
• Italienisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 102g
• ISBN-13: 9786207166114
• ISBN-10: 6207166116
• Artikelnr.: 69983090

Autorenporträt

Pankaj E Kasar: Ich promoviere in Informationstechnologie an der Dr. Babasaheb Ambedkar Technological University, Lonere, Dist-Raigad. Derzeit arbeite ich als Assistenzprofessor in der Abteilung für Computertechnik am R. C. Patel Institute of Technology, Shirpur, Distr- Dhule, Maharashtra, Indien.