MViewADL—an ADL for distributed systems