Formal Language

Oil & Gas Drilling Glossary - IADCLexicon.org

Glossary

Browse the IADC Lexicon alphabetically or by category. Get comprehensive definitions of drilling industry terms.

Need help using the IADC Lexicon? The FAQ section will answer most of your questions, and you can also submit questions directly.

Become a Lexicon Contributor. Simply fill out the form, then submit new terms for approval and/or edit existing terms.

set of words, semantics and logical rules with sound mathematical properties

Note 1 to entry: Programming languages are an example of formal language with mathematical properties

allowing them to be compiled into computer executable code.

Note 2 to entry: Every reliability model has an underlying formal language behind the graphical elements (e.g. the

Binary logic for Boolean models).

Note 3 to entry: Specific formal languages have been developed to model the functioning and the dysfunctioning

of industrial systems (e.g. AltaRica[11][12]). According to their powerfulness of modelling and their mathematical

properties they can be compiled toward event trees, fault trees, Markov graphs, Petri nets, accident sequences,

etc. Some of them can also be directly used for Monte Carlo simulation.

Source: ISO/TR 12489:2013(E) Reliability modelling and calculation of safety systems. Global Standards

Comments are closed.