![](/images/graphics-bg.png)
Consistent integration between object oriented and coloured petri nets models
المؤلفون المشاركون
Lee, Sai Peck
Rajabi, Bassam Atiyyah
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 11، العدد 4 (31 يوليو/تموز 2014)10ص.
الناشر
تاريخ النشر
2014-07-31
دولة النشر
الأردن
عدد الصفحات
10
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
Unified Modeling Language (UML) is easier to understand and communicate using graphical notations, but lacks techniques for model validation and verification especially if these diagrams are updated.
Formal approaches like Coloured Petri Nets (CPNs) are based on strong mathematical notations and proofs as basis for executable modeling languages.
Transforming UML diagrams to executable models that are ready for analysis is significant, and providing an automated technique that can transform these diagrams to a mathematical model such as CPNs avoids the redundancy of writing specifications.
The use of UML diagrams in modeling Object Oriented Diagrams (OODs) leads to a large number of interdependent diagrams.
It is necessary to preserve the diagrams consistency since they are updated continuously.
This research proposes a new structure for the mutual integration between OODs and CPNs modeling languages to support model changes, the proposed integration suggest a new structure (Object Oriented Coloured Petri Nets (OOCPN)) to include set of rules to check and maintain the consistency and integrity of the OOCPN model based on OODs relations.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. 2014. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology،Vol. 11, no. 4.
https://search.emarefa.net/detail/BIM-334385
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology Vol. 11, no. 4 (Jul. 2014).
https://search.emarefa.net/detail/BIM-334385
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology. 2014. Vol. 11, no. 4.
https://search.emarefa.net/detail/BIM-334385
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-334385
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)