I'm sorry I was wrong about git snapshot. The scc is compiled successfully, the build failed when compiling examples.
2010/10/22 "Antonio Cano Gómez" <antonio.cano.go...@ovi.com> > 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 >
_______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com http://lists.trolltech.com/mailman/listinfo/qt-creator