No, for now I'm writing them by hand... There was no tool that was good enough to create the Qt-integrated SCXML files.
No'am ________________________________________ From: ext Antonio Cano Gómez [antonio.cano.go...@ovi.com] Sent: Friday, October 22, 2010 12:31 PM To: Rosenthal Noam (Nokia-MS-Qt/RedwoodCity) Cc: qt-creator@trolltech.com Subject: Re: RE: [Qt-creator] qt-scxml proyect Hi, I forgot to ask. Are you using some scxml editor to generate the scxml files. Thanks again for all, A. Cano ----- Mensaje original ----- De: noam.rosent...@nokia.com Para: antonio.cano.go...@ovi.com CC: qt-creator@trolltech.com Asunto: RE: [Qt-creator] qt-scxml proyect Fecha: Thu, 21 Oct 2010 12:16:29 +0300 RE: [Qt-creator] qt-scxml proyect Hi Antonio Yes, adding a cloned repo or a branch to qt-labs/scxml would be the way to go and is the best way to get involved in its future. Saving an SCXML file from an existing state machine would be a worthy addition. The main thing we're looking to add right now is a creator plug-in that will visualize SCXML files as visual statecharts and will integrate them into an exiting Qt application, whether through QML or through QtDesigner. To your second question, the state machine framework is becoming pretty popular in car UIs - where the flow of the application has to be "bullet proof" - and in mobile applications that use speech. Also in applications that use the animation framework in C++ (not QML), and we have several customers that use it for things like test automations and controlling a printing system. I myself use state machines for every application I write that has more than a couple of screens. Good luck, No'am ________________________________________ From: ext Antonio Cano Gómez [antonio.cano.go...@ovi.com] Sent: Thursday, October 21, 2010 11:06 AM To: Rosenthal Noam (Nokia-MS-Qt/RedwoodCity) Cc: qt-creator@trolltech.com Subject: Re: RE: [Qt-creator] qt-scxml proyect Hi Noam, Thanks you very much for your answer. I have taken a look to http://qt.gitorious.org/qt-labs/scxml. I am interested in extending Qt State Machine Framework in several ways. (Mainly in my interest for model checking). One of these ways is to add the option of saving a scxml file, from a given QStateMachine. I will do it by my self and some students. Would be nice to have some connection with you just for knowing if you are making some progress or if something of what we are doing could be useful for you. For that purpose, should I just work on http://qt.gitorious.org/qt-labs/scxml and add some branch to it? On the other hand, do you know some "BIG" program where State Machine Framework is used, and in which the well design of the state machine is really important for the behaviour of the program? (the biggest I know is sub-attaq, provided in Qt-Creator) Thank you very much for your time, Best Regards, A. Cano ----- Mensaje original ----- De: noam.rosent...@nokia.com Para: antonio.cano.go...@ovi.com CC: qt-creator@trolltech.com Asunto: RE: [Qt-creator] qt-scxml proyect Fecha: Wed, 20 Oct 2010 09:31:45 +0300 RE: [Qt-creator] qt-scxml proyect Hi Antonio The Qt SCXML project is alive in the sense that it works and several people use it, including inside Nokia, but we're not putting much development on it; How could I be of assistance? No'am -------- Original Message -------- Subject: [Qt-creator] qt-scxml proyect Date: Tue, 19 Oct 2010 11:03:54 +0200 From: ext Antonio Cano Gómez Reply-To: qt-creator@trolltech.com To: qt-creator@trolltech.com Hi, I am professor at the university and I am interested in apply model checking to the Qt-State Machine Framework. For that purpouse, I would be very interested in knowing if the qt-scxml proyect is still alive and, if possible, to have some contact with person in that proyect. Someone could help me, please. Thanks, A. Cano -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com http://lists.trolltech.com/mailman/listinfo/qt-creator -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com http://lists.trolltech.com/mailman/listinfo/qt-creator
