01/10/2023
  • السفارة

  • وزارة التعليم

  • سفير 2

  • الرئيسية

  • عن الملحقية

    • الملحق الثقافي

    • الملحقية

  • الأدلة والإجراءات

    • الدليل الشامل للمبتعث

    • دليل الطالب المالي

    • الدليل الطبي

    • اجراءات القنصلية

    • الدليل القانوني

      • التأشيرات

      • العقار – إنجلترا وويلز

  • الأخبار

    • أخبار

    • تعاميم

    • إعلانات

  • خدمات

    • سفير 2

    • العلاج

    • الأندية الطلابية

    • تصديق الشهادات والقبولات

    • تحميل الاستمارات

    • المكتبة الرقمية

  • إتصل بنا

  • الرئيسية

  • عن الملحقية

    • الملحق الثقافي

    • الملحقية

  • الأدلة والإجراءات

    • الدليل الشامل للمبتعث

    • دليل الطالب المالي

    • الدليل الطبي

    • اجراءات القنصلية

    • الدليل القانوني

      • التأشيرات

      • العقار – إنجلترا وويلز

  • الأخبار

    • أخبار

    • تعاميم

    • إعلانات

  • خدمات

    • سفير 2

    • العلاج

    • الأندية الطلابية

    • تصديق الشهادات والقبولات

    • تحميل الاستمارات

    • المكتبة الرقمية

  • إتصل بنا

محمد إبراهيم محمد الونين

