Model transformations of MapReduce Design Patterns for automatic development and verification
Keywords: تأیید رسمی; Cloud computing; Cloud patterns; Formal verification; MapReduce; Model driven engineering;