Changes between Version 1 and Version 2 of LMP

Timestamp:

04/12/17 09:57:31 (7 years ago)

Author:

pdissaux

Comment:

--

LMP

@@ -3 +3 @@
 LMP applies the principles of Logic Programming to Model Driven Engineering. In a few words, each model is expressed by a list of prolog facts  and each processing function is implemented as a list of prolog rules. Applying the rules to the predicates will produce the awaited result (verification report, target model, source code or documentation text).
 
+[[Image(lmp.png)]]
+
 == Benefits ==
- *  LMP offers a single solution to implement model queries, model constraints and model transformations instead of having to use several dedicated languages
- *  LMP is based on the standard prolog language (ISO/IEC 13211-1)
- *  LMP is declarative, modular and formal (boolean logic), which open the door for tool qualification.
- *  LMP is flexible and can be used to process heterogeneous models or incomplete models.
- *  LMP is commercially supported and benefits from industrial return of experience 
-Airbus: involved in the development of DO-178 certified projects (A380, A350)
-European Space Agency: used in the TASTE graphical editors
-Ellidiss: AADL Inspector model adaptors and Stood code generators
+ * LMP offers a single solution to implement model queries, model constraints and model transformations instead of having to use several dedicated languages
+ * LMP is based on the standard prolog language (ISO/IEC 13211-1)
+ * LMP is declarative, modular and formal (boolean logic), which open the door for tool qualification.
+ * LMP is flexible and can be used to process heterogeneous models or incomplete models.
+ * LMP is commercially supported and benefits from industrial return of experience 
+  * Airbus: involved in the development of DO-178 certified projects (A380, A350)
+  * European Space Agency: used in the TASTE graphical editors
+  * Ellidiss: AADL Inspector model adaptors and Stood code generators
+
+[[Image(toolchains.png)]]
 
 == LMP Development Kit ==