معرفی زبان Z

از مهمترین زبانهای مشخصه ای مدل گرا میتوان به زبان Z اشاره کرد که از طریق آن امکان مدلسازی سیستم با استفاده از نهادهای ریاضی فراهم می گردد . زبان Z یک زبان رسمی بر پایه تئوری مجموعه هاست.اما از آنجا که مدلسازی سیستم با استفاده از زبان Z نیازمند الگوسازی و آشنایی با نشانه گذاری های این زبان است لذا در تحقیق آشنایی با نشانه گذاری ها و بیان نحوه الگو سازی و معرفی الگوهای طرح دلتا و طرح تغییر نیافته الگوها در زبان Z را بیان خواهیم کرد که با یادگیری موارد فوق میتوان به مدلسازی سیستم از طریق زبان Z پرداخت