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 workflow and e-business modelling.
Identifer | oai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2004~D_20040531_142714-31449 |
Date | 31 May 2004 |
Creators | Gudonavičius, Linas |
Contributors | Plėštys, Rimantas, Barauskas, Rimantas, Mockus, Jonas, Jasinevičius, Raimundas, Pilkauskas, Vytautas, Pranevičius, Henrikas, Nemuraitė, Lina, Matickas, Jonas Kazimieras, Telksnys, Laimutis, Kaunas University of Technology |
Publisher | Lithuanian Academic Libraries Network (LABT), Kaunas University of Technology |
Source Sets | Lithuanian ETD submission system |
Language | Lithuanian |
Detected Language | English |
Type | Master thesis |
Format | application/pdf |
Source | http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040531_142714-31449 |
Rights | Unrestricted |
Page generated in 0.0015 seconds