Author: fahland
Date: Wed Aug 6 15:45:10 2008
New Revision: 3230
URL: http://svn.gna.org/viewcvs/service-tech?rev=3230&view=rev
Log:
+ extended filtering criteria: empty processes are not translated
+ added library translation scripts with concatenation of translation
logs to ./scripts/
+ added library verification scripts of Niels to ./scripts/
+ fixed bug #12156: UML2oWFN: translation of overlapping pinsets fails,
<https://gna.org/bugs/?12156>
+ added log file output for translation, with parameter "-p log" a log
file (name "uml2owfn_<inputfile>.log") with entries of the form
<process-name>;<translated>;<reason-for-fail>" is written
+ changed lola executable file names (in the generated script) to
"lola-dl" for deadlock analysis and
"lola-mc" for modelchecking (soundness)
+ added check whether generated Petri net is empty, if this is the case,
then the net is translated again without reduction rules, the name is
extended with a ".unreduced" (if it is still emtpy, then the net is
skipped: no net file, no analysis, not in script file)
Added:
trunk/uml2owfn_soundness2/scripts/
trunk/uml2owfn_soundness2/scripts/createwikipage.sh
trunk/uml2owfn_soundness2/scripts/createwikipage_dl.sh
trunk/uml2owfn_soundness2/scripts/translate-library.sh
trunk/uml2owfn_soundness2/scripts/translate.sh
Modified:
trunk/uml2owfn_soundness2/ChangeLog
trunk/uml2owfn_soundness2/src/block.cc
trunk/uml2owfn_soundness2/src/block.h
trunk/uml2owfn_soundness2/src/globals.cc
trunk/uml2owfn_soundness2/src/globals.h
trunk/uml2owfn_soundness2/src/options.cc
trunk/uml2owfn_soundness2/src/options.h
trunk/uml2owfn_soundness2/src/petrinet.cc
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.
