I have tried to build scxml from git but it no luck. The current snapshot is not buildalble, or maybe there some dependencies I'm not aware of.
Another example for an application that may use finite state machine is mediaplayer, but it is rather small. Besides, there are billing systems and finite state machines can be used there. (Sorry for answering this question, because you asked not me) 2010/10/21 "Antonio Cano Gómez" <[email protected]> > 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: [email protected] > Para: [email protected] > CC: [email protected] > 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: [email protected] > To: [email protected] > > > > 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 > [email protected] > http://lists.trolltech.com/mailman/listinfo/qt-creator > > > > > -------------------------------------------------------------- > Ovi Mail: Making email access easy > http://mail.ovi.com > > > _______________________________________________ > Qt-creator mailing list > [email protected] > http://lists.trolltech.com/mailman/listinfo/qt-creator >
_______________________________________________ Qt-creator mailing list [email protected] http://lists.trolltech.com/mailman/listinfo/qt-creator
