Veiklos procesų vykdymo modeliavimas, taikant UML veiklos grafus
In this thesis are analysed correctness for verification ability of UML activity diagrams by using hypergaphs. There suggested the transformation from UML activity diagram to hypergraph and verification algorithm of hypergraph, which can be used for expanding the capabilities of CASE tools for workf...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Lithuanian |
| Published: |
Lithuanian Academic Libraries Network (LABT)
2004
|
| Subjects: | |
| Online Access: | http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2004~D_20040531_142714-31449/DS.005.0.02.ETD |