Tecniche di analisi

Il documento, di una settantina di pagina il cui indice aggiornato all'ultima versione trovate di seguito, leggibile online ma che potete anche scaricare in calce al presente articolo, analizza alcuni metodi e tecniche di analisi - sia dei requisiti che dei sistemi software - che ho avuto modo di utilizzare durante la mia esperienza lavorativa. In particolare gli argomenti sono: modalità di utilizzo delle tabelle decisionali nella elicitazione dei requisiti, macchine a stati finiti e reti di Petri per la modellazione di sistemi e processi dinamici.

  • Introduzione
    • Capitolo 1 - Tabelle Decisionali
      • Definizione di tabella decisionale
      • Logic Friday
      • Care or don’t care ?
      • Esempio # 1 – il form di registrazione utente
      • Tabelle funzionali
      • Riduzione della tabella funzionale in decisionale
      • Il caso degenere della funzione
      • Esempio # 2 – la scuola guida
      • Esempio #3 - un caso un po’ complesso
      • Riduzione delle tabelle di decisione
  • Capitolo 2 – Automa a stati finiti
    • Definizione di automa o macchina a stati finiti
    • Esempio #4 – Le scuole medie inferiori
    • Riduzione di un ASF in tabella decisionale
    • Esempio #4bis – vacanza o studio punitivo?
    • Definizione formale di automa agli stati finiti in termini di tabella decisionale
  • Capitolo 3 – Reti di Petri
    • Definizioni
    • Dinamicità nelle reti di Petri: i token
    • Esempio # 5 – Cucire le … stringhe!
    • Valore semantico e definizioni formali
    • Descrizione operativa di una rete di Petri.
    • Combinazioni parziali distinte di N numeri interi.
    • Vasi, tubi e palline...    
    • Algoritmo di soluzione del problema fondamentale per una rete di Petri
      • Passo # 1 – Aggiunta delle combinazioni distinte a ti,j    
      • Passo # 2 – Riduzione dei valori nelle colonne con più valori negativi
      • Passo # 3 – Calcolo della configurazione finale.
      • Calcolo delle successive configurazioni.
      • Un esempio più complesso
      • Altro esempio: numero token maggiore della somma delle molteplicità del posto.
      • Ultimo esempio: più configurazioni finali
    • Reti di Petri binarie
  • Nota conclusiva

Tabella delle versioni

 

# Numero versione Data Pubblicazione Descrizione
1 1.0 18 marzo 2013 Versione iniziale
2 1.1 29 marzo 2013

Aggiunti i seguenti paragrafi:

 

  • Descrizione operativa di una rete di Petri.
  • Combinazioni parziali distinte di N numeri interi.
  • Vasi, tubi e palline...    
  • Algoritmo di soluzione del problema fondamentale per una rete di Petri
    • Passo # 1 – Aggiunta delle combinazioni distinte a ti,j    
    • Passo # 2 – Riduzione dei valori nelle colonne con più valori negativi
    • Passo # 3 – Calcolo della configurazione finale.
    • Calcolo delle successive configurazioni.
    • Un esempio più complesso
    • Altro esempio: numero token maggiore della somma delle molteplicità del posto.
    • Ultimo esempio: più configurazioni finali
  • Reti di Petri binarie

 

 

 

Il lavoro è da considerarsi “in itinere”; l’intenzione è di inserire altri argomenti ed esempi, ma non ho definito alcun piano di lavoro. Per qualunque errore e/o segnalazione di migliorie e/o commenti potete scrivermi direttamente all’e-mail: berta_danilo@hotmail.com oppure usare il form dei contatti che trovate sul mio sito.

Nota di licenza:

Licenza Creative Commons   Quest' opera è distribuita con licenza Creative Commons Attribuzione - Non commerciale 3.0 Italia.

Allegati:
FileDescrizioneDimensione del FileDownloadsCreato
Scarica questo file (Tecniche_analisi_1_0.zip)T.A.Versione 1.0 - Tecniche di analisi dei requisiti e modelli software: le tabelle decisionali, le macchine a stati finiti e le reti di Petri nella descrizione dei requisiti e del software2787 kB5602013-03-18 14:40
Scarica questo file (Tecniche_analisi_1_1.zip)T.A.Versione 1.1 - Tecniche di analisi dei requisiti e modelli software: le tabelle decisionali, le macchine a stati finiti e le reti di Petri nella descrizione dei requisiti e del software1991 kB5342013-03-29 13:28

Aggiungi commento


Codice di sicurezza
Aggiorna

Copyright © 2017 Berta Danilo. Tutti i diritti riservati.
Joomla! è un software libero rilasciato sotto licenza GNU/GPL.