Author: fahland
Date: Tue Dec 2 18:02:33 2008
New Revision: 3650
URL: http://svn.gna.org/viewcvs/service-tech?rev=3650&view=rev
Log:
+ integrated methods for generating nets for soundness analysis
+ integrated functionality for all parameters of UML2oWFN v1.X
+ fixed a bug in the removal of unconnected pins (which could create unbounded
nets)
+ fixed a bug in the filtering of processes (pinsets were not defined for
additional pins)
+ fixed a bug in the collection of filtering roles when no roles are given on
the command-line (filtering role sets are now reset for every process)
+ added generation of FINALCONDITION for oWFN output
+ changed oWFN output to use full node names instead of short node names
+ fixed a bug in the anonymization of nets
+ extended the translation log file which now distinguishes properties of UML
processes and of the Petri nets
+ some minor restructuring in the header files to reduce dependences between
the different source files (XXX-public.h header files include the necessary
declarations that must be present to use a class while XXX.h header files
contain the class-specific declarations)
Added:
branches/uml2owfn_frontend/uml2owfn/src/AST-public.h
branches/uml2owfn_frontend/uml2owfn/src/UML-public.h
Modified:
branches/uml2owfn_frontend/uml2owfn/src/AST.cc
branches/uml2owfn_frontend/uml2owfn/src/AST.h
branches/uml2owfn_frontend/uml2owfn/src/Makefile.am
branches/uml2owfn_frontend/uml2owfn/src/globals.cc
branches/uml2owfn_frontend/uml2owfn/src/globals.h
branches/uml2owfn_frontend/uml2owfn/src/helpers.cc
branches/uml2owfn_frontend/uml2owfn/src/helpers.h
branches/uml2owfn_frontend/uml2owfn/src/internal-representation.cc
branches/uml2owfn_frontend/uml2owfn/src/internal-representation.h
branches/uml2owfn_frontend/uml2owfn/src/options.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet-output.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet-workflow.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet-workflow.h
branches/uml2owfn_frontend/uml2owfn/src/petrinet.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet.h
branches/uml2owfn_frontend/uml2owfn/src/uml2owfn-io.cc
branches/uml2owfn_frontend/uml2owfn/src/uml2owfn-io.h
branches/uml2owfn_frontend/uml2owfn/src/uml2owfn.cc
branches/uml2owfn_frontend/uml2owfn/tests/Makefile.am
--
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.
