selected publications

• academic article

  • Using Aspects for Enforcing Formal Architectural Invariants.  Electronic Notes in Theoretical Computer Science.  215:5-21. 2008

• conference paper

  • A Plug-in Architecture for Self-Adaptive Web Service Compositions.  . 2009
  • Precise Steps for Choreography Modeling for SOA Validation and Verification.  . 2008