You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@maven.apache.org by wo...@in.tum.de on 2008/07/16 17:16:07 UTC
Plugin FSMC+? statecharts to nusmv
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: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: Plugin FSMC+? statecharts to nusmv
Posted by Elisabeth Wolf <wo...@in.tum.de>.
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" <rf...@online.no>
To: "Maven Users List" <us...@maven.apache.org>
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
>
> wolfe@in.tum.de 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: users-unsubscribe@maven.apache.org
>> For additional commands, e-mail: users-help@maven.apache.org
>>
>>
>>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
> For additional commands, e-mail: users-help@maven.apache.org
>
>
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: Plugin FSMC+? statecharts to nusmv
Posted by Rune Flobakk <rf...@online.no>.
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
wolfe@in.tum.de 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: users-unsubscribe@maven.apache.org
> For additional commands, e-mail: users-help@maven.apache.org
>
>
>
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org