Logic Model Processing

Abstract

Model Driven Engineering (MDE) refers to the use of software models to represent System or Software conceptual, logical, or physical abstractions, aiming at standardizing and easing industrial engineering processes. MDE is more and more applied in various domains of application and brings foundations for the digitalization of the industry. The avionics and Space software industry started the move several decades ago, which stimulated the emergence of many innovative technologies to improve the elaboration of these models and their exploitation. Logic Model Processing (LMP for short) is one of them. Logic Model Processing is an adaptation of Logic Programming to Model Driven Engineering using standard Prolog language. The LMP framework consists of a methodology, a set of tools and Prolog libraries. This technology has been progressively and continuously developed during the last thirty years and produced many actionable outcomes, mostly under the form of tools that have been deployed worldwide for industrial usages and a few non-academic publications. This paper introduces the origin of the LMP solution, provides an overview of its implementation, and gives a few examples of its practical use and of its most recent developments.