Formule XBRL se často používá k poskytování funkcí ověřování, které doplňují ty, které jsou součástí XBRL 2.1, a to za účelem vynucování specifických obchodních pravidel dané organizace. Specifikace Formule XBRL poskytuje standardní mechanismus pro definování pravidel v databázi odkazů Formule XBRL, které lze následně aplikovat na instance dokumentů XBRL. Formule XBRL, definované pomocí výrazů XPath typu "pokud-pak-jinak", lze zpracovávat za účelem ověření dat v instanci XBRL nebo k vytvoření nové instance na základě vypočítaných dat.
Altova ponúka komplexnú podporu pre vzorce XBRL v programoch XMLSpy a RaptorXML+XBRL Server, vrátane validácie, grafického upravovania, vykonávania vzorcov a vysoko výkonnej spracovania.
Uređaj za uređivanje taksonomije XBRL u programu XMLSpy uključuje poseban izbornik za pregled i uređivanje definicija formula XBRL na grafički način. Ovaj vizualni pristup, koji se temelji na klikanju, značajno pojednostavljuje proces definiranja formula i tvrdnji XBRL.
Kontextne meniji s padajúcim zoznamom a kontextové menu po kliknutí pravým tlačidlom myši ponúkajú platné možnosti na základe typu komponentu, ktorý sa definuje, a vlastnosti je možné tiež prezerať a definovať prostredníctvom okien pomocníkov "Prehľad" a "Podrobnosti". Okno pomocníka "Prehľad" sa používa na nastavenie štandardnej linkovej databázy pre vzorce XBRL, zatiaľ čo okno pomocníka "Podrobnosti" sa môže použiť na úpravu vlastností a obsahu komponentov vzorcov. Ak je to potrebné, tieto úpravy je možné jednoducho vykonať priamo v karte "Vzorec".
Če v vaši dodatni taksonomiji obstaja baza povezav za tablice v formatu XBRL, vam predogled postavitev tablic (ki ga vidite na zgornji sliki) omogoča, da enostavno definirate svoje formule in trditve. Če v zahtevani taksonomiji ni tablic, lahko definirate eno z uporabo urejevalnika baze povezav za tablice v formatu XBRL, preden definirate svojo formulo v formatu XBRL.
Predogled tabličnega urejevanja omogoča ustvarjanje dejstvenih spremenljivk v formulah ali izjavah o vrednosti/obstoju. Celice podatkov v tabeli vsebujejo ikono "Dodaj dejstveno spremenljivko", na katero lahko kliknete, da dodate spremenljivko v trenutno formulo ali izjavo. Med izvajanjem se pod izbrano formulo ali izjavo ustvari nova dejstvena spremenljivka, ki vsebuje ustrezen filter za vsako omejitev, določeno s podatkovno celico.
Táto rozhranie, ktoré funguje na princípe klikania, výrazne uľahčuje definovanie vzorcov XBRL v porovnaní s ručnou definíciou vzorcových základov.
