An interface theory for service-oriented design

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