توصیف رسمی وب سایت مرامیسوار با استفاده از زبان Z

سال انتشار: 1398
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 709

فایل این مقاله در 14 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ITCT06_015

تاریخ نمایه سازی: 24 شهریور 1398

چکیده مقاله:

پردازش مستقیم زبان طبیعی برای درک نیازهای نرم افزار منجر به ایجاد ابهاماتی خواهد شد. این ابهامات در نهایت بر کیفیت نرم افزار نهایی تاثیر منفی خواهند گذاشت. بکارگیری متدهای رسمی باعث کاهش این ابهامات در توصیف نیازهای نرم افزار خواهد شد. در این مقاله زبان توصیف رسمی Z را برای توصیف وب سایت مرامی سوار بکاربرده ایم. این وب سایت با هدف یافتن همسفر برای رانندگان بین شهری طراحی شده است. همچنین مسافرینی که قصد سفر با هزینه کمتر را دارند میتوانند با استفاده از این برنامه، رانندگان هم مسیر خود را بیابند. استفاده از زبان Z منجر به افزایش دقت در توصیف نیازها خواهد شد. این وب سایت ابتدا با زبان UML مدلسازی شده و نمودار مورد-کاربرد آن بدست آمده است. سپس از توصیف های Z برای کاهش هرچه بیشتر ابهامات استفاده شده است. ارزیابی توصیف های رسمی Z با استفاده از ابزار ZEVES صورت پذیرفته است. درستی تمامی شماهای طراحی شده، با استفاده از ZEVES اثبات شده است.

کلیدواژه ها:

توصیف رسمی ، زبان z ، نمودار مورد-کاربرد ، توصیف نیازهای نرم افزار

نویسندگان

سودابه محمدی

گروه مهندسی کامپیوتر، دانشکده فناوری اطلاعات، دانشگاه صنعتی کرمانشاه، کرمانشاه، ایران

سامان جمشیدی

گروه مهندسی کامپیوتر، دانشکده فناوری اطلاعات، دانشگاه صنعتی کرمانشاه، کرمانشاه، ایران

سیدمحمد مولانا

گروه مهندسی کامپیوتر، دانشکده فناوری اطلاعات، دانشگاه صنعتی کرمانشاه، کرمانشاه، ایران