Frédéric Pourraz Hervé Verjus Flávio Oquendo p-Diapason : un langage pour la formalisation des architectures orientées services Web. 119-127 2006 conf/cal/2006 CAL db/conf/cal/cal2006.html#PourrazVO06