Changes between Version 5 and Version 6 of lamp

Timestamp:

Nov 17, 2018 4:04:38 PM (5 years ago)

Author:

pdissaux

Comment:

--

lamp

@@ -1 +1 @@
 
-= LAMP =
+= [[Image(lamp.png)]] LAMP = 
 
-LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing.[[BR]]
+LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]]
 Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]]
 It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.[[BR]]
@@ -9 +9 @@
 
 
-== The LAMP AADL Annex ==
+== LAMP AADL Annex sub-language ==
 * AADL annex subclauses: {{{ANNEX LAMP {** /* standard prolog syntax */ **};}}}
 * LAMP user defined libraries in AADL Packages
@@ -15 +15 @@
 * Standad prolog language (ISO-IEC 13211)
 
-== The LAMP standard library: LAMPLib.aadl ==
+[[Image(lampstack.png)]]
+
+== LAMP standard library: LAMPLib.aadl ==
 * High level API to the AADL declarative model
 * High level API to the AADL instance model
@@ -22 +24 @@
 * Utility rules (printing, …)
 
-== The LAMP plugin in AADL Inspector ==
+== LAMP checker in AADL Inspector ==
 * New LAMP verification tool
 * LAMPLib included