Publications of Antonio De Nicola

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author De Nicola A., in the category IASI Research Reports (or show them all):


IASI Research Report n. 09-07    

De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.

A Logic-Based Method for BPMN Diagrams Verification

ABSTRACT
In this paper we illustrate a method to support the verification of business processes built by using the OMG standard BPMN. Such a standard is gaining a wide acceptance in the business domain, however, the lack of a precise, formally defined semantics leads to ambiguities and problems in the interpretations of the produced diagrams. In this respect, the support provided by the existing tools is not complete nor systematic. The paper proposes a systematic method, based on a logic approach, referred to as BPAL, to provide a BPMN diagram the needed formal semantics for analysis and properties verification.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -