TITLE : Towards a framework for proactive monitoring of service choreography AUTHOR(S) : Bertolino A, Marchetti E, Morichetta A TYPE : Other YEAR : 2012 CODE : 213874 *** DO NOT EDIT THIS FILE ***