VirtuE: a Formal Model of Virtual Enterprises for Information Markets