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 Ponta. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci., 78(1):119-141, 2012. [doi]

Authors

Alessandro Armando

This author has not been identified. Look up 'Alessandro Armando' in Google

Enrico Giunchiglia

This author has not been identified. Look up 'Enrico Giunchiglia' in Google

Marco Maratea

This author has not been identified. Look up 'Marco Maratea' in Google

Serena Elisa Ponta

This author has not been identified. Look up 'Serena Elisa Ponta' in Google