The Effectiveness of a Program Based on Psychosocial Support in Raising the Level of Family Empowerment among Refugees in Jordan

هدفت الدراسة إلى فحص مدى فاعلية برنامج مستند للدعم النفسي الاجتماعي في رفع مستوى التمكين الأسري لدى اللاجئين في الأردن. وتكونت عينة الدراسة من (32) لاجئًا في محافظة إربد تم تعيينهم بشكل عشوائي لمجوعتين متساويتين: المجوعة التجريبية (ن= 16) التي شاركت في برنامج الدعم النفسي الاجتماعي، والمجموعة الضابطة (ن= 16) التي لم تشارك في أي برنامج تدخل. ولتحقيق أهداف الدراسة تم تطوير مقياس التمكين الأسري لجمع بيانات الدراسة في الاختبارات القبلية والبعدية لمجموعتي الدراسة، وفي الاختبار التتبعي مع أفراد المجموعة التجريبية فقط، وبرنامج الدعم النفسي الاجتماعي. أظهرت نتائج الدراسة وجود فروق دالة إحصائيًا بين المجموعتين التجريبية والضابطة في متوسطات الدرجات على مقياس التمكين الأسري في الاختبار البعدي لصالح المجموعة التجريبية، وعدم وجود فروق دالة إحصائيًا بين متوسطات القياسين البعدي والتتبعي في مقياس التمكين الأسري، مما يعكس ثبات تأثير البرنامج.The study aimed to examine the effectiveness of a program based on psychosocial support in raising the level of family empowerment among refugees in Jordan. The study sample consisted of (32) refugees in Irbid governorate who were randomly assigned to two equal groups: the experimental group (n = 16), who participated in the psychosocial support program, and the control group (n = 16), who did not participate in any intervention program. To achieve the study's objectives, the Family Empowerment Scale was developed to collect study data in the pre and posttests for the two study groups and the follow-up test with members of the experimental group only and the psychosocial support program. The results of the study showed that there were statistically significant differences between the experimental and control groups in the mean scores on the family empowerment scale in the posttest in favor of the experimental group, and there were no statistically significant differences between the means of the post and follow-up measures in the family empowerment scale, which reflects the reliability of the program’s impact

BlockASP: A Framework for AOP-Based Model Checking Blockchain System

Blockchain systems are lauded for their security, and reliability. Security is a cornerstone, as they employ cryptographic techniques to ensure the immutability of data, making it extremely resistant to tampering. With decentralized networks, they also reduce the risk of a single point of failure, enhancing reliability. Model checking plays a vital role in ensuring the security, and reliability of blockchain systems. However, traditional model-checking approaches face challenges in handling the inherent dynamism exhibited in blockchain systems. To overcome this challenge, Aspect-Oriented programming (AOP) offers capabilities to enhance blockchain model checking through the modularization of cross-cutting concerns, enabling traceability and monitoring, facilitating dynamic instrumentation, and supporting fine-grained property specifications. The aim of this research is to enable more effective and efficient verification of dynamic behaviors in blockchain systems compared to conventional model-checking techniques using AOP. As a result, this research introduces BlockASP, a novel blockchain model verification method that leverages AOP to analyze and monitor dynamic behavior of the blockchain system. BlockASP integrates the benefits of aspect-orientation and model checking into the blockchain architecture to strengthen security, and reliability. This research has examined prior art that are related to blockchain modeling using Object-oriented (OO) and those are using AOP. Our research has proposed and discussed the BlockASP technique, the research provided a case study to demonstrate the validity and superiority in facilitating the monitoring of dynamic blockchain behavior using AOP compared to traditional approaches such as Model-Driven Architecture (MDA)