یک روش توسعه یافته صوری برای توصیف رابط مولفه ها در طراحی سیستم های مبتنی بر مولفه
- سال انتشار: 1395
- محل انتشار: اولین کنفرانس ملی مهندسی کامپیوتر، علوم کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: NCRC01_090
- زبان مقاله: فارسی
- تعداد مشاهده: 591
نویسندگان
فوق لیسانس - ثبت احوال آذربایجان شرقی
استادیار - دانشگاه تبریز
استادیار - دانشگاه تبریز
چکیده
امروزه در زندگی بشر، سیستم های کامپیوتری نقش اساسی و حیاتی را دارند. این سیستم ها روز به روز در حال توسعه و در حال یکپارچه شدن می باشند. برای غلبه بر پیچیدگی سیستم های بزرگ محققان به سمت مهندسی نرم افزار مبتنی بر مولفه رفته اند که در آن سیستم های کامپیوتری بزرگ از مجموعه مولفه ها تشکیل می شوند که این مولفه ها از طریق واسط با هم در ارتباط هستند. تاکنون راه کارهای متعددی برای توصیف واسط مولفه ها تعریف شده است که در این میان خودکارهای واسط ابزارهای موفقی بوده اند. در این مقاله ما قصد داریم خودکارهای واسط ارائه شده تسط آلفرو و هنزینگر را با در نظر گرفتن امکان اشتراک در بین عملکردهای ورودی، داخلی و خروجی، توسعه دهیم. جهت رسیدن به این مهم، ضمن توسعه تئوری این زبان صوری مثالی موردی ارائه شده و بر تربیت زبان توسعه یافته نسبت به زبان موجود نشان می دهد.کلیدواژه ها
مولفه، واسط، خودکار وسطمقالات مرتبط جدید
- بررسی و شبیه سازی یک سوند الکترومکانیکی برای استفاده در عمل جراحی رفع انسداد مری
- پیاده سازی موفق ERP با بکارگیری چارچوب های COBIT و ITIL جهت برقراری امنیت و همگرایی کسب وکار در حوزه فناوری و اطلاعات سازمان های بزرگ
- Circuit design and experimental implementation of synchronization scheme between two identical unified chaotic systems
- Ischemia disease recognition in consecutive stress echocardiography using sparse representation based classifier
- تعیین حاشیه پایداری ولتاژ سیستم قدرت قبل از فروپاشی ولتاژ (سیستم مورد مطالعه: سیستم قدرت ۳ ماشینه و ۹ باسه (WSCC)
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.