ارائه مدل سیستم خودپرداز بانك با استفاده از شبكه پتری زمان دار

این مقاله چگونگی توسعه یک مدل شبکه پتری کارا را برای یک سیستم زمان واقعی نرم افزاری توضیح می دهد. ابتدا ما چگونگی ساخت مدل با استفاده از رویکرد پایین به بالا بحث میکنیم. هر یک از اجزای اصلی سیستم با استفاده از شبکه های پتری شناسایی و ساخته شده اند. اینها به طور جداگانه آزمایش شده و سپس سیستم کامل جمع آوری می شود. هنگامی که مدل اصلی ساخته شد، در یک ابزار شبیه سازی اجرا شده و برای تولید نتایجعملکرد برای سیستم استفاده می شود. مدل نهایی زنده است و رفتار تکراری و سازگار را نشان می دهد. این داده ها نشان می دهند که چگونه می توان نتایج را برای عملکرد نرم افزار و سخت افزار با استفاده از شبکه های پتری به دست آورد. این کاملاً منحصر به فرد است، زیرا اکثر روش های توسعه نرم افزار مانند UML و حتی تکنیک های رسمی تحلیل عملکرد و هیچ ویژگی مناسبی برای انحصار را ارائه نمی دهند. اگر ابزار خوب شبیه سازی شبکه های پتری در دسترس باشند، می توان از شبکه های پتری برای توصیف دقیق سیستم های نرم افزار زمان واقعی و تحلیل آنها استفاده کرد. زمانی که سیستم مورد نظر الزامات هماهنگ سازی دقیق و محدودیت زمانبندی دارد، این روش نمی تواند به راحتی توسط بسیاری از تکنیک های دیگر به دست آید.

کلیدواژه ها:

سیستم خودپرداز بانک ، توسعه مدل ، شبکه پتری زمان دار