Mr Tiella replied and he's working to get it online soon, probably next
week.
In the meanwhile, we may take a look at a draft version of the documentation
he has uploaded at
http://ed.fbk.eu/fsmcp/1.5-SNAPSHOT/ especially at sections 'getting
started' and 'user manual'.
Best regards, Elisabeth
----- Original Message -----
From: "Rune Flobakk" <[EMAIL PROTECTED]>
To: "Maven Users List" <[email protected]>
Sent: Thursday, July 17, 2008 5:21 PM
Subject: Re: Plugin FSMC+? statecharts to nusmv
I've found out after some googling that the paper was published recently
(in 2007), and is not available for reading unless you subscribe to ACM
http://portal.acm.org/citation.cfm?id=1294338
As far as I can tell, FSMC+ is a tool that *can* be integrated with Maven,
i.e. it can be included in the build of a Maven project using a plugin. It
is not integrated *in* Maven, as in out-of-the-box available when you
install Maven on your machine.
Googling for fsmc maven plugin does not yield any particular results, so
unless it is mentioned anywhere in the paper how you can acquire the
plugin they have made, it may not actually be available. Maybe it's still
at a prototype stage, I really can't tell since I don't have access to the
paper.
I suggest you contact the authors of the paper and ask them about their
plugin. Maybe they need the "push" from someone interested in their work
to do a proper release of the plugin :)
- Rune
[EMAIL PROTECTED] skrev:
I just read in a paper the following about Maven (FSMC+, a Tool for the
Generation of Java Code from Statecharts):
FSMC+ is integrated in Maven [1], a freely available build
tool. The FSMC+ backend, thus can either be invoked from
the command line or integrated in the build process by using
some maven plugins we specifically developed.
I couldn't find anything about nusmv, statecharts or fsmc on the website,
so I just wanted to ask, if it is really available and if yes, how to
start it.
Thank you very much in advance!
Best regards, Elisabeth
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
