loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Luca Ferrucci 1 ; Marcello M. Bersani 2 and Manuel Mazzara 3

Affiliations: 1 ISTI-CNR and Politecnico di Milano, Italy ; 2 Politecnico di Milano, Italy ; 3 Innopolis University and ETH, Russian Federation

Keyword(s): Business Workflow, Recovery Framework, Formal Methods, Temporal Logic, Semantics.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Model Tools ; Modeling Languages ; Models ; Paradigm Trends ; Software Engineering

Abstract: 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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.219.130.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ferrucci, L.; Bersani, M. and Mazzara, M. (2014). An LTL Semantics of BusinessWorkflows with Recovery. In Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT; ISBN 978-989-758-037-6, SciTePress, pages 29-40. DOI: 10.5220/0005110000290040

@conference{icsoft-pt14,
author={Luca Ferrucci. and Marcello M. Bersani. and Manuel Mazzara.},
title={An LTL Semantics of BusinessWorkflows with Recovery},
booktitle={Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT},
year={2014},
pages={29-40},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005110000290040},
isbn={978-989-758-037-6},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT
TI - An LTL Semantics of BusinessWorkflows with Recovery
SN - 978-989-758-037-6
AU - Ferrucci, L.
AU - Bersani, M.
AU - Mazzara, M.
PY - 2014
SP - 29
EP - 40
DO - 10.5220/0005110000290040
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic