Changes between Version 5 and Version 6 of lamp


Ignore:
Timestamp:
Nov 17, 2018 4:04:38 PM (4 weeks ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • lamp

    v5 v6  
    11 
    2 = LAMP = 
     2= [[Image(lamp.png)]] LAMP =  
    33 
    4 LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing.[[BR]] 
     4LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]] 
    55Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]] 
    66It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.[[BR]] 
     
    99 
    1010 
    11 == The LAMP AADL Annex == 
     11== LAMP AADL Annex sub-language == 
    1212* AADL annex subclauses: {{{ANNEX LAMP {** /* standard prolog syntax */ **};}}} 
    1313* LAMP user defined libraries in AADL Packages 
     
    1515* Standad prolog language (ISO-IEC 13211) 
    1616 
    17 == The LAMP standard library: LAMPLib.aadl == 
     17[[Image(lampstack.png)]] 
     18 
     19== LAMP standard library: LAMPLib.aadl == 
    1820* High level API to the AADL declarative model 
    1921* High level API to the AADL instance model 
     
    2224* Utility rules (printing, …) 
    2325 
    24 == The LAMP plugin in AADL Inspector == 
     26== LAMP checker in AADL Inspector == 
    2527* New LAMP verification tool 
    2628* LAMPLib included