کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
396269 666318 2007 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A user-friendly interface to specify temporal properties of concurrent systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
A user-friendly interface to specify temporal properties of concurrent systems
چکیده انگلیسی

In model checking environments, system requirements are usually expressed by means of temporal logic formulas. We propose a user-friendly interface (UFI) with the aim of simplifying the writing of concurrent system properties. The tool is endowed with a graphical interface that supplies a set of patterns from the natural language; the defined patterns constitute a logic (UFL) that is adequate to express the classes of properties usually checked on actual systems. Moreover, UFI is integrated with the CWB-NC tool-kit which is a verification environment based on process algebras and the mu-calculus temporal logic; UFI supports the automatic translation of UFL formulas into mu-calculus formulas and save the translation in the format required by the CWB-NC. Nevertheless, UFI is a flexible tool that can be easily integrated with other environments.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 177, Issue 1, 1 January 2007, Pages 299–311
نویسندگان
, , ,