Developpement logiciel par transformation de modeles

摘要: Software engineering researchers have long tried to understand the software process development mechanize it or at least codify its good practices. We identify two major approaches characterize process. The first approach—known as transformational—sees a sequence of property-preserving transformations. This idea was recently adopted by OMG’s model-driven architecture (MDA). second approach consists in identifying and codifying proven solutions recurring problems. Research on architectural styles, frameworks design patterns are part this approach. Our research recognizes complementarity these approaches, particular step. Indeed within context, we view applying codified solution input models. Software is typically defined terms detailed design. Architectural aims organizing modules components that meet set non-functional requirements while is—in some way—concerned contents identified components. relies styles which principles organization optimize certain quality requirements, whereas assign responsibilities classes. Both artifacts encode While documented, decision apply them remains essentially manual. Besides, once has been made use artifact, there no adequate support existing As present an “easier” problem solve, because implementation patterns, our strategy for addressing issues try solve first, then tackle styles. Hence, thesis, propose representing patterns. based explicit representation problems solved Indeed, pattern enables to: (1) better pattern, (2) recognize opportunity matching against models considered system, (3) specify declaratively application transformation instance into solution. To verify validate proposed approach, used represent several also conducted practical tests generated from open source systems. Keywords. Design problems, Pattern matching, Model marquing, transformation, Meta-modelling.