کمی سازی شباهت سیستم های گذار دارای برچسب غیر بی شباهت
ترجمه نشده

کمی سازی شباهت سیستم های گذار دارای برچسب غیر بی شباهت

عنوان فارسی مقاله: کمی سازی شباهت سیستم های گذار دارای برچسب غیر بی شباهت
عنوان انگلیسی مقاله: Quantifying the similarity of non-bisimilar labelled transition systems
مجله/کنفرانس: علم برنامه نویسی کامپیوتر - Science of Computer Programming
رشته های تحصیلی مرتبط: مهندسی کامپیوتر
گرایش های تحصیلی مرتبط: مهندسی الگوریتم ها و محاسبات، مهندسی نرم افزار
کلمات کلیدی فارسی: بررسی معادل، سیستم های گذار برچسب دار، اندازه گیری تشابه، اینترنت اشیا، تطبیق فرآیند
کلمات کلیدی انگلیسی: Equivalence checking - Labelled transition systems - Similarity measure - Internet of things - Process matching
نوع نگارش مقاله: مقاله پژوهشی (Research Article)
نمایه: scopus - master journals - JCR
شناسه دیجیتال (DOI): https://doi.org/10.1016/j.scico.2020.102580
دانشگاه: University Grenoble Alpes, CNRS, Grenoble INP, Inria, France
ناشر: الزویر - Elsevier
نوع ارائه مقاله: ژورنال
نوع مقاله: ISI
سال انتشار مقاله: 2021
ایمپکت فاکتور: 1.738 در سال 2020
شاخص H_index: 62 در سال 2021
شاخص SJR: 0.366 در سال 2020
شناسه ISSN: 0167-6423
شاخص Quartile (چارک): Q3 در سال 2020
فرمت مقاله انگلیسی: PDF
تعداد صفحات مقاله انگلیسی: 12
وضعیت ترجمه: ترجمه نشده است
قیمت مقاله انگلیسی: رایگان
آیا این مقاله بیس است: خیر
آیا این مقاله مدل مفهومی دارد: ندارد
آیا این مقاله پرسشنامه دارد: ندارد
آیا این مقاله متغیر دارد: ندارد
کد محصول: E15285
رفرنس: دارای رفرنس در داخل متن و انتهای مقاله
ترجمه فارسی فهرست مطالب

نکات برجسته


خلاصه


کلید واژه ها


1. مقدمه


2. سیستم های گذار دارای برچسب


3. مقایسه حالات غیر بی شباهت


4. برنامه های کاربردی


5. کارهای مرتبط


6. سخنان پاياني


بیانیه مشارکت نویسندگی CRediT


اعلامیه منافع رقابتی


سپاسگزاریها


منابع

فهرست انگلیسی مطالب

Highlights


Abstract


Keywords


1. Introduction


2. Labelled transition systems


3. Comparing non-bisimilar states


4. Applications


5. Related work


6. Concluding remarks


CRediT authorship contribution statement


Declaration of Competing Interest


Acknowledgements


References

نمونه متن انگلیسی مقاله

Abstract


Equivalence checking is an established technique for automatically verifying that two behavioural models (Labelled Transition Systems, LTSs) are equivalent from the point of view of an external observer. When these models are not equivalent, the checker returns a Boolean result with a counterexample, which is a sequence of actions leading to a state where the equivalence relation is not satisfied. However, this counterexample does not give any indication of how far the two LTSs are one from another. One can wonder whether they are almost identical or totally different, which is quite different from a design or debugging point of view. In this paper, we present an approach for measuring the similarity between two LTS models. The set of metrics is computed automatically using a tool we implemented. Beyond presenting the foundations of the proposed solution, we will show how it can be applied to two concrete application domains for supporting the construction of IoT applications on the one hand and for contributing to the process model matching problem on the other.


1. Introduction


Designing and developing distributed software has always been a tedious and error-prone task, and the ever increasing software complexity is making matters even worse. Although we are still far from proposing techniques and tools avoiding the existence of bugs in a software under development, we know how to automatically chase and find bugs that would be very difficult, if not impossible, to detect manually.


Model checking [1] is an established technique for automatically verifying that a model (Labelled Transition System, LTS), obtained from higher-level specification languages such as process algebra, satisfies a given temporal property. Equivalence checking [16] is an alternative solution to model checking and is very helpful to check that two models (requirements and implementation for instance) are equivalent from the point of view of an external observer. When these models are not equivalent, the checker returns a Boolean result with a counterexample, which is a sequence of actions leading to a state where the equivalence relation is not satisfied. However, this counterexample does not give any indication of how far the two LTSs are one from another. One can wonder whether they are almost identical or totally different, which is quite different from a design or debugging point of view

  • اشتراک گذاری در

دیدگاه خود را بنویسید:

تاکنون دیدگاهی برای این نوشته ارسال نشده است

کمی سازی شباهت سیستم های گذار دارای برچسب غیر بی شباهت
نوشته های مرتبط
مقالات جدید
نماد اعتماد الکترونیکی
پیوندها