Munkafolyamatok szimulációja és formális analízise

A dokumentum részletes adatai


Cím: Munkafolyamatok szimulációja és formális analízise
Szerző: Kovács, Máté
Absztrakt: Abstract With the use of electronically executed workflows, the efficiency of certain type of organizations may be improved. The execution of a workflow may involve several databases, so it is very important that it meets certain requirements. However the testing of workflow programs is problematic. A possible solution seems to be the formal analysis of them. In this paper a practical method is shown to check certain properties of a workflow. Az elektronikus munkafolyamatok bevezetésével lehetőség van egy szervezet munkamenetének hatékonyabbá tételére. A munkafolyamat végrehajtás közben számos külső erőforrást elérhet, ezért nagyon fontos, hogy az bizonyos elvárásoknak megfeleljen. A munkafolyamatok tesztelése azonban nehézségekbe ütközik. Lehetséges megoldás, a munkafolyamatok egyes tulajdonságainak formális ellenőrzése, melyre egy gyakorlati módszert mutatok.
URI: http://hdl.handle.net/10598/15048
Dátum: 2006

A dokumentum fájljai

Fájl Méret Formátum Nézet
11_FMTU2006_49.KovacsMateABME.pdf 540.3Kb PDF Megtekintés/Megnyitás

A dokumentum a kovetkező gyűjteményekben jelenik meg

A dokumentum részletes adatai

Related Items

Keresés az EDA-ban


Speciális keresés

Böngészés

Saját EDA