Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks. FSMLs formalize abstractions and rules of the framework's application programming interfaces (APIs) and can express models of how applications use an API. Such models, referred to as framework-specific models, aid developers in understanding, creating, and evolving application code. We present the concept of FSMLs, propose a way of specifying their abstract syntax and semantics, and show how such language specifications can be interpreted to provide reverse, forward, and round-trip engineering of framework-specific models and framework-based application code. We present a method for engineering FSMLs that was extracted post-mortem from the experience of building four such languages. The method is driven by the use cases that the FSMLs under development are to support. We present the use cases, the overall process, and its instantiation for each language. The presentation focuses on providing concrete examples for engineering steps, outcomes, and challenges. It also provides strategies for making engineering decisions. The presented method and experience are aimed at framework developers and tool builders who are interested in engineering new FSMLs. Furthermore, the method represents a necessary step in the maturation of the FSML concept. Finally, the presented work offers a concrete example of software language engineering. FSML engineering formalizes existing domain knowledge that is not present in language form and makes a strong case for the benefits of such formalization. We evaluated the method and the exemplar languages. The evaluation is both empirical and analytical. The empirical evaluation involved measuring the precision and recall of reverse engineering and verifying the correctness or forward and round-trip engineering. The analytical evaluation focused on the generality of the method.

Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks. FSMLs formalize abstractions and rules of the framework's application programming interfaces (APIs) and can express models of how applications use an API. Such models, referred to as framework-specific models, aid developers in understanding, creating, and evolving application code. We present the concept of FSMLs, propose a way of specifying their abstract syntax and semantics, and show how such language specifications can be interpreted to provide reverse, forward, and round-trip engineering of framework-specific models and framework-based application code. We present a method for engineering FSMLs that was extracted post-mortem from the experience of building four such languages. The method is driven by the use cases that the FSMLs under development are to support. We present the use cases, the overall process, and its instantiation for each language. The presentation focuses on providing concrete examples for engineering steps, outcomes, and challenges. It also provides strategies for making engineering decisions. The presented method and experience are aimed at framework developers and tool builders who are interested in engineering new FSMLs. Furthermore, the method represents a necessary step in the maturation of the FSML concept. Finally, the presented work offers a concrete example of software language engineering. FSML engineering formalizes existing domain knowledge that is not present in language form and makes a strong case for the benefits of such formalization. We evaluated the method and the exemplar languages. The evaluation is both empirical and analytical. The empirical evaluation involved measuring the precision and recall of reverse engineering and verifying the correctness or forward and round-trip engineering. The analytical evaluation focused on the generality of the method.

Le présent travail de thèse s’inscrit dans le cadre d’un projet industriel proposé par une entreprise luxembourgeoise et en collaboration avec le Centre de Recherche Public Henry Tudor du Luxembourg (Laboratoire des Technologies Industriels (LTI)). L’objectif consiste à mettre au point une méthode numérique de détermination de la forme des outils d’emboutissage et du flan de pièces de précision en tôlerie fine pour que ce dernier, une fois déformé en une ou plusieurs opérations, correspond à la définition tridimensionnelle du cahier des charges. La méthode a pour objectif de remplacer une démarche expérimentale coûteuse par essais–erreur. Deux démarches numériques sont proposées, la première est relative à la détermination de la forme du flan. Elle consiste à estimer la forme du flan par Approche Inverse en partant de la forme 3D demandée. Puis, un logiciel de simulation incrémental par éléments finis en 3D est utilisé dans une procédure d’optimisation heuristique pour déterminer la forme du flan. Dans la deuxième démarche, il s’agit de déterminer la forme des outils d’emboutissage en utilisant le logiciel de simulation incrémental couplé avec une méthode de compensation du retour élastique en 2D. La démarche numérique est validée expérimentalement dans le cas d’un emboutissage réalisé en une ou plusieurs passes, à l’aide d’une presse manuelle, sans serre flan et avec des outils de forme très complexe. / The present study deals with an industrial project proposed by a luxembourgian enterprise and in collaboration with the luxembourgian research centre Henry Tudor (Laboratory of Industrial Technologies (LTI)). The main objective is to build a numerical approaches for the determination of the initial blank shape contour and tools shape for 3D thin metallic precision parts obtained by stamping, knowing the 3D CAD geometry of the final part. The purpose of the present procedure is to replace the expensive and time consuming experimental trial and error optimization method. Two numerical approaches have been proposed, the first is regarding the determination of the blank shape. An estimation of the blank shape can be given using the Inverse Approach. Update of the blank shape will then be continued by iterations combining heuristic optimization algorithms and incremental stamping codes. The second approach is based on precise finite element models and on spring-back compensation algorithm. The numerical approaches are tested in the case of a special stamping process where the parts are pressed in one or more steps using a manual press, without blank holder and by the mean of complex shape tools.