Semantical issues in the architecture of distributed embedded systems