Requirements, primitives and models for systems specification

This paper presents a metamodel, called RPM, which is proposed to systematize and encompass many models of computation. RPM is based on the decomposition of a computational system model into its requirements, primitives and models of computation. A taxonomy for telecom computational systems is proposed and related to the RPM metamodel. The goal of the paper is to pave the way for a codesign CAD system with heterogeneous specification. Such systemic specification is to be mapped into one or more homogeneous descriptions.