Both of these use the events, function descriptions and effect correspondence diagrams produced in stage 3 to determine precisely how to update and read data in a consistent and secure way.
كل منهما يستخدم الأحداث، وأوصاف الوظائف ومخططات رسائل التأثير التي تم إنتاجها في المرحلة 3 لتحدد بشكل دقيق كيف تُحدّث البيانات وتقرأها بطريقة آمنة وثابتة.