کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
454359 | 695170 | 2009 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reversible enhanced event structures: Towards reversible E-LOTOS
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
After studying how undoing of events of irreversibly aging processes complicates in the presence of urgent events or occasionally suspended subprocesses, we propose a reversibility operator for the standard process-algebraic specification language E-LOTOS, whose recently proposed true-concurrency semantics is based on enhanced event structures (EESs). With this operator, the reversibility of events executed by a real-time process and the urgency of their undoing can be specified with respect to their external appearance and the time elapsed since their execution. To facilitate definition of the operator, we introduce a very fine control of event undoing into the general EESs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Standards & Interfaces - Volume 31, Issue 5, September 2009, Pages 942–947
Journal: Computer Standards & Interfaces - Volume 31, Issue 5, September 2009, Pages 942–947
نویسندگان
M. Kapus-Kolar,