عرض بسيط للتسجيلة

المؤلفRebaiaia, Mohamed Larbi
المؤلفJaam, Jihad Mohamad
المؤلفBenmohamed, Mohamed
المؤلفHasnah, Ahmad
تاريخ الإتاحة2024-03-20T01:55:09Z
تاريخ النشر2003
اسم المنشورProceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
المصدرScopus
معرّف المصادر الموحدhttp://hdl.handle.net/10576/53284
الملخصMaude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model of computation and a state-of-the-art formal method in the field of algebraic specification and concurrency modeling. In this paper we show that reactive systems can easily be prototyped using Maude language. A computation and deduction scheme will be presented to prove the feasibility of rewriting logic to deal with verification systems. Experimental results are obtained from the application of the developed tool to an e-business procedure based on an IEC (International Electrotechnical Commission) standard 625-1 1979 interface protocol for programmable measuring instruments.
اللغةen
الناشرIEEE
الموضوعE-commerce
Rewriting logic
Simulation
Temporal logic
Verification
العنوانA rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
النوعConference Paper
الصفحات573-579
رقم المجلد2
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة