Verkkopalvelun muodostaminen on merkittävä ongelma nykyisten hajautettujen laskentajärjestelmien ja teknologioiden evoluutiossa, erityisesti WWW-ympäristöissä. Ongelman ratkaiseminen mahdollistaisi sähköisten palvelujen laadun, käytettävyyden ja joustavuuden kasvun. Tästä hyötyisivät sekä palvelun tarjoajat että käyttäjät.Dmytro Zhovtobryukh luo väitöskirjassaan kattavan ratkaisun verkkopalveluiden muodostamisongelmaan. Hän keskittyy erityisesti ongelmanratkaisun menetelmälliseen näkökulmaan yrittäen rakentaa yleisen tavan palveluiden muodostamiseen sitomatta ratkaisua pelkästään tiettyyn konkreettiseen joukkoon väliohjelmistoja ja tiedonesitysstandardeja. Zhovtobryukhin työ on palveluorientoituneen laskennan, semanttisen verkon ja kontekstitietoisen laskennan paradigmojen risteyskohdassa. Tavoitteena on mm. automatisoitu, tavoiteohjattu ja dynaamisesti tehty palvelun muodostaminen.Yksi Zhovtobryukhin innovatiivisista tuotoksista on kontekstitietoinen dynaaminen uudelleenkonfigurointitoimenpide verkkopalveluille. Tämä tarkoittaa erityisesti kontekstitietoisen toiminnallisuuden suunnittelua, joka voidaan laittaa suoraan mukaan palveluun myöhempää palvelurakenteen uudelleenkonfigurointia varten suorituksen aikana. Zhovtobryukhin kehittämä menetelmä perustuu kypsään formaaliin mallinnustyökaluun, Petri-verkkoihin. Mallinnustyökalu soveltuu hyvin palvelun muodostamisen mallintamiseen, erityisesti koska sen käytettävyys palvelun muodostamiseen voidaan todistaa. Se tarjoaa myös korkean tason formalismin ja laajan, mutta lyhytsanaisen notaation, itseanalysoitavat ja tarkistettavat mallit sekä tehokkaita ominaisuuksia tilasiirtymäjärjestelmien mallinnukseen, joita verkkopalvelut käytännössä ovat.