Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach.

Alessandro Armando Enrico Giunchiglia Serena Elisa Ponta Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. 63-72 2009 TrustBus http://dx.doi.org/10.1007/978-3-642-03748-1_7 conf/trustbus/2009 db/conf/trustbus/trustbus2009.html#ArmandoGP09