نوشتن و بررسی الزامات مربوط به قابلیت همکاری : برنامه ای برای فرآیندهای مشارکت
Writing and verifying interoperability requirements: Application to collaborative processes
مشخصات کلی
| سال انتشار | 2016 |
| کد مقاله | 2851 |
| فرمت فایل ترجمه | Word |
| تعداد صفحات ترجمه | 30 |
| نام مجله | Computers in Industry |
| نشریه | ScienceDirect |
| درج جداول و شکل ها در ترجمه | انجام نشده است |
| جداول داخل مقاله | ترجمه نشده است |
چکیده فارسی
تحلیل قابلیت همکاری تا حد زیادی به الزامات مربوط به قابلیت همکاری وابسته است، توانایی فهم، ساختار، تالیف و بررسی چنین الزاماتی از اصول حیاتی روند تحلیل به شمار می روند. به این منظور، الزامات ما باید: 1) به طور کامل در یک مخزن مناسب و کاربردی تایید شده باشند؛ 2) به صورت صحیح توسط سهامدارانی که به دامنه مورد بررسی مرتبط هستند نگارش شده باشند و 3) روی مدل های مختلف سیستمی که قابلیت همکاری در آن مورد درخواست است به راحتی قابل بررسی باشند. هدف مقاله ما این است که با استفاده از تکنیک های بررسی رسمی، هم مخزنی ساختاریافته برای الزامات قابلیت همکاری و هم یک زبان خاص دامنه برای نوشتن و بررسی الزامات قابلیت همکاری (در یک مدل فرآیند همکاری) فراهم نماید. مخزن الزامات قابلیت همکاری که براس ساخت الزامات قابلیت همکاری سرویس رسانی می نماید و باعث دسترسی آنها می شود، خود نیز از طریق سطوح انتزاعی، دیدگاه ها و ابعاد طول عمر قابلیت همکاری ایجاد شده است. علاوه بر این در این مطالعه پارامترهای اضافه مربوط به اطلاعات مورد درخواست و اثرات شناخته شده این الزامات روی رفتار سیستم مورد بررسی نیز گنجانده شده است. زبان خاص دامنه ابزارهایی برای نوشتن الزامات قابلیت همکاری فراهم نموده است. پس از آن، این الزامات – به ویژه نیازهای موقتی - با تبدیل TCTL منطقی موقتی در ویژگی ها بازنویسی شدند تا با استفاده از UPPAAL بررسی کننده مدل امکان بررسی موثر آنها نیز فراهم شود. رویکرد اصلی بر اساس یک همکاری در حین فرآیند گردش داروی مشارکتی در یک مطالعه موردی نشان داده شده است. در این مقاله نتایجی نیز ترسیم شده است و چشم اندازی برای پژوهش های آینده ارائه شده است.
چکیده لاتین
Interoperability analysis is highly correlated with interoperability requirements, the ability to grasp, structure, author and verify such requirements has become fundamental to the analytical process. To this end, requirements must be: (1) properly submitted in a suitable and usable repository; (2) written correctly by stakeholders with relevance to the studied domain; and (3) as easily verifiable as possible on various models of the system for which interoperability capabilities are being requested. The purpose of this article is to present both a structured repository for interoperability requirements and a Domain Specific Language to write and verify interoperability requirements – within a collaborative process model – using formal verification techniques. The interoperability requirements repository, which serves to structure interoperability requirements and make them available, is itself structured through abstraction levels, views and interoperability life cycle dimensions. Additional parameters detailing the requested information and the known impacts of requirements on behavior of the studied system have also been included. The Domain Specific Language provides the means for writing interoperability requirements. Afterwards, these requirements more specifically the temporal requirements are rewritten into properties by transforming the temporal logic TCTL to allow for their effective verification by using the model checker UPPAAL. The overall approach is illustrated in a case study based on a collaborative drug circulation process. The article also draws conclusions and offers an outlook for future research and application efforts
خرید و دانلود ترجمه این مقاله:
جهت خرید این مقاله ابتدا روی لینک زیر کلیک کنید، به صفحه ای وارد می شوید که باید نام و ایمیل خود را وارد کنید و پس از آن روی دکمه خرید و پرداخت کلیک نمایید، پس از پرداخت بلافاصله به سایت بازگشته و می توانید فایل خود را دانلود کنید، همچنین لینک دانلود به ایمیل شما نیز ارسال خواهد شد.
هیچ دیدگاهی برای این مقاله ثبت نشده است
دیدگاه ها