Formalizing High-Level Service-Oriented Architectural Models Using a Dynamic ADL | Publicación