Graphical User Interface.....

[Michael Hart-4]

Has anyone used MAUDE with a Graphical User Interface Framework like QT or KDE?

If the answer is no, I would care to try to integrate/interface QT or KDE to MAUDE and would like some guidance from those of you who are more versed in the fundamental operation of MAUDE.

NOTE: I do not want to call MAUDE from a C++ or any other programing language. In my mind that would be like having machine language program calling C++ objects; which seem a## backwards.

The ultimate goal here it to allow MAUDE to become part of the standard tool set used in KDevelop (www.kdevelop.org) and available for more conventional software development such as games, business applications etc... In fact I believe that MAUDE would be an incredible boon to business application development especially in the development of Wall Street type expert systems for trading.

On a personal note; I have waited more than 30 years for a language like MAUDE to come into existence. Touching upon and using many languages throughout those years such as  SMALLTALK,  PROLOG, MECURY, FORTRAN, C++, C, HASKELL, MPL, PASCAL, MODULA, SNOBOL 4, APL, LISP to name a few, believing until I discovered MAUDE about one to two years ago that PROLOG and C++ along with its meta and functional programing (see the boost libraries as a good example of this www.boost.org) was the only way to go to (My personal opinion and 30+ years in the software industry)

In my mind MAUDE is fantastic and natural way to all aspect of software development which I hope will not fall into obscurity or to be used only in the LAB a handful of theorist like so many languages prior.

My resolution in helping MAUDE get more exposure is getting it smack dab into KDE/GNOME Open Source development under the popular QT/KDE Kdevelop system....

So any of great inventors of MAUDE care to offer guidance for  this  effort please do rather that having me stumble arround looking for a way to do what needs to be done.


Thanks
Michael.

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

[Steven Eker]

Hi Michael,

I'm not clear on what you want. I can think of at least 3 different things:

(1) Have a widget toolkit such as QT callable from Maude. The Maude team has
discussed adding i/o facilities including GUI primitives in the past. To
respect Maude's functional sublanguage the correct way to do this is as
external objects, such as the current interface to internet sockets.

(2) Componentizing Maude so it could be a library or collection of libraries
and perhaps fit within some existing component framework such as KDEs KParts;
for example Maudes rewrite engine could become a KPart. The Maude team has
discussed this at various times.

(3) Providing a GUI based environment for using Maude. I believe some progress
has been made in this direction in Spain - perhaps Paco Duran will comment.

Best regards,

Steven Eker

On Tuesday 15 July 2008 13:15, Michael Hart wrote:

> Has anyone used MAUDE with a Graphical User Interface Framework like QT or
> KDE?
>
> If the answer is no, I would care to try to integrate/interface QT or KDE
> to MAUDE and would like some guidance from those of you who are more versed
> in the fundamental operation of MAUDE.
>
> NOTE: I do not want to call MAUDE from a C++ or any other programing
> language. In my mind that would be like having machine language program
> calling C++ objects; which seem a## backwards.
>
> The ultimate goal here it to allow MAUDE to become part of the standard
> tool set used in KDevelop (www.kdevelop.org) and available for more
> conventional software development such as games, business applications
> etc... In fact I believe that MAUDE would be an incredible boon to business
> application development especially in the development of Wall Street type
> expert systems for trading.
>
> On a personal note; I have waited more than 30 years for a language like
> MAUDE to come into existence. Touching upon and using many languages
> throughout those years such as  SMALLTALK,  PROLOG, MECURY, FORTRAN, C++,
> C, HASKELL, MPL, PASCAL, MODULA, SNOBOL 4, APL, LISP to name a few,
> believing until I discovered MAUDE about one to two years ago that PROLOG
> and C++ along with its meta and functional programing (see the boost
> libraries as a good example of this www.boost.org) was the only way to go
> to (My personal opinion and 30+ years in the software industry)
>
> In my mind MAUDE is fantastic and natural way to all aspect of software
> development which I hope will not fall into obscurity or to be used only in
> the LAB a handful of theorist like so many languages prior.
>
> My resolution in helping MAUDE get more exposure is getting it smack dab
> into KDE/GNOME Open Source development under the popular QT/KDE Kdevelop
> system....
>
> So any of great inventors of MAUDE care to offer guidance for  this  effort
> please do rather that having me stumble arround looking for a way to do
> what needs to be done.
>
>
> Thanks
> Michael.

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users