یک روش توسعه یافته صوری برای توصیف رابط مولفه ها در طراحی سیستم های مبتنی بر مولفه

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