A Message-Passing Communication Scheme for System Specification