Modelling real-time systems using timed rewriting logic
Other Title(s)
تمثيل أنظمة الوقت الحقيقي باستخدام إعادة كتابة المنطق المؤقت
Author
Source
Zarka Journal for Research and Studies
Issue
Vol. 4, Issue 2 (31 Dec. 2002), pp.37-53, 17 p.
Publisher
Zarka Private University Deanship of Scientific Research and Graduate Studies
Publication Date
2002-12-31
Country of Publication
Jordan
No. of Pages
17
Main Subjects
Information Technology and Computer Science
Topics
Abstract AR
لقد أصبحت معظم الأجهزة و الأنظمة المعلوماتية الحديثة حساسة و زمنية و موزعة على أقطار متباعدة و خاضعة لبرنامج موحد حيث يقوم بتسييرها عن بعد.
يتمتع هذا الأخير بديناميكية التسارع المتوازي و الزمن الحقيقي الذي يعطي له تميزا خاصا و حساسا جدا. يهدف هذا البحث لتوضيح القوة النظرية و التطبيقية لخصوصية خوارزمية لمنطق إعادة كتابة الكلمات لــ : Meseguer. لقد استطعنا من خلال هذا العمل تقوية نظرية زمرة قواعد منطق إعادة كتابة الكلمات (Rewriting Logic) بمعامل الزمن (Time) و تطبيقه على مثال تقاطع سكة حديدية مع طريق عادي لنبرهن على جملة الحقائق للتسيير الحسن لتلك الأنظمة الخاضعة للزمن الحقيقي.
Abstract EN
Real-Time systems are dynamic and generic systems that are able to modify their own states during time Typical examples of real time systems are processes, concurrent, reactive and distributed systems.
The goal of this paper is to provide a semantic for time aspects using Mesezuer's rewriting logic in term of SRI's Maude as higher specifying language for the specification of object-oriented and concurrent systems.
We address the formal specification of a simple train crossing-gate system using Timed- Maude as extended language to Maude.
We show that temporal logic is easy apprehended using timed rewriting logic
American Psychological Association (APA)
Rabayiah, Muhammad. 2002. Modelling real-time systems using timed rewriting logic. Zarka Journal for Research and Studies،Vol. 4, no. 2, pp.37-53.
https://search.emarefa.net/detail/BIM-30915
Modern Language Association (MLA)
Rabayiah, Muhammad. Modelling real-time systems using timed rewriting logic. Zarka Journal for Research and Studies Vol. 4, no. 2 (Dec. 2002), pp.37-53.
https://search.emarefa.net/detail/BIM-30915
American Medical Association (AMA)
Rabayiah, Muhammad. Modelling real-time systems using timed rewriting logic. Zarka Journal for Research and Studies. 2002. Vol. 4, no. 2, pp.37-53.
https://search.emarefa.net/detail/BIM-30915
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 50-52
Record ID
BIM-30915