Author: niels
Date: Wed Oct 14 11:27:59 2009
New Revision: 4822
URL: http://svn.gna.org/viewcvs/service-tech?rev=4822&view=rev
Log:
------------------------------------------------------------------------
r39 | fahland | 2009-10-12 08:59:54 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
A /trunk/uml2owfn/libs
A /trunk/uml2owfn/libs/pnapi
A /trunk/uml2owfn/libs/pnapi/Makefile.am
A /trunk/uml2owfn/libs/pnapi/Output.cc
A /trunk/uml2owfn/libs/pnapi/Output.h
A /trunk/uml2owfn/libs/pnapi/automaton.cc
A /trunk/uml2owfn/libs/pnapi/automaton.h
A /trunk/uml2owfn/libs/pnapi/component.cc
A /trunk/uml2owfn/libs/pnapi/component.h
A /trunk/uml2owfn/libs/pnapi/condition.cc
A /trunk/uml2owfn/libs/pnapi/condition.h
A /trunk/uml2owfn/libs/pnapi/errorhandling.cc
A /trunk/uml2owfn/libs/pnapi/formula.cc
A /trunk/uml2owfn/libs/pnapi/formula.h
A /trunk/uml2owfn/libs/pnapi/io-format.cc
A /trunk/uml2owfn/libs/pnapi/link.cc
A /trunk/uml2owfn/libs/pnapi/link.h
A /trunk/uml2owfn/libs/pnapi/marking.cc
A /trunk/uml2owfn/libs/pnapi/marking.h
A /trunk/uml2owfn/libs/pnapi/myio.cc
A /trunk/uml2owfn/libs/pnapi/myio.h
A /trunk/uml2owfn/libs/pnapi/parser-lola-lexer.ll
A /trunk/uml2owfn/libs/pnapi/parser-lola.yy
A /trunk/uml2owfn/libs/pnapi/parser-onwd-lexer.ll
A /trunk/uml2owfn/libs/pnapi/parser-onwd.yy
A /trunk/uml2owfn/libs/pnapi/parser-owfn-lexer.ll
A /trunk/uml2owfn/libs/pnapi/parser-owfn.yy
A /trunk/uml2owfn/libs/pnapi/parser-petrify-lexer.ll
A /trunk/uml2owfn/libs/pnapi/parser-petrify.yy
A /trunk/uml2owfn/libs/pnapi/parser-sa-lexer.ll
A /trunk/uml2owfn/libs/pnapi/parser-sa.yy
A /trunk/uml2owfn/libs/pnapi/parser.cc
A /trunk/uml2owfn/libs/pnapi/parser.h
A /trunk/uml2owfn/libs/pnapi/petrinet-petrify.cc
A /trunk/uml2owfn/libs/pnapi/petrinet-petrify.h
A /trunk/uml2owfn/libs/pnapi/petrinet-reduction.cc
A /trunk/uml2owfn/libs/pnapi/petrinet.cc
A /trunk/uml2owfn/libs/pnapi/petrinet.h
A /trunk/uml2owfn/libs/pnapi/pnapi.h
A /trunk/uml2owfn/libs/pnapi/state.cc
A /trunk/uml2owfn/libs/pnapi/state.h
A /trunk/uml2owfn/libs/pnapi/util.cc
A /trunk/uml2owfn/libs/pnapi/util.h
+ adding new PNAPI (version Marlene 1.2-unreleased, 2009-10-09)
------------------------------------------------------------------------
r61 | fahland | 2009-10-12 16:22:56 +0200 (Mo, 12 Okt 2009) | 4 lines
Changed paths:
M /trunk/uml2owfn/libs/pnapi/component.cc
M /trunk/uml2owfn/libs/pnapi/component.h
M /trunk/uml2owfn/libs/pnapi/io-format.cc
M /trunk/uml2owfn/libs/pnapi/myio.cc
M /trunk/uml2owfn/libs/pnapi/myio.h
M /trunk/uml2owfn/libs/pnapi/petrinet.h
+ extended PNAPI with the following functionality
+ added setName() method to nodes
+ added roles() to nodes
+ added Woflan file output support
------------------------------------------------------------------------
r62 | fahland | 2009-10-12 16:27:32 +0200 (Mo, 12 Okt 2009) | 5 lines
Changed paths:
M /trunk/uml2owfn/AUTHORS
M /trunk/uml2owfn/COPYING
M /trunk/uml2owfn/ChangeLog
M /trunk/uml2owfn/Makefile.am
M /trunk/uml2owfn/NEWS
M /trunk/uml2owfn/README
A /trunk/uml2owfn/REQUIREMENTS
A /trunk/uml2owfn/THANKS
A /trunk/uml2owfn/THEORY
M /trunk/uml2owfn/configure.ac
M /trunk/uml2owfn/doc/ChangeLog.texi
M /trunk/uml2owfn/doc/uml2owfn.texi
D /trunk/uml2owfn/lola/Makefile.am
A /trunk/uml2owfn/lola/userconfig.H.bpm-liveprop1
A /trunk/uml2owfn/lola/userconfig.H.bpm-modelchecking1
A /trunk/uml2owfn/lola/userconfig.H.bpm-statepredicate1
D /trunk/uml2owfn/lola/userconfig.H.full-limited
D /trunk/uml2owfn/lola/userconfig.H.liveprop
D /trunk/uml2owfn/lola/userconfig.H.modelchecking
D /trunk/uml2owfn/lola/userconfig.H.statepredicate
M /trunk/uml2owfn/scripts/Makefile
M /trunk/uml2owfn/src/AST-public.h
M /trunk/uml2owfn/src/AST.cc
M /trunk/uml2owfn/src/AST.h
M /trunk/uml2owfn/src/Makefile.am
M /trunk/uml2owfn/src/UML-public.h
M /trunk/uml2owfn/src/colorconsole.h
M /trunk/uml2owfn/src/debug.cc
M /trunk/uml2owfn/src/debug.h
M /trunk/uml2owfn/src/frontend-lexer.ll
M /trunk/uml2owfn/src/frontend-parser.yy
M /trunk/uml2owfn/src/globals.cc
M /trunk/uml2owfn/src/globals.h
M /trunk/uml2owfn/src/helpers.cc
M /trunk/uml2owfn/src/helpers.h
M /trunk/uml2owfn/src/internal-representation.cc
M /trunk/uml2owfn/src/internal-representation.h
M /trunk/uml2owfn/src/options.cc
M /trunk/uml2owfn/src/options.h
M /trunk/uml2owfn/src/petrinet-formula.cc
M /trunk/uml2owfn/src/petrinet-formula.h
D /trunk/uml2owfn/src/petrinet-output.cc
D /trunk/uml2owfn/src/petrinet-reduction.cc
M /trunk/uml2owfn/src/petrinet-workflow.cc
M /trunk/uml2owfn/src/petrinet-workflow.h
D /trunk/uml2owfn/src/petrinet.cc
D /trunk/uml2owfn/src/petrinet.h
D /trunk/uml2owfn/src/pnapi.h
M /trunk/uml2owfn/src/uml2owfn-io.cc
M /trunk/uml2owfn/src/uml2owfn-io.h
M /trunk/uml2owfn/src/uml2owfn.cc
M /trunk/uml2owfn/tests/compiler_allformats.sh
M /trunk/uml2owfn/tests/compiler_soundness.sh
* Migrated UML2oWFN to the new Petri net API. The included PNAPI slightly
deviates from the original API, see SVN repository for details.
* Dropped support for several file formats. The currently supported file
formats are .lola, .owfn, .dot, and .tpn (Woflan)
* Changed the filenames of the LoLA binaries for soundness analysis to
`lola-bpm-liveprop1' and `lola-bpm-statepredicate1'
------------------------------------------------------------------------
r63 | fahland | 2009-10-12 16:57:45 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/uml2owfn/ChangeLog
M /trunk/uml2owfn/NEWS
M /trunk/uml2owfn/doc/ChangeLog.texi
M /trunk/uml2owfn/src/debug.cc
M /trunk/uml2owfn/src/options.cc
M /trunk/uml2owfn/src/petrinet-formula.cc
M /trunk/uml2owfn/src/petrinet-workflow.cc
M /trunk/uml2owfn/src/petrinet-workflow.h
M /trunk/uml2owfn/src/uml2owfn-io.cc
- Role cutting functionality has been disabled.
* minor changes to reduce compiler warnings
------------------------------------------------------------------------
r64 | fahland | 2009-10-12 17:17:29 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/uml2owfn/THEORY
M /trunk/uml2owfn/src/AST.cc
M /trunk/uml2owfn/src/AST.h
M /trunk/uml2owfn/src/internal-representation.cc
* added references to theory
* intializing all members (CPP check)
------------------------------------------------------------------------
r66 | fahland | 2009-10-12 17:43:02 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/uml2owfn/libs/pnapi/io-format.cc
M /trunk/uml2owfn/libs/pnapi/myio.cc
M /trunk/uml2owfn/libs/pnapi/myio.h
M /trunk/uml2owfn/libs/pnapi/petrinet.h
* marked all changes for Woflan support
* all changes to this copy of the PNAPI are marked with // <Dirk.F>
Added:
trunk/uml2owfn/REQUIREMENTS
trunk/uml2owfn/THANKS
trunk/uml2owfn/THEORY
trunk/uml2owfn/libs/
trunk/uml2owfn/libs/pnapi/
trunk/uml2owfn/libs/pnapi/Makefile.am
trunk/uml2owfn/libs/pnapi/Output.cc
trunk/uml2owfn/libs/pnapi/Output.h
trunk/uml2owfn/libs/pnapi/automaton.cc
trunk/uml2owfn/libs/pnapi/automaton.h
trunk/uml2owfn/libs/pnapi/component.cc
trunk/uml2owfn/libs/pnapi/component.h
trunk/uml2owfn/libs/pnapi/condition.cc
trunk/uml2owfn/libs/pnapi/condition.h
trunk/uml2owfn/libs/pnapi/errorhandling.cc
trunk/uml2owfn/libs/pnapi/formula.cc
trunk/uml2owfn/libs/pnapi/formula.h
trunk/uml2owfn/libs/pnapi/io-format.cc
trunk/uml2owfn/libs/pnapi/link.cc
trunk/uml2owfn/libs/pnapi/link.h
trunk/uml2owfn/libs/pnapi/marking.cc
trunk/uml2owfn/libs/pnapi/marking.h
trunk/uml2owfn/libs/pnapi/myio.cc
trunk/uml2owfn/libs/pnapi/myio.h
trunk/uml2owfn/libs/pnapi/parser-lola-lexer.ll
trunk/uml2owfn/libs/pnapi/parser-lola.yy
trunk/uml2owfn/libs/pnapi/parser-onwd-lexer.ll
trunk/uml2owfn/libs/pnapi/parser-onwd.yy
trunk/uml2owfn/libs/pnapi/parser-owfn-lexer.ll
trunk/uml2owfn/libs/pnapi/parser-owfn.yy
trunk/uml2owfn/libs/pnapi/parser-petrify-lexer.ll
trunk/uml2owfn/libs/pnapi/parser-petrify.yy
trunk/uml2owfn/libs/pnapi/parser-sa-lexer.ll
trunk/uml2owfn/libs/pnapi/parser-sa.yy
trunk/uml2owfn/libs/pnapi/parser.cc
trunk/uml2owfn/libs/pnapi/parser.h
trunk/uml2owfn/libs/pnapi/petrinet-petrify.cc
trunk/uml2owfn/libs/pnapi/petrinet-petrify.h
trunk/uml2owfn/libs/pnapi/petrinet-reduction.cc
trunk/uml2owfn/libs/pnapi/petrinet.cc
trunk/uml2owfn/libs/pnapi/petrinet.h
trunk/uml2owfn/libs/pnapi/pnapi.h
trunk/uml2owfn/libs/pnapi/state.cc
trunk/uml2owfn/libs/pnapi/state.h
trunk/uml2owfn/libs/pnapi/util.cc
trunk/uml2owfn/libs/pnapi/util.h
trunk/uml2owfn/lola/userconfig.H.bpm-liveprop1
trunk/uml2owfn/lola/userconfig.H.bpm-modelchecking1
trunk/uml2owfn/lola/userconfig.H.bpm-statepredicate1
Modified:
trunk/uml2owfn/AUTHORS
trunk/uml2owfn/COPYING
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/Makefile.am
trunk/uml2owfn/NEWS
trunk/uml2owfn/README
trunk/uml2owfn/configure.ac
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/doc/uml2owfn.texi
trunk/uml2owfn/lola/Makefile.am
trunk/uml2owfn/lola/userconfig.H.full-limited
trunk/uml2owfn/lola/userconfig.H.liveprop
trunk/uml2owfn/lola/userconfig.H.modelchecking
trunk/uml2owfn/lola/userconfig.H.statepredicate
trunk/uml2owfn/scripts/Makefile
trunk/uml2owfn/src/AST-public.h
trunk/uml2owfn/src/AST.cc
trunk/uml2owfn/src/AST.h
trunk/uml2owfn/src/Makefile.am
trunk/uml2owfn/src/UML-public.h
trunk/uml2owfn/src/colorconsole.h
trunk/uml2owfn/src/debug.cc
trunk/uml2owfn/src/debug.h
trunk/uml2owfn/src/frontend-lexer.ll
trunk/uml2owfn/src/frontend-parser.yy
trunk/uml2owfn/src/globals.cc
trunk/uml2owfn/src/globals.h
trunk/uml2owfn/src/helpers.cc
trunk/uml2owfn/src/helpers.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/petrinet-formula.cc
trunk/uml2owfn/src/petrinet-formula.h
trunk/uml2owfn/src/petrinet-output.cc
trunk/uml2owfn/src/petrinet-reduction.cc
trunk/uml2owfn/src/petrinet-workflow.cc
trunk/uml2owfn/src/petrinet-workflow.h
trunk/uml2owfn/src/petrinet.cc
trunk/uml2owfn/src/petrinet.h
trunk/uml2owfn/src/pnapi.h
trunk/uml2owfn/src/uml2owfn-io.cc
trunk/uml2owfn/src/uml2owfn-io.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.
