Changes between Initial Version and Version 1 of aadlModel

Timestamp:

04/13/17 16:00:42 (9 years ago)

Author:

pdissaux

Comment:

--

aadlModel

@@ +1 @@
+
+= AADL Model Processing Library =
+
+This library (AADLModel.sbp) contains a set of prolog rules to access and process an [wiki:aadlparser AADL declarative model] defined by prolog facts.
+
+[=#index]
+{{{#!table style="border:2"
+  {{{#!tr style="text-align:center; margin:auto"
+    {{{#!th style="width:120px"
+    '''Index'''
+    }}}
+    {{{#!td style="background:#ffd; width:80px"
+    [#AADLInstances Instance Model]
+    }}}
+    {{{#!td style="background:#ffd; width:80px"
+    [#AADLProperties Properties]
+    }}}
+    {{{#!td style="background:#ffd; width:80px"
+    [#AADLReferences Cross References]
+    }}}
+    {{{#!td style="background:#ffd; width:80px"
+    [#AADLBehavior Behavior Annex]
+    }}}
+  }}}
+}}}
+----
+=== AADL Instances ===
+=== AADL Properties ===
+ * [wiki:aadl/aadlutilities/getProperty getProperty/10]
+ * [wiki:aadl/aadlutilities/instanceProperty instanceProperty/7]
+ * [wiki:aadl/aadlutilities/implementationProperty implementationProperty/5]
+ * [wiki:aadl/aadlutilities/typeProperty typeProperty/4]
+ * [wiki:aadl/aadlutilities/inheritedProperty inheritedProperty/7]
+ * [wiki:aadl/aadlutilities/allowsInheritance allowsInheritance/1]
+=== AADL References ===
+ * [wiki:aadl/aadlutilities/splitReference splitReference/4]
+ * [wiki:aadl/aadlutilities/getReference5 getReference/5]
+ * [wiki:aadl/aadlutilities/getReference6 getReference/6]
+ * [wiki:aadl/aadlutilities/findReference5 findReference/5]
+ * [wiki:aadl/aadlutilities/findReference6 findReference/6]
+ * [wiki:aadl/aadlutilities/allReferences allReferences/10]
+ * [wiki:aadl/aadlutilities/matchReference matchReference/7]
+ * [wiki:aadl/aadlutilities/provideReference provideReference/6]
+=== AADL Behavior ===