Számítógéppel segített folyamatmodellezés

Absztrakt

A folyamatmodellek használatának széles körű elterjedése valamint az egyre bonyolultabb modellek alkalmazása miatt a folyamatmodellezés a vegyészmérnöki tevékenység egyik alapvető feladatává vált. Emiatt elengedhetetlenek lettek azok a magas szintű számítógéppel segített modellezési technikák, amelyek a folyamatmodellek számítógéppel segített építésén, karbantartásán és ellenőrzésén túlmenően a modellek dokumentálását is támogatják. A folyamatmodellez és általában nem fejeződik be annak elkészítésével, hiszen a túlságosan részletes vagy egyszerű modellek további egyszerűsítésére, illetve bővítésére, legrosszabb esetben pedig új modell elkészítésére van szükség. Az elkészített modell módosítását az ismert számítógéppel segített modellező eszközök csak kis mértékben vagy egyáltalán nem támogatják, ezért érdekes és kihívó feladat a modell egyszerűsítés, illetve bővítés számítógépes megvalósítása. A cikkben bemutatásra kerül egy modell építő eljárás, amely feltételvezérelt módon működve ellenőrzött és minimális folyamatmodelleket állít elő, egy modell egyszerűsítő eljárás, amellyel az elkészített modell egyszerűbb alakra hozható, valamint egy modellezési feltételezés visszafejtő eljárás, amely ugyanazon rendszer két különböző részletességgel leírt modellje ismeretében a modelleket összekapcsoló lehetséges egyszerűsítő feltételezéseket határozza meg.