Support #19845
closed
Added by Anonymous almost 4 years ago.
Updated almost 4 years ago.
Description
Buongiorno, mi chiamo Luca Ferrucci e chiamo come uno degli autori dell'articolo dal titolo "An LTL semantics of business workflows with recovery" che è stato indicizzato dalla piattaforma openaccess, con un solo problema: il processamento automatico ha riportato parecchi typos rispetto all'abstract originale, vi allego l'abstract originale in PDF, se fosse possibile correggerlo vi sarei grato.
Luca Ferrucci
- Tracker changed from Bug to Support
- Assignee changed from Leonardo Candela to silvia giannini
Il lavoro incriminato è:
Come sospettavo i dati sono corrotti alla fonte. L’abstract corretto è il seguente
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to iteratively revise the design and obtain a correct-by construction system. To do so we define a formal semantics by giving a compilation of generic workflow patterns into LTL and we use the bound model checker Zot to prove specific properties and requirements validity. The working assumption is that such a lightweight approach would easily fit into processes that are already in place without the need for a radical change of procedures, tools and people’s attitudes. The complexity of formalisms and invasiveness of methods have been demonstrated to be one of the major drawback and obstacle for deployment of formal engineering techniques into mundane projects.
Richiesta modifica in People
- Status changed from New to Closed
Ok Leo, fatto, ho sostituito l'abstract. Ho chiuso il ticket, va bene?
Also available in: Atom
PDF
Updated by