منطق کنترل
منطق کنترل (به انگلیسی: Control logic) بخش کلیدی یک برنامه نرم‌افزاری است که عملیات برنامه را کنترل می‌کند. منطق کنترل به دستورات کاربر پاسخ می‌دهد و همچنین به تنهایی برای انجام وظایف خودکار که در برنامه ساختار یافته‌اند عمل می‌کند.[۱]
{{سخ}} منطق کنترل را می‌توان با استفاده از نمودار حالت،[۲] که شکلی از ماشین حالت سلسله مراتبی است، مدل‌سازی کرد. این نمودارهای حالت همچنین می‌توانند با نمودارهای روند ترکیب شوند تا مجموعه ای از معناشناسی رایانشی را برای توصیف منطق کنترل پیچیده ارائه دهند.[۳] این ترکیبی از نمودارهای حالت و نمودارهای روند در شکل سمت راست نشان داده شده است که منطق کنترل یک کرونومتر ساده را نشان می‌دهد. منطق کنترل دستورات را از کاربر دریافت می‌کند، همان‌طور که با رویدادی (به انگلیسی: event) به نام "START" نشان داده می‌شود، اما همچنین دارای رویدادهای نمونه زمانی تکرار شونده خودکار است، همان‌طور که توسط رویدادی به نام "TIC" نمایش داده می‌شود.
منابع[ویرایش]
- ↑ Smith, S.E. "What Is Control Logic?".
- ↑ Tiwari, A. (2002). "Formal Semantics and Analysis Methods for Simulink Stateflow Models" (PDF).
- ↑ Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey City, NJ: ACM. pp. 164–172. CiteSeerX 10.1.1.89.8817.