A Java-based certification framework for service compositions