maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] From Object-oriented module To System one

From: Mihoub Mazouz <mazouz_mihoub AT hotmail.fr>
To: Maude HelpSystem <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] From Object-oriented module To System one
Date: Mon, 6 Jul 2015 19:37:49 +0100
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude supporters, I'm looking for the translation of the two following object-oriented modules to two system modules.

in full-maude
-----------------------------
(mod TASK is
including CONFIGURATION .
including STRING .
class Task | superClassName : String .
endm)
-----------------------------
(mod RECEIVE-TASK is
     including TASK .

     class ReceiveTask .
     subclass ReceiveTask < Task . --- How the subclass relation can be specified within a system module
endm)
-----------------------------

Thank you so much .

[Maude-help] From Object-oriented module To System one, Mihoub Mazouz, 07/06/2015