LnRiLWNvbnRhaW5lcltkYXRhLXRvb2xzZXQtYmxvY2tzLWNvbnRhaW5lcj0iNzA1MTliNzAwOTM0OThmOWM1OTFiNGUxNWIwMTUwNDgiXSB7IHBhZGRpbmc6IDI1cHg7Ym94LXNoYWRvdzogNXB4IDVweCAxMHB4IDAgcmdiYSggMCwgMCwgMCwgMC41ICk7Ym9yZGVyOiAwcHggc29saWQgcmdiYSggMCwgMCwgMCwgMSApOyB9IC50Yi1maWVsZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWZpZWxkPSIzYTA0MGYyNmJhY2NhMWYzM2E4Yzg4MjEzMTFkMjU5NiJdIGEgeyB0ZXh0LWRlY29yYXRpb246IG5vbmU7IH0gIC50Yi1ncmlkW2RhdGEtdG9vbHNldC1ibG9ja3MtZ3JpZD0iNTg1Y2MxZmUwMzA2MjM0YjI3MWJiZjlkZTA3YmNkNzEiXSB7IGdyaWQtdGVtcGxhdGUtY29sdW1uczogbWlubWF4KDAsIDAuMjk1ZnIpIG1pbm1heCgwLCAwLjcwNWZyKTtncmlkLWNvbHVtbi1nYXA6IDBweDtncmlkLXJvdy1nYXA6IDBweDtncmlkLWF1dG8tZmxvdzogcm93IH0gLnRiLWdyaWRbZGF0YS10b29sc2V0LWJsb2Nrcy1ncmlkPSI1ODVjYzFmZTAzMDYyMzRiMjcxYmJmOWRlMDdiY2Q3MSJdID4gLnRiLWdyaWQtY29sdW1uOm50aC1vZi10eXBlKDJuICsgMSkgeyBncmlkLWNvbHVtbjogMSB9IC50Yi1ncmlkW2RhdGEtdG9vbHNldC1ibG9ja3MtZ3JpZD0iNTg1Y2MxZmUwMzA2MjM0YjI3MWJiZjlkZTA3YmNkNzEiXSA+IC50Yi1ncmlkLWNvbHVtbjpudGgtb2YtdHlwZSgybiArIDIpIHsgZ3JpZC1jb2x1bW46IDIgfSAudGItZ3JpZC1jb2x1bW5bZGF0YS10b29sc2V0LWJsb2Nrcy1ncmlkLWNvbHVtbj0iMzA5MDQ3NzVkOTA5N2Q5NzQ0OTFkNDE3M2Q2YTcyM2IiXSB7IGRpc3BsYXk6IGZsZXg7IH0gLnRiLWdyaWQtY29sdW1uW2RhdGEtdG9vbHNldC1ibG9ja3MtZ3JpZC1jb2x1bW49IjMwOTA0Nzc1ZDkwOTdkOTc0NDkxZDQxNzNkNmE3MjNiIl0gcCB7IGZvbnQtc2l6ZTogMzZweDtsaW5lLWhlaWdodDogMzFweDt0ZXh0LXRyYW5zZm9ybTogdXBwZXJjYXNlOyB9IC50Yi1maWVsZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWZpZWxkPSIwNTkwMTY0NDc2OTlmMmY0MjZkNDhiNjFhODVhMDYyMiJdIHsgZm9udC1zaXplOiAyNnB4O2xpbmUtaGVpZ2h0OiA0MnB4O3RleHQtYWxpZ246IHJpZ2h0O3BhZGRpbmctbGVmdDogMTVweDsgfSAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iMDU5MDE2NDQ3Njk5ZjJmNDI2ZDQ4YjYxYTg1YTA2MjIiXSBhIHsgdGV4dC1kZWNvcmF0aW9uOiBub25lOyB9ICAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iYjQ4ZTZiMzgzZGNmY2RkNzVhOTQ1MzMxOTk5ZmI2ZDYiXSB7IGZvbnQtc2l6ZTogMjhweDtsaW5lLWhlaWdodDogMjhweDt0ZXh0LWFsaWduOiByaWdodDtwYWRkaW5nLWxlZnQ6IDE1cHg7IH0gLnRiLWZpZWxkW2RhdGEtdG9vbHNldC1ibG9ja3MtZmllbGQ9ImI0OGU2YjM4M2RjZmNkZDc1YTk0NTMzMTk5OWZiNmQ2Il0gYSB7IHRleHQtZGVjb3JhdGlvbjogbm9uZTsgfSAgLnRiLWZpZWxkW2RhdGEtdG9vbHNldC1ibG9ja3MtZmllbGQ9ImNjOGIwNzI3MzFkYWI0YmU5ZDNkNTBlZjVlZDdjYzA2Il0geyBmb250LXNpemU6IDI4cHg7bGluZS1oZWlnaHQ6IDI4cHg7dGV4dC1hbGlnbjogcmlnaHQ7cGFkZGluZy1sZWZ0OiAxNXB4OyB9IC50Yi1maWVsZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWZpZWxkPSJjYzhiMDcyNzMxZGFiNGJlOWQzZDUwZWY1ZWQ3Y2MwNiJdIGEgeyB0ZXh0LWRlY29yYXRpb246IG5vbmU7IH0gIC50Yi1ncmlkLWNvbHVtbltkYXRhLXRvb2xzZXQtYmxvY2tzLWdyaWQtY29sdW1uPSJhOTQ3N2IzYjJhY2JhYjVlODE3YWUyMWNjNmQwOTczZSJdIHsgZGlzcGxheTogZmxleDsgfSBbZGF0YS10b29sc2V0LWJsb2Nrcy1pbWFnZT0iZWYzOGFiN2M0MzY3OWVlZDkwODdlZTQzYjU4MjkxMDUiXSB7IG1heC13aWR0aDogMTAwJTsgfSBbZGF0YS10b29sc2V0LWJsb2Nrcy1pbWFnZT0iZWYzOGFiN2M0MzY3OWVlZDkwODdlZTQzYjU4MjkxMDUiXSAudGItaW1hZ2Utc2hhZG93LTEtaW5uZXIgeyBib3JkZXI6IDBweCBzb2xpZCByZ2JhKCAwLCAwLCAwLCAwLjI1ICk7Ym9yZGVyLXJhZGl1czogMDsgfSBAbWVkaWEgb25seSBzY3JlZW4gYW5kIChtYXgtd2lkdGg6IDc4MXB4KSB7IC50Yi1maWVsZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWZpZWxkPSIzYTA0MGYyNmJhY2NhMWYzM2E4Yzg4MjEzMTFkMjU5NiJdIGEgeyB0ZXh0LWRlY29yYXRpb246IG5vbmU7IH0gIC50Yi1ncmlkW2RhdGEtdG9vbHNldC1ibG9ja3MtZ3JpZD0iNTg1Y2MxZmUwMzA2MjM0YjI3MWJiZjlkZTA3YmNkNzEiXSB7IGdyaWQtdGVtcGxhdGUtY29sdW1uczogbWlubWF4KDAsIDAuNWZyKSBtaW5tYXgoMCwgMC41ZnIpO2dyaWQtYXV0by1mbG93OiByb3cgfSAudGItZ3JpZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWdyaWQ9IjU4NWNjMWZlMDMwNjIzNGIyNzFiYmY5ZGUwN2JjZDcxIl0gPiAudGItZ3JpZC1jb2x1bW46bnRoLW9mLXR5cGUoMm4gKyAxKSB7IGdyaWQtY29sdW1uOiAxIH0gLnRiLWdyaWRbZGF0YS10b29sc2V0LWJsb2Nrcy1ncmlkPSI1ODVjYzFmZTAzMDYyMzRiMjcxYmJmOWRlMDdiY2Q3MSJdID4gLnRiLWdyaWQtY29sdW1uOm50aC1vZi10eXBlKDJuICsgMikgeyBncmlkLWNvbHVtbjogMiB9IC50Yi1ncmlkLWNvbHVtbltkYXRhLXRvb2xzZXQtYmxvY2tzLWdyaWQtY29sdW1uPSIzMDkwNDc3NWQ5MDk3ZDk3NDQ5MWQ0MTczZDZhNzIzYiJdIHsgZGlzcGxheTogZmxleDsgfSAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iMDU5MDE2NDQ3Njk5ZjJmNDI2ZDQ4YjYxYTg1YTA2MjIiXSBhIHsgdGV4dC1kZWNvcmF0aW9uOiBub25lOyB9ICAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iYjQ4ZTZiMzgzZGNmY2RkNzVhOTQ1MzMxOTk5ZmI2ZDYiXSBhIHsgdGV4dC1kZWNvcmF0aW9uOiBub25lOyB9ICAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iY2M4YjA3MjczMWRhYjRiZTlkM2Q1MGVmNWVkN2NjMDYiXSBhIHsgdGV4dC1kZWNvcmF0aW9uOiBub25lOyB9ICAudGItZ3JpZC1jb2x1bW5bZGF0YS10b29sc2V0LWJsb2Nrcy1ncmlkLWNvbHVtbj0iYTk0NzdiM2IyYWNiYWI1ZTgxN2FlMjFjYzZkMDk3M2UiXSB7IGRpc3BsYXk6IGZsZXg7IH0gIH0gQG1lZGlhIG9ubHkgc2NyZWVuIGFuZCAobWF4LXdpZHRoOiA1OTlweCkgeyAudGItZmllbGRbZGF0YS10b29sc2V0LWJsb2Nrcy1maWVsZD0iM2EwNDBmMjZiYWNjYTFmMzNhOGM4ODIxMzExZDI1OTYiXSBhIHsgdGV4dC1kZWNvcmF0aW9uOiBub25lOyB9ICAudGItZ3JpZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWdyaWQ9IjU4NWNjMWZlMDMwNjIzNGIyNzFiYmY5ZGUwN2JjZDcxIl0geyBncmlkLXRlbXBsYXRlLWNvbHVtbnM6IG1pbm1heCgwLCAxZnIpO2dyaWQtYXV0by1mbG93OiByb3cgfSAudGItZ3JpZFtkYXRhLXRvb2xzZXQtYmxvY2tzLWdyaWQ9IjU4NWNjMWZlMDMwNjIzNGIyNzFiYmY5ZGUwN2JjZDcxIl0gID4gLnRiLWdyaWQtY29sdW1uOm50aC1vZi10eXBlKDFuKzEpIHsgZ3JpZC1jb2x1bW46IDEgfSAudGItZ3JpZC1jb2x1bW5bZGF0YS10b29sc2V0LWJsb2Nrcy1ncmlkLWNvbHVtbj0iMzA5MDQ3NzVkOTA5N2Q5NzQ0OTFkNDE3M2Q2YTcyM2IiXSB7IGRpc3BsYXk6IGZsZXg7IH0gLnRiLWZpZWxkW2RhdGEtdG9vbHNldC1ibG9ja3MtZmllbGQ9IjA1OTAxNjQ0NzY5OWYyZjQyNmQ0OGI2MWE4NWEwNjIyIl0gYSB7IHRleHQtZGVjb3JhdGlvbjogbm9uZTsgfSAgLnRiLWZpZWxkW2RhdGEtdG9vbHNldC1ibG9ja3MtZmllbGQ9ImI0OGU2YjM4M2RjZmNkZDc1YTk0NTMzMTk5OWZiNmQ2Il0gYSB7IHRleHQtZGVjb3JhdGlvbjogbm9uZTsgfSAgLnRiLWZpZWxkW2RhdGEtdG9vbHNldC1ibG9ja3MtZmllbGQ9ImNjOGIwNzI3MzFkYWI0YmU5ZDNkNTBlZjVlZDdjYzA2Il0gYSB7IHRleHQtZGVjb3JhdGlvbjogbm9uZTsgfSAgLnRiLWdyaWQtY29sdW1uW2RhdGEtdG9vbHNldC1ibG9ja3MtZ3JpZC1jb2x1bW49ImE5NDc3YjNiMmFjYmFiNWU4MTdhZTIxY2M2ZDA5NzNlIl0geyBkaXNwbGF5OiBmbGV4OyB9ICB9IA==
محمد إبراهيم محمد الونين
دكتوراه
العلوم والتقنية
Birmingham University

