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

 


      
 
الاسم الاول: 
محمد
اسم العائلة: 
الونين
الدرجة العلمية: 
دكتوراة
مجال الدراسة: 
العلوم والتقنية
المؤسسة التعليمية: 
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.

المرفقالحجم
ACSD 2016 Participation Poland.jpg‏134.5 ك.بايت