تدوين Z
تدوين Z / ˈzɛd / هو لغة مواصفات رسمية تستخدم لوصف ونمذجة أنظمة الحوسبة. [1] وهي تستهدف المواصفات الواضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الكمبيوتر بشكل عام.
تاريخ
في عام 1974، نشر جان رايموند أبريال كتاب "دلالات البيانات". [2] وقد استخدم تدوينًا تم تدريسه لاحقًا في جامعة غرونوبل حتى نهاية الثمانينيات. أثناء عمله في شركة كهرباء فرنسا (EDF )، مع برتراند ماير ، عمل أبريال أيضًا على تطوير Z. [3] تم استخدام تدوين Z في كتاب طرق البرمجة لعام 1980. [4]
تم اقتراح Z في الأصل بواسطة Abrial في عام 1977 بمساعدة Steve Schuman و Bertrand Meyer . [5] تم تطويره بشكل أكبر في مجموعة أبحاث البرمجة في جامعة أكسفورد ، حيث عمل Abrial في أوائل الثمانينيات، بعد وصوله إلى أكسفورد في سبتمبر 1979.
قال أبريال إن Z سميت بهذا الاسم "لأنها اللغة النهائية!" [6] على الرغم من أن اسم " Zermelo " مرتبط أيضًا بنظام Z من خلال استخدامه لنظرية مجموعة Zermelo-Fraenkel .
في عام 1992، تم إنشاء مجموعة مستخدمي Z (ZUG) للإشراف على الأنشطة المتعلقة بتدوين Z، وخاصة الاجتماعات والمؤتمرات. [7]
الاستخدام والتدوين
يعتمد Z على التدوين الرياضي القياسي المستخدم في نظرية المجموعة البديهية وحساب لامدا ومنطق المسند من الدرجة الأولى . [8] جميع التعبيرات في تدوين Z مكتوبة ، وبالتالي يتم تجنب بعض مفارقات نظرية المجموعة الساذجة . يحتوي Z على كتالوج موحد (يسمى مجموعة الأدوات الرياضية ) للوظائف والمسندات الرياضية المستخدمة بشكل شائع، والتي يتم تعريفها باستخدام Z نفسها. يتم تعزيزه بصناديق مخطط Z ، والتي يمكن دمجها باستخدام مشغلاتها الخاصة، بناءً على المشغلات المنطقية القياسية، وأيضًا عن طريق تضمين المخططات داخل مخططات أخرى. يسمح هذا ببناء مواصفات Z في مواصفات كبيرة بطريقة ملائمة.
نظرًا لأن تدوين Z (تمامًا مثل لغة APL ، قبلها بوقت طويل) يستخدم العديد من الرموز غير ASCII ، فإن المواصفات تتضمن اقتراحات لعرض رموز تدوين Z في ASCII وفي LaTeX . هناك أيضًا ترميزات Unicode لجميع رموز Z القياسية. [9]
المعايير
أتمت منظمة ISO جهود توحيد معايير Z في عام 2002. هذا المعيار [10] والتصحيح الفني [11] متاحان مجانًا من ISO:
- المعيار متاح للجمهور [10] من موقع ISO ITTF مجانًا، ومتاح للشراء بشكل منفصل [10] من موقع ISO؛
- التصحيح الفني متاح [11] من موقع ISO مجانًا.
جائزة
في عام 1992، حصل مختبر الحوسبة بجامعة أكسفورد وشركة IBM على جائزة الملكة للإنجاز التكنولوجي "لتطوير ... تدوين Z، وتطبيقه في منتج نظام التحكم في معلومات العملاء ( CICS ) الخاص بشركة IBM." [12]
انظر أيضا
- مجموعة مستخدمي Z (ZUG)
- مشروع أدوات المجتمع Z (CZT)
- طرق رسمية أخرى (واللغات التي تستخدم المواصفات الرسمية ):
- VDM-SL ، البديل الرئيسي لـ Z
- طريقة B ، التي طورها جان رايموند أبريال (مبتكر تدوين Z)
- Z++ و Object-Z ، امتدادات الكائنات لترميز Z
- Alloy ، لغة مواصفات مستوحاة من تدوين Z وتنفيذ مبادئ لغة قيود الكائن (OCL).
- Verus، أداة خاصة تم إنشاؤها بواسطة شركة Compion، شامبين، إلينوي (تم شراؤها لاحقًا بواسطة Motorola)، لاستخدامها في مشروع UNIX الآمن متعدد المستويات الذي طورته شركة Addamax.
- Fastest ، أداة اختبار تعتمد على النموذج لترميز Z.
- لغة النمذجة الموحدة ، أداة تصميم نمذجة لنظام برمجي من مجموعة إدارة الكائنات
مراجع
- ^ Bowen, Jonathan P. (2016). "The Z Notation: Whence the Cause and Wherether the Course?" (PDF) . هندسة أنظمة البرمجيات الجديرة بالثقة . محاضرات في علوم الكمبيوتر . المجلد 9506. سبرينغر . ص 103-151. doi :10.1007/978-3-319-29628-9_3. ISBN 978-3-319-29627-2.
- ^ Abrial, Jean-Raymond (1974), "Data Semantics", in Klimbie, JW; Koffeman, KL (eds.), Proceedings of the IFIP Working Conference on Data Base Management , North-Holland , pp. 1–59
- ^ Hoare, Tony (2010). Greetings to Bertrand on the Occasion of his Sixtieth Birthday (PDF) . Springer . ص. 183. ISBN 978-3-642-15187-3.
{{cite book}}:|work=تم تجاهله ( مساعدة ) - ^ ماير، برتراند ؛ بودوان، كلود (1980)، أساليب البرمجة (بالفرنسية)، إيرول
- ^ أبريال، جان رايموند؛ شومان، ستيفن أ؛ ماير، بيرتراند (1980)، "لغة المواصفات"، في ماكناغتن، أيه إم؛ ماكيغ، آر إم (المحررون)، حول بناء البرامج ، مطبعة جامعة كامبريدج ، رقم ISBN 0-521-23090-X(يصف النسخة المبكرة من اللغة).
- ^ Hoogeboom، Hendrik Jan. “الطرق الرسمية في هندسة البرمجيات” (PDF) . هولندا: جامعة ليدن . تم الاسترجاع في 14 أبريل 2017 .
- ^ بوين، جوناثان (يوليو 2022). "مجموعة مستخدمي Z: بعد ثلاثين عامًا" (PDF) . حقائق FACS . رقم 2022-2. BCS-FACS . ص 50-56 . تم الاسترجاع في 3 أغسطس 2022 .
- ^ Spivey, J. Michael (1992). The Z Notation: A Reference Manual . International Series in Computer Science (2nd ed.). Hemel Hempstead: Prentice Hall . ISBN 978-0139785290.
- ^ كوربيلا، جوكا ك. "شرح يونيكود: تدويل المستندات والبرامج ومواقع الويب". unicode-search.net . تم الاسترجاع في 24 مارس 2020 .
- ^ abc "ISO/IEC 13568:2002". تكنولوجيا المعلومات - تدوين المواصفات الرسمية Z - بناء الجملة ونظام النوع والدلالات ( ملف PDF مضغوط ) . ISO. 1 يوليو 2002. 196 صفحة.
- ^ من "ISO/IEC 13568:2002/Cor.1:2007". تكنولوجيا المعلومات - تدوين المواصفات الرسمية Z - بناء الجملة ونظام النوع والدلالات - التصحيح الفني 1 (PDF) . ISO. 15 يوليو 2007. 12 صفحة
- ^ "جائزة الملكة للإنجاز التكنولوجي 1992". مختبر الحوسبة بجامعة أكسفورد . مؤرشف من الأصل في 2 ديسمبر 2008. تم الاسترجاع 17 أكتوبر 2021 .
قراءة إضافية
- Spivey, John Michael (1992). The Z Notation: A reference manual. International Series in Computer Science (2nd ed.). Prentice Hall .
- ديفيز، جيم ؛ وودكوك، جيم (1996). استخدام Z: المواصفات والتحسين والإثبات. السلسلة الدولية في علوم الكمبيوتر. برنتيس هول. رقم ISBN 0-13-948472-8.
- بوين، جوناثان (1996). المواصفات الرسمية والتوثيق باستخدام Z: نهج دراسة الحالة. دار تومسون الدولية للنشر، دار تومسون الدولية للنشر . رقم ISBN 1-85032-230-9.
- جاكي، جوناثان (1997). طريق Z: البرمجة العملية بالطرق الرسمية. مطبعة جامعة كامبريدج . رقم ISBN 0-521-55976-6.
- Ince, DC (1993). مقدمة في الرياضيات المنفصلة، ومواصفات النظام الرسمي، وZ. دار نشر جامعة أكسفورد . doi :10.1093/oso/9780198538370.001.0001. ISBN 9780198538370.
