![](/images/graphics-bg.png)
Integration of the association ends within UML state diagrams
المؤلفون المشاركون
Bouabana-Tebibel, Thurayya
Belmesk, Munira
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 5، العدد 1 (31 يناير/كانون الثاني 2008)، ص ص. 7-15، 9ص.
الناشر
تاريخ النشر
2008-01-31
دولة النشر
الأردن
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult.
To remedy that, we first present a technique for transforming the UML state chart diagrams into Petri nets.
Then we develop an approach based on the class association ends.
This approach shows how to validate the system invariants, expressed in the Object Constraint Language, on the Petri nets derived from the UML models.
System property validation starts with an initialization of the model, extracted from the object and sequence diagrams.
A case study is given throughout the paper to illustrate the methodology.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. 2008. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology،Vol. 5, no. 1, pp.7-15.
https://search.emarefa.net/detail/BIM-10553
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology Vol. 5, no. 1 (Jan. 2008), pp.7-15.
https://search.emarefa.net/detail/BIM-10553
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology. 2008. Vol. 5, no. 1, pp.7-15.
https://search.emarefa.net/detail/BIM-10553
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 14-15
رقم السجل
BIM-10553
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)