Architectural concepts for distributed systems specification