Formuły XBRL są często wykorzystywane do zapewnienia dodatkowych możliwości weryfikacji, oprócz tych dostępnych w standardzie XBRL 2.1, w celu egzekwowania specyficznych zasad biznesowych obowiązujących w danej organizacji. Specyfikacja formuł XBRL zapewnia standardowy mechanizm definiowania reguł w bazie formuł XBRL, które następnie mogą być stosowane do dokumentów instancji XBRL. Formuły XBRL, zdefiniowane za pomocą wyrażeń XPath typu "jeśli-to-to", mogą być przetwarzane w celu weryfikacji danych w instancji XBRL lub w celu wygenerowania nowej instancji na podstawie obliczonych danych.
Firma Altova oferuje kompleksowe wsparcie dla formuł XBRL w programach XMLSpy oraz RaptorXML+XBRL Server, obejmujące walidację, edycję graficzną, wykonywanie formuł oraz wysokowydajne przetwarzanie.
The Edytor taksonomii XBRL W programie XMLSpy znajduje się specjalna zakładka, która umożliwia przeglądanie i edycję definicji formuł XBRL w sposób graficzny. To wizualne podejście, oparte na prostych kliknięciach, znacznie upraszcza proces definiowania formuł i założeń XBRL.
Kontekstowe menu rozwijane i menu dostępne po kliknięciu prawym przyciskiem myszy oferują odpowiednie opcje w zależności od typu komponentu, który jest definiowany. Dodatkowo, właściwości można przeglądać i definiować za pomocą okien pomocniczych "Przegląd" i "Szczegóły". Okno pomocnicze "Przegląd" służy do ustawiania domyślnej bazy odniesień dla formuł XBRL, natomiast okno pomocnicze "Szczegóły" można wykorzystać do edycji właściwości i zawartości komponentów formuł. W razie potrzeby, można również dokonywać tych zmian bezpośrednio w zakładce "Formuła".
Jeśli w Twojej rozszerzonej taksonomii istnieje baza danych linków do tabel XBRL, podgląd układu tabeli (pokazany na powyższym zrzucie ekranu) umożliwia łatwe definiowanie wzorów i założeń. Jeśli w wymaganej taksonomii nie ma żadnych tabel, możesz zdefiniować jedną za pomocą edytora bazy danych linków do tabel XBRL, zanim zdefiniujesz swoje wzory XBRL.
Podgląd układu tabeli umożliwia tworzenie zmiennych faktów w formułach lub stwierdzeniach dotyczących wartości/istnienia. Komórki danych w tabeli zawierają ikonę "Dodaj zmienną faktu", którą można kliknąć, aby dodać zmienną do aktualnej formuły lub stwierdzenia. Podczas wykonywania, nowa zmienna faktu, zawierająca odpowiedni filtr dla każdego ograniczenia zdefiniowanego przez komórkę danych, jest tworzona pod wybraną formułą lub stwierdzeniem.
Ten interfejs, w którym wystarczy kliknąć, znacznie ułatwia definiowanie formuł XBRL w porównaniu z ręcznym tworzeniem baz powiązań dla tych formuł.
