Author: fahland Date: Fri May 30 17:58:50 2008 New Revision: 70 URL: http://svn.gna.org/viewcvs/service-tech?rev=70&view=rev Log: major update of UML2oWFN.soundness
merged functionality of rev.65-69 of the trunk http://svn.gna.org/viewcvs/service-tech?rev=69&view=rev http://svn.gna.org/viewcvs/service-tech?rev=68&view=rev http://svn.gna.org/viewcvs/service-tech?view=rev&rev=66 http://svn.gna.org/viewcvs/service-tech?view=rev&rev=65 changes: - dot-output colors nodes according to their origin in BOM - translation from BOM to PN now implements the complete task pattern (bug in rev.69) and links process input pinsets and output pinsets - added class BomProcess (bom-process.cc .h) as an internal representation of the process, the class currently only stores some sets of places and transitions. The sets are used when modifying the Petri net for soundness analysis - changed parameters: - added analysis parameter [-a (soundness|stop)]; - "-a soundness" is equivalent to -p soundness in earlier revisions, - by "-a stop", the translation for soundness distinguishes stop-nodes and end-nodes, with "-a stop" a state predicate is needed for checking soundness (corresponding lola files and scripts are generated), without "-a stop" a deadlock analysis is sufficient (corresponding lola files and scripts are generated) Added: trunk/uml2owfn_soundness2/src/bom-process.cc trunk/uml2owfn_soundness2/src/bom-process.h Modified: trunk/uml2owfn_soundness2/src/Makefile.am trunk/uml2owfn_soundness2/src/block.cc trunk/uml2owfn_soundness2/src/block.h trunk/uml2owfn_soundness2/src/frontend-parser.yy 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-formula.cc trunk/uml2owfn_soundness2/src/petrinet-output.cc trunk/uml2owfn_soundness2/src/petrinet-reduction.cc trunk/uml2owfn_soundness2/src/petrinet.cc trunk/uml2owfn_soundness2/src/petrinet.h trunk/uml2owfn_soundness2/src/uml2owfn.cc trunk/uml2owfn_soundness2/tests/compiler/TestSuite.txt trunk/uml2owfn_soundness2/tests/compiler/TestSuite.xml _______________________________________________ Service-tech-commits mailing list [email protected] https://mail.gna.org/listinfo/service-tech-commits
