+
Path-based reference to a value in a data structure.
+The openEHR Basic Expression Language is based on a limited first-order predicate logic language with some additions to support a few basic types of statements, enabling the authoring of executable texts, i.e. programs. One type of statement is the assertion, which has similarities with OMG’s OCL (Object Constraint Language), and to the Object-Z language (Smith, 2000). See Sowa (2000), Hein (2002), Kilov & Ross (1994) for an explanation of predicate logic in information modelling. It is not exactly the same as any of these languages because:
+The openEHR Basic Expression Language is based on a limited first-order predicate logic language with some additions to support a few basic types of statements, enabling the authoring of executable texts, i.e. programs. One type of statement is the assertion, which has similarities with OMG’s OCL (Object Constraint Language), and to the Object-Z language (Smith, 2000). See Sowa (2000), Hein (2002), Kilov & Ross (1994) for an explanation of predicate logic in information modelling. It is not exactly the same as any of these languages because:
Class |
+EXPR_VALUE_REF |
+|
|---|---|---|
Description |
+
+ Path-based reference to a value in a data structure. + |
+|
Inherit |
++ | |