Improving Model Checking with Context Modelling
المؤلفون المشاركون
Dhaussy, Philippe
Boniol, Frédéric
Leroux, Luka
Roger, Jean-Charles
المصدر
Advances in Software Engineering
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-09-24
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
الملخص EN
This paper deals with the problem of the usage of formal techniques, based on model checking, where models are large and formal verification techniques face the combinatorial explosion issue.
The goal of the approach is to express and verify requirements relative to certain context situations.
The idea is to unroll the context into several scenarios and successively compose each scenario with the system and verify the resulting composition.
We propose to specify the context in which the behavior occurs using a language called CDL (Context Description Language), based on activity and message sequence diagrams.
The properties to be verified are specified with textual patterns and attached to specific regions in the context.
The central idea is to automatically split each identified context into a set of smaller subcontexts and to compose them with the model to be validated.
For that, we have implemented a recursive splitting algorithm in our toolset OBP (Observer-based Prover).
This paper shows how this combinatorial explosion could be reduced by specifying the environment of the system to be validated.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Dhaussy, Philippe& Boniol, Frédéric& Roger, Jean-Charles& Leroux, Luka. 2012. Improving Model Checking with Context Modelling. Advances in Software Engineering،Vol. 2012, no. 2012, pp.1-13.
https://search.emarefa.net/detail/BIM-480433
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Dhaussy, Philippe…[et al.]. Improving Model Checking with Context Modelling. Advances in Software Engineering No. 2012 (2012), pp.1-13.
https://search.emarefa.net/detail/BIM-480433
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Dhaussy, Philippe& Boniol, Frédéric& Roger, Jean-Charles& Leroux, Luka. Improving Model Checking with Context Modelling. Advances in Software Engineering. 2012. Vol. 2012, no. 2012, pp.1-13.
https://search.emarefa.net/detail/BIM-480433
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-480433
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر