کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6883221 694936 2015 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A model for tracing cross-referenced statement validity
ترجمه فارسی عنوان
یک مدل برای ردیابی روایی بیانیه متقابل است
کلمات کلیدی
قابلیت همکاری، تست سازگاری، اعتبار جهانی، نقطه ثابت،
ترجمه چکیده
بزرگ داده های عصر به ارمغان می آورد همکاری زیرساخت های دیجیتال دیجیتال بر اساس استانداردهای در حال ظهور. با توجه به پیچیدگی و پویایی هر یک از مشخصات، پیاده سازی های مربوطه باید تحت معاینات کافی و روش های اعتبار سنجی انجام شود. تلاش های قابل توجهی برای آزمایش انطباق الزامات فردی، به عنوان مثال، با استفاده از روش های رسمی، نیمه رسمی و غیر رسمی انجام شده است. با این حال، کارهای کمتر انجام شده در ارزیابی کلی ارکستراسیون به منظور اطمینان از اعتبار جهانی اظهارات انطباق انجام شده است. به عنوان مثال، وابستگی های چرخه ای در بین اظهارات انطباق یک سرویس تحت آزمون می تواند نتیجه های نامناسب در نتیجه ارزیابی را به ارمغان بیاورد. در این مطالعه، یک مدل وابستگی مبتنی بر منطق سهگانه و نظریه نقطه ثابت برای رسیدگی به مسائل مربوط به وابستگی در میان اظهارات ارجاعی متقابل ارائه شده است، به طوری که برای ارائه پشتیبانی موثر از همکاری زیرساخت های دیجیتال جهانی.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش مقاله
یک مدل برای ردیابی روایی بیانیه متقابل است
چکیده انگلیسی
Big Data Era brings global digital infrastructure collaboration built on the emerging standards. Given the complexity and dynamics of each specification, corresponding implementations need to undergo sufficient verification and validation procedures. Significant efforts have been invested into conformance testing of individual requirements, for example, by using formal, semi-formal or informal approaches. Less works have been accomplished, however, on the overall orchestration assessment so as to ensure global validity of conformance statements. For example, cyclic dependencies among conformance statements of a service under test may lead to inappropriate conclusions on the assessment outcome. In this study, a dependency model based on three-valued logic and fixed point theory to address dependency issues among cross-referenced statements is presented, so as to provide effective support to global digital infrastructure collaboration.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Standards & Interfaces - Volume 41, September 2015, Pages 10-16
نویسندگان
,