Topoloģiskais funkcionēšanas modelis
Topoloģiskais funkcionēšanas modelis (TFM) (dēvēts arī par topoloģisko modeli un [sistēmu] topoloģisko funkcionēšanas modeli) ir viena no matemātiskām modelēšanas valodām sistēmas funkcionēšanas aprakstīšanai. Bieži TFM tiek attēlots kā grafs, kur virsotnes attēlo sistēmu funkcionālas pazīmes, bet orientēti loki attēlo topoloģiskās attiecības starp tām. Līdzīgi tādiem industrijas standartiem kā UML (Unified Modeling Language jeb vienotā modelēšanas valoda) aktivitāšu diagrammas, BPMN (biznesa procesu un modelēšanas notācija jeb Business Process and Modeling Notation) un EPC (Event-driven Process Chains jeb notikumu vadīto procesu ķēdes) TFM piedāvā grafisko notāciju sistēmas procesu atspoguļošanai. Līdzīgi Petrī tīkliem topoloģiskajam funkcionēšanas modelim piemīt precīza matemātiskā definīcija. Atšķirībā no citiem matemātiskiem modeļiem TFM prasa funkcionēšanas ciklu noteikšanu. TFM piedāvā iespēju modelēt un analizēt sistēmas funkcionēšanu un funkcionēšanas ciklu struktūras, izmantojot vienkāršus matemātikas un sistēmu teorijas līdzekļus no modeļvadāmas arhitektūras no skaitļošanas neatkarīga skatupunkta]]. Informācija modelēšanas nolūkiem var būt iegūta no verbāliem aprakstiem (piemēram, dokumentiem, diagrammām, ontoloģijām, shēmām, intervijām, darba instrukcijām, lietotāju stāstiem, biznesa vai produkta prasību specifikācijām), un arī no matemātiskajām izteiksmēm un eksperta zināšanām par sistēmu. TFM ļauj nodrošināt programmatūras atbilstību sistēmai, kuras ietvaros tā strādās. Šī atbilstība tiek sasniegta, saistot problēmas domēnu (sistēmu) un risinājuma domēnu (programmatūru), pielietojot precīzu attēlošanas (kartēšanas) mehānismu starp atbilstošo domēnu modeļiem, biznesa prasību sistēmai korektuma verificēšanu, kā arī sistēmas lietošanas gadījumu un sistēmas vispārīgās arhitektūras ģenerēšanu. TFM var būt pielietots dažādu tipu sistēmām, piemēram, mehāniskām, bioloģiskām un biznesa sistēmām. Salīdzinājumā ar UML aktivitāšu diagrammām, BPMN, EPC un Petrī tīkliem, TFM piedāvā nefragmentāro (holistisko) skatu uz sistēmas procesiem ar mazāko notācijas elementu skaitu un matemātiskiem mehānismiem sistēmas robežu noteikšanai, tās komunikācijas ar sistēmas lietotājiem un citām sistēmām "interfeisiem", kā arī kauzālām atkarībām starp sistēmas funkcionālām daļām. TFM vēl nav pilnīgi pabeigts. Un tas nav plaši zināms programmatūras izstrādes kopienai.