ToЫards a Compositional Approach to the Design and Verification