Cirta : a formal language for modular ecatnets specification
المؤلفون المشاركون
Zeghib, Nasir al-Din
Bettaz, M.
المصدر
Sciences et Technologie : Sciences Appliquées
العدد
المجلد 2005، العدد 24 (31 ديسمبر/كانون الأول 2005)، ص ص. 47-56، 10ص.
الناشر
تاريخ النشر
2005-12-31
دولة النشر
الجزائر
عدد الصفحات
10
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص AR
سيرتا (بناء تزايدي لشبكات بيتري ذات الحدود الجبرية) هي لغة وصف تعزز الشبكات المتنافسة الموسعة ذات الحدود الجبرية بمفاهيم التركيب لتجعلها مهيئة للتطبيقات الواقعية.
هذه المقالة تدرس ميكانزمات البناء التركيبي التي توفرها لغة سيرتا لتصميم الأنظمة المتنافسة المعقدة.
هناك تقنيتان للبناء التركيبي.
التقنية الأولى ترتكز على استعمال" وحدات" الوصف التي توسع الشبكات المتنافسة الموسعة ذات الحدود الجبرية بمفهومي "العقد المشتركة" و "ألعقد المركبة".
أما التقنية الثانية فتخص بعض عمليات التركيب التي تطبق على وحدات الوصف و نخص بالذكر : "الاستيراد"، "التجميع" و" إعادة التسمية".
المعنى الرياضي لكل وصف في لغة سيرتا يستعمل هذه التقنيات هو معرف بإعطاء الشبكة المتنافسة الموسعة ذات الحدود الجبرية المكافئة.
الملخص EN
CIRTA (''Construction Incrémentale des Réseaux de Petri à Termes Algébriques”) is a specification language endowing ECATNets (''Extended Concurrent Algebraic Terms Nets”) [6] [10] with modularity concepts to make them more suitable for real-world applications.
This paper addresses the structuring mechanisms provided by CIRTA, for the design of complex concurrent systems.
Two structuring techniques are presented.
The first one relies on the usage of CIRTA modules which extend ECATNets with the concepts of interface nodes and composed-nodes.
The second mechanism concerns with some structuring operations on CIRTA modules namely : importation, composition and renaming.
The semantics of each CIRTA specification using these constructs is defined by giving the behavioral equivalent ECATNet.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zeghib, Nasir al-Din& Bettaz, M.. 2005. Cirta : a formal language for modular ecatnets specification. Sciences et Technologie : Sciences Appliquées،Vol. 2005, no. 24, pp.47-56.
https://search.emarefa.net/detail/BIM-293529
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zeghib, Nasir al-Din& Bettaz, M.. Cirta : a formal language for modular ecatnets specification. Sciences et Technologie : Sciences Appliquées No. 24 (2005), pp.47-56.
https://search.emarefa.net/detail/BIM-293529
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zeghib, Nasir al-Din& Bettaz, M.. Cirta : a formal language for modular ecatnets specification. Sciences et Technologie : Sciences Appliquées. 2005. Vol. 2005, no. 24, pp.47-56.
https://search.emarefa.net/detail/BIM-293529
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 55-56
رقم السجل
BIM-293529
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر