LCADLA: The Library of the Computer Aided Design Systems for Logics Automated

Abstract In this paper, we present an object library of the computer aided design systems for logics automated described by the normalised Grafcet model. We have applied modern concepts stemming from the conception and programming by object (using the Eiffel language) such as: Class, Inheritance (simple and multiple), Polymorphism, Genericity, Dynamic Binding, Deferred Class, Assertion and Bottom-up Analysis. Likewise, we have analysed and cleared the common points of the Grafcet interpretation algorithms (without stability research and with stability research). Our system organised around an evolutive objects architecture guaranteed the integration of new functionality (new types of conditions or actions and new interpretation algorithms) without affecting the classes which form the system.