Innopolis University professor received an award at the 9th International Conference on Software Paradigm Trends (ICSOFT-PT)

24 февраля 2015

Innopolis University professor received an award at the 9th International Conference on Software Paradigm Trends (ICSOFT-PT)

24 февраля 2015

Manuel Mazzara’s paper focuses on formalization of business processes in software engineering.

The paper titled “An LTL Semantics of BusinessWorkflows with Recovery” was published in collaboration with Luca Ferrucci and Marcello M. Bersani. It was presented to the jury of ICSOFT-PT – a conference devoted to modern trends in the development of software industry. The authors applied the mathematical tool of temporal logic and software tools of model checking for building a methodology that facilitates systematic designing and verification of error handling during analysis of business processes. This scientific paper illustrates that lightweight approaches do not require fundamental changes in the software engineering process and therefore allow application of usual methods.