Trasformazione della modellazione da BPMN a REO [Italian]

By Pankaj E Kasar

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.

• Format: Paperback
• Language: Italian
• ISBN: 6207166116
• ISBN13: 9786207166114
• Release Date: February 2024
• Publisher: Edizioni Sapienza
• Length: 56 Pages
• Weight: 0.21 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"