Formal models of virtual enterprise architecture: Motivations and approaches · Study