Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design