Author: fahland
Date: Tue Feb 10 19:04:18 2009
New Revision: 3858
URL: http://svn.gna.org/viewcvs/service-tech?rev=3858&view=rev
Log:
* Made filtering of processes more precise according to the semantics
implemented in the WebSphere tools, providing a dedicated filtering
parameter for different process characteristics:
* Translation may filter empty processes (`-s empty'),
* processes with pin multiplcities (`-s multi'),
* processes with non-matching pin multiplicities at edges (produce one
token, consume two token, `-s multiNonMatching'),
* processes with overlapping pinsets (`-s overlappingPins'), and
* processes with trivial communication interfaces (`-s
trivialInterface', only applicable if using `--rolecut').
The old parameter `-p filter' remains for backwards compatibility and
implements `-s empty -s overlappingPins'.
* Updated documentation, tests and analysis Makefiles.
Modified:
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/NEWS
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/doc/uml2owfn.texi
trunk/uml2owfn/scripts/Makefile
trunk/uml2owfn/scripts/repository/Makefile
trunk/uml2owfn/src/AST.cc
trunk/uml2owfn/src/UML-public.h
trunk/uml2owfn/src/globals.cc
trunk/uml2owfn/src/globals.h
trunk/uml2owfn/src/internal-representation.cc
trunk/uml2owfn/src/internal-representation.h
trunk/uml2owfn/src/options.cc
trunk/uml2owfn/src/options.h
trunk/uml2owfn/src/uml2owfn.cc
trunk/uml2owfn/tests/compiler_allformats.sh
trunk/uml2owfn/tests/compiler_soundness.sh
--
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.