مجال
التميز

تميز دراسي وبحثي

 

 

البحوث المنشورة

 

البحث (1):

 

عنوان البحث:

Matching and Merging Scenarios Automatically with Alloy

رابط إلى البحث:

Click
here

تاريخ النشر:

11/12/2015

موجز عن البحث:

 

The
design of large systems often involves the creation of models that describe
partial specifications. Model composition is the process of combining partial
models to create a single coherent model. This paper presents an automatic
composition technique for creating a sequence diagram from partial
specifications captured in multiple sequence diagrams with the help of Alloy.
Our contribution is twofold: a novel true-concurrent semantics for sequence
diagram composition, and a model-driven transformation of sequence diagrams
to Alloy that preserves the semantics of composition defined. We have created
a tool SD2Alloy that implements the technique as follows: two given
sequence diagrams are transformed into two Alloy models, and merged according
to a set of syntactic logical constraints describing how their elements
should be matched. These constraints are in accordance to our compositional
semantics. The technique can also be used to detect problems and
inconsistencies in the composition of diagrams.

 

 

المؤتمرات العلمية:

 

 

 

المؤتمر (1):

 

عنوان المؤتمر:

The 16th International Conference on
Application of Concurrency to System Design

تاريخ الإنعقاد:

19-24/06/2016

