An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa PontaVolume:
78
Year:
2012
Language:
english
Pages:
23
DOI:
10.1016/j.jcss.2011.02.015
File:
PDF, 468 KB
english, 2012