Cílem projektu je nalezení nových teoretických konceptů, metod a nástrojů, jež by umožnily efektivní metodologii návrhu a implementace informačních systémů. Klíčovou pozici zde převezmou abstraktní modely specifických tříd Petriho sítí, reprezentujících výsledky jednotlivých fází vývoje budovaného informačního systému. Tyto modely, spolu s odpovídajícími metodami a programovými nástroji, umožní analytikům, návrhářům i programátorům pracovat v konzistentním integrovaném prostředí podporujícím automatizaci časově nejnáročnějších kroků vývoje informačního systému -- návrhu, funkční verifikace, vyhodnocení efektivity a výsledné implementace systému.