| 1 | = Logic Model Processing = |
| 2 | |
| 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). |
| 4 | |
| 5 | == Benefits == |
| 6 | * LMP offers a single solution to implement model queries, model constraints and model transformations instead of having to use several dedicated languages |
| 7 | * LMP is based on the standard prolog language (ISO/IEC 13211-1) |
| 8 | * LMP is declarative, modular and formal (boolean logic), which open the door for tool qualification. |
| 9 | * LMP is flexible and can be used to process heterogeneous models or incomplete models. |
| 10 | * LMP is commercially supported and benefits from industrial return of experience |
| 11 | Airbus: involved in the development of DO-178 certified projects (A380, A350) |
| 12 | European Space Agency: used in the TASTE graphical editors |
| 13 | Ellidiss: AADL Inspector model adaptors and Stood code generators |
| 14 | |
| 15 | == LMP Development Kit == |
| 16 | The LMP Dev Kit provides the LMP designer with a set of tools and libraries to increase the productivity and the quality of the development of LMP applications. This toolbox is composed of three compartments: |
| 17 | * Tools for the generation of Facts bases (AADL and XML/XMI parsers) |
| 18 | * Tools for the development of Rules bases (Ecore2LMP and LMP Designer graphical editor) |
| 19 | * Tools for the run-time execution of the LMP application (sbprolog) |