loading
Documents

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

ISBN: 978-989-758-037-6

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.

PDF ImageFull Text

Download
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 54.92.182.0

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 - Volume 1: ICSOFT-PT, (ICSOFT 2014) ISBN 978-989-758-037-6, 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 - Volume 1: ICSOFT-PT, (ICSOFT 2014)},
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 - Volume 1: ICSOFT-PT, (ICSOFT 2014)
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.