selected publications academic article Towards an Approach of Formal Verification of Web Service Composition. . 2011 conference paper Towards a transformation of composite web service with QoS extension into ACME\Armani. . 349-352. 2011