Changes between Version 7 and Version 8 of aadlDeclarativeModel

Timestamp:

04/13/17 08:57:42 (7 years ago)

Author:

pdissaux

Comment:

--

aadlDeclarativeModel

@@ -11 +11 @@
 The output of the parser consists of a list of prolog predicates (facts base) that gives a formal and easy to use representation of the overall AADL declarative model. Efficient model processing tools can be built on top of this facts base using the power of the prolog language (rules bases). A set of prolog rules libraries has been developed to facilitate AADL model processing. In particular, rules are provided to create the AADL instance model, to search property values or to write the declarative model from its internal prolog representation. All these features (parser and libraries) are part of the LMP toolbox.
 
-This page describes the AADL prolog API that can be used to create processing tools with LMP
+This page describes the AADL prolog API that can be used to create processing tools with [wiki:LMP LMP]
 
 {{{#!table style="border:2"
@@ -35 +35 @@
 ----
 === AADL v2 predicates ===
+This part of the prolog API complies with document SAE AS-5506C (AADL 2.2)
+
 [wiki:aadlparser/isVersion isVersion/4][[BR]] 
 [wiki:aadlparser/isWarning isWarning/4][[BR]] 
@@ -93 +95 @@
 ----
 === AADL Behavior Annex predicates ===
+This part of the prolog API complies with document SAE AS-5506/2A (AADL BA 2.0)
+
 [wiki:aadlparser/isBAVersion isBAVersion/4][[BR]] 
 [wiki:aadlparser/isBAVariable isBAVariable/9][[BR]] 
@@ -112 +116 @@
 ----
 === AADL Error Annex v1 predicates ===
+This part of the prolog API complies with document SAE AS-5506/1 (AADL EA)
+
 [wiki:aadlparser/isEAVersion isEAVersion/4][[BR]] 
 [wiki:aadlparser/isEAProperty isEAProperty/7][[BR]][[BR]]
 ----
 === AADL Error Annex v2 predicates ===
+This part of the prolog API complies with document SAE AS-5506/1A (AADL EMV2)
+
 [wiki:aadlparser/isEMV2Version isEMV2Version/4][[BR]] 
 [wiki:aadlparser/isEMV2ExtendsLib isEMV2ExtendsLib/4][[BR]]