Automated Synthesis and Ranking of Secure BPMN Orchestrators

Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel. Automated Synthesis and Ranking of Secure BPMN Orchestrators. IJSSE, 5(2):44-64, 2014. [doi]

Abstract

Abstract is missing.