Author: fahland
Date: Thu Aug 7 15:47:46 2008
New Revision: 3232
URL: http://svn.gna.org/viewcvs/service-tech?rev=3232&view=rev
Log:
+ added documentation in ./doc/
+ added analysis scripts (by Niels)
+ modified soundness analysis scheme: the parameter combination "-a soundness
-a deadlocks" tries to generate Petri nets for a deadlock based soundness
analysis of the library. In case a net is a freechoice-workflow net, this is
possible, in any other case a reachability analysis of the set of final
markings must be done by CTL-model checking. For each case the corresponding
net and analysis task is created.
+ added checks for free-choice nets and for workflow-nets (each node is on a
path from alpha to omega); this additional Petri net functionality is
implemented in the class ExtendedWorkflowNet which inherits from PetriNet
Added:
trunk/uml2owfn_soundness2/doc/
trunk/uml2owfn_soundness2/doc/Makefile.am
trunk/uml2owfn_soundness2/doc/texinfo.tex
trunk/uml2owfn_soundness2/doc/uml2owfn.texi
trunk/uml2owfn_soundness2/scripts/niels-analysis.sh
trunk/uml2owfn_soundness2/scripts/niels-full.sh
trunk/uml2owfn_soundness2/src/petrinet-workflow.cc
trunk/uml2owfn_soundness2/src/petrinet-workflow.h
Modified:
trunk/uml2owfn_soundness2/ChangeLog
trunk/uml2owfn_soundness2/Makefile.am
trunk/uml2owfn_soundness2/README
trunk/uml2owfn_soundness2/configure.ac
trunk/uml2owfn_soundness2/scripts/translate-library.sh
trunk/uml2owfn_soundness2/src/Makefile.am
trunk/uml2owfn_soundness2/src/block.cc
trunk/uml2owfn_soundness2/src/block.h
trunk/uml2owfn_soundness2/src/petrinet-reduction.cc
trunk/uml2owfn_soundness2/src/petrinet.h
trunk/uml2owfn_soundness2/src/pnapi.h
trunk/uml2owfn_soundness2/src/uml2owfn.cc
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to [EMAIL
PROTECTED] If you want to unsubscribe or make any changes to your subscription,
please go to
https://mail.gna.org/listinfo/service-tech-commits.
