Deciding conformance for bounded responsiveness

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