إي-لوتوس
في علوم الحاسوب، E-LOTOS ( المحسّن LOTOS ) هي لغة مواصفات رسمية تم تصميمها بين عامي 1993 و 1999، وتم توحيدها من قبل المنظمة الدولية للتوحيد القياسي (ISO) في عام 2001. [ 1 ]
كان من المفترض في البداية أن يكون E-LOTOS بمثابة مراجعة للغة LOTOS التي تم توحيدها بواسطة ISO 8807 في عام 1989، ولكن تبين أن المراجعة عميقة، مما أدى إلى لغة مواصفات جديدة.
كانت نقطة البداية لمراجعة LOTOS هي أطروحة الدكتوراه [ 2 ] لإد برينكسما، الذي كان المقرر في المنظمة الدولية للمقاييس (ISO) لمعيار LOTOS.
في عام 1993، تم تحديد الأهداف الأولية لتعريف E-LOTOS في إعلان ISO/IEC JTC1/N2802. [ 3 ]
في عام 1997، عندما وصل تعريف اللغة إلى مستوى نضج مسودة لجنة ISO، تم نشر إعلان يصف الميزات الرئيسية لـ E-LOTOS. [ 4 ]
تستذكر الوثيقة التالية [ 5 ] المعالم الرئيسية لمشروع تعريف E-LOTOS.
ألهمت لغة E-LOTOS اللغات المنحدرة منها، [ 6 ] ومن بينها LOTOS NT [ 7 ] وLNT. [ 8 ]
انظر أيضاً
مراجع
- ↑ المعيار الدولي ISO/IEC 15437:2001 . تكنولوجيا المعلومات - تحسينات على نظام LOTOS (E-LOTOS). جنيف، سبتمبر 2001.
- ↑ إد برينكسما. حول تصميم لغة LOTOS الموسعة - لغة مواصفات للأنظمة الموزعة المفتوحة ، أطروحة دكتوراه، جامعة توينتي، نوفمبر 1988.
- ↑ ISO/IEC JTC1/N2802، اقتراح لبند عمل جديد حول "تحسينات على LOTOS". 16 ديسمبر 1993. متاح على الرابط التالي: ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
- ↑ خوان كيمادا. تأسست شركة E-LOTOS في 18 فبراير 1997. متاح على الرابط التالي: ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
- ↑ خوان كيمادا. وصف بند العمل الجديد في مشروع E-LOTOS . 16 يونيو 1998. متاح على الرابط التالي: ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
- ↑ هوبرت غارافيل، فريدريك لانغ، وويندلين سيروي، من لوتوس إلى لانت. في جوست-بيتر كاتوين، روم لانغراك، وأريند رينسينك (محررون)، موديل إد، تيست إد، تراست إد - مقالات مهداة إلى إد برينكسما بمناسبة عيد ميلاده الستين، المجلد 10500 من سلسلة محاضرات في علوم الحاسوب، الصفحات 3-26، دار نشر سبرينغر الدولية، أكتوبر 2017، doi 10.1007/978-3-319-68270-9_1
- ↑ ميهايلا سيغيريانو (مع تحديثات بواسطة ألبان كاتري، وديفيد شامبيلوفييه، وهوبرت جارافيل، وفريديريك لانج، وغيوم شيفر، وويندلين سيروي، ويان ستوكير). دليل مستخدم LOTOS NT (الإصدار 2.7) . التقرير الفني INRIA Rhône-Alpes/VASY، نوفمبر 2012، 107 صفحة. متاح من http://vasy.inria.fr/traian/manual.html
- ↑ ديفيد شامبيلوفييه، كزافييه كليرك، هوبير غارافيل، إيف غيرت، فريدريك لانغ، كريستين ماكينتي، فنسنت بوازني، ويندلين سيروي، وجيديون سميدينغ. دليل مرجعي لمترجم LNT إلى LOTOS . تقرير فني INRIA Rhône-Alpes/CONVECS، 2015، 125 صفحة. متاح على الرابط التالي: http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html
روابط خارجية
- العمليات الحسابية
- الأساليب الرسمية
- لغات المواصفات الرسمية
- التزامن (علوم الحاسوب)
- التحكم في التزامن
- التزامن
- مواضيع لغات البرمجة
