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

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