مكان
الإنعقاد:

Torun,
Poland

طبيعة المشاركة:

Paper
presentation

عنوان المشاركة:

Weaving True-Concurrent Aspects using
Constraint Solvers

 

 

 

 

 

 

 

 

ملخص المشاركة:

 

Large system models usually consist of
several simpler models that can be understood more easily. Making changes to
the behaviour of a component will likely affect several models and could
introduce accidental errors. Aspects address this by modelling new functionality
required in several places as an advice, which can be integrated with the
original base models by specifying a pointcut. Before checking that the
overall outcome is correct, we need to weave the crosscutting advice into the
base models, and obtain new augmented models. Although considerable research
has been done to weave models, many such approaches are not fully automated.
This paper looks at aspect weaving of scenario-based models, where aspects
are given a true-concurrent semantics based on event structures. Our
contribution is a novel formal automated technique for weaving aspects using
the Z3-SMT solver. We compare the performance of Alloy and Z3 to justify our
choice
.


المرفقات

  • https://uksacb.org/wp-content/uploads/2016/09/ACSD-2016-Participation-Poland.jpg
  • https://uksacb.org/wp-content/uploads/2016/09/ACSD-2016-Participation-Poland.jpg
  • تويتر
  • فيسبوك
  • بنترست

آخر الأخبار

  • الملحقية الثقافية تنظم حفل بمقرها في العاصمة البريطانية لندن بمناسبة اليوم الوطني السعودي٩٣
    28 سبتمبر، 2023
  • سمو سفير خادم الحرمين الشريفين لدى المملكة المتحدة يستقبل وزير التعليم
    20 سبتمبر، 2023
  • صالون لندن الثقافي – التحول من الألفا إلى مالا نهاية
    18 سبتمبر، 2023

آخر التعاميم والإعلانات

  • دعوة لحضور حفل اليوم الوطني السعودي ٩٣ وزيارة معرض نحلم ونحقق٩٣
    20 سبتمبر، 2023
  • تعميم أجازة
    20 سبتمبر، 2023
  • اللقاء التوعوي القانوني للمبتعثين الجدد ٢٠٢٣
    19 سبتمبر، 2023

أوقات الدوام

  • الإثنين:    09 صباحاً – 4 مساء
  • الثلاثاء:    09 صباحاً – 4 مساءً
  • الأربعاء:   09 صباحاً – 4 مساءً
  • الخميس:  09 صباحاً – 4 مساءً
  • الجمعة:   09 صباحاً – 4 مساءً

الملحقية الثقافية السعودية

عناوين الملحقية


sacbuk@uk.moe.gov.sa


+44 20 3249 7000


630 Chiswick High Road London W4 5RY

  • دليل الدارس في المملكة المتحدة

  • تصديق الشهادات والقبولات

  • العلاج الطبي

  • إتصل بنا

© 2023 | بتقنية قالب مهارتي