Matches in SemOpenAlex for { <https://semopenalex.org/work/W2515675067> ?p ?o ?g. }
- W2515675067 endingPage "215" @default.
- W2515675067 startingPage "215" @default.
- W2515675067 abstract "It is well-known that the inherent complex nature of software systems adds to the challenges of software development. The most notable techniques for addressing the complexity of software development are based on the principles of abstraction, problem decomposition, separation of concerns and automation. As an emerging paradigm for developing complex software, Model-Driven Engineering (MDE) realizes these principles by raising the specification of software to models, which are at a higher level of abstraction than source code. As models are elevated to first-class artifacts within the software development lifecycle, there is an increasing need for frequent model evolution to explore design alternatives and to address system adaptation issues. However, a system model often grows in size when representing a large-scale real-world system, which makes the task of evolving system models a manually intensive effort that can be very time consuming and error prone. Model transformation is a core activity of MDE, which converts one or more source models to one or more target models in order to change model structures or translate models to other software artifacts. The main goal of model transformation is to provide automation in MDE. To reduce the human effort associated with model evolution while minimizing potential errors, the research described in this dissertation has contributed toward a model transformation approach to automated model evolution. A pre-existing model transformation language, called the Embedded Constraint Language (ECL), has been evolved to specify tasks of model evolution, and a model transformation engine, called the Constraint-Specification Aspect Weaver (C-SAW), has been developed to perform model evolution tasks in an automated manner. Particularly, the model transformation approach described in this dissertation has been applied to the important issue of model scalability for exploring design alternatives and crosscutting modeling concerns for system adaptation. Another important issue of model evolution is improving the correctness of model transformation. However, there execution-based testing has not been considered for model transformation testing in current modeling practice. As another contribution of this research, a model transformation testing approach has been investigated to assist in determining the correctness of model transformations by providing a testing engine called M2MUnit to facilitate the execution of model transformation tests. The model transformation testing approach requires a new type of test oracle to compare the actual and expected transformed models. To address the model comparison problem, model differentiation algorithms have been designed and implemented in a tool called DSMDiff to compute the differences between models and visualize the detected model differences. The C-SAW transformation engine has been applied to support automated evolution of models on several different experimental platforms that represent various domains such as computational physics, middleware, and mission computing avionics. The research described in this dissertation contributes to the long-term goal of alleviating the increasing complexity of modeling large-scale, complex applications." @default.
- W2515675067 created "2016-09-16" @default.
- W2515675067 creator A5024198304 @default.
- W2515675067 creator A5073202169 @default.
- W2515675067 date "2007-01-01" @default.
- W2515675067 modified "2023-09-27" @default.
- W2515675067 title "A model transformation approach to automated model evolution" @default.
- W2515675067 cites W131063383 @default.
- W2515675067 cites W146458024 @default.
- W2515675067 cites W1501652040 @default.
- W2515675067 cites W1506588809 @default.
- W2515675067 cites W1509213251 @default.
- W2515675067 cites W1513764144 @default.
- W2515675067 cites W1516725316 @default.
- W2515675067 cites W1518695183 @default.
- W2515675067 cites W1520813197 @default.
- W2515675067 cites W1524427040 @default.
- W2515675067 cites W1526993786 @default.
- W2515675067 cites W1537514182 @default.
- W2515675067 cites W1537720651 @default.
- W2515675067 cites W1539190387 @default.
- W2515675067 cites W1562798600 @default.
- W2515675067 cites W1568125119 @default.
- W2515675067 cites W1583953854 @default.
- W2515675067 cites W1586586158 @default.
- W2515675067 cites W1588993221 @default.
- W2515675067 cites W1591513229 @default.
- W2515675067 cites W1592740644 @default.
- W2515675067 cites W1597500031 @default.
- W2515675067 cites W1789694677 @default.
- W2515675067 cites W1877369453 @default.
- W2515675067 cites W1954365444 @default.
- W2515675067 cites W1967384977 @default.
- W2515675067 cites W1979686314 @default.
- W2515675067 cites W1986755980 @default.
- W2515675067 cites W1987549499 @default.
- W2515675067 cites W1992125293 @default.
- W2515675067 cites W2011705879 @default.
- W2515675067 cites W2014019774 @default.
- W2515675067 cites W2014596857 @default.
- W2515675067 cites W2015354355 @default.
- W2515675067 cites W2016856012 @default.
- W2515675067 cites W2017362344 @default.
- W2515675067 cites W2019952623 @default.
- W2515675067 cites W2021327849 @default.
- W2515675067 cites W2024797550 @default.
- W2515675067 cites W2026586559 @default.
- W2515675067 cites W2031334538 @default.
- W2515675067 cites W2034717157 @default.
- W2515675067 cites W2039976117 @default.
- W2515675067 cites W2040238210 @default.
- W2515675067 cites W2040933668 @default.
- W2515675067 cites W2053153340 @default.
- W2515675067 cites W2057334711 @default.
- W2515675067 cites W2066951904 @default.
- W2515675067 cites W2075642720 @default.
- W2515675067 cites W2085632445 @default.
- W2515675067 cites W2088961263 @default.
- W2515675067 cites W2093916942 @default.
- W2515675067 cites W2094337727 @default.
- W2515675067 cites W2103211764 @default.
- W2515675067 cites W2103219113 @default.
- W2515675067 cites W2103543337 @default.
- W2515675067 cites W2103953153 @default.
- W2515675067 cites W2107061559 @default.
- W2515675067 cites W2109432019 @default.
- W2515675067 cites W2112533109 @default.
- W2515675067 cites W2114809327 @default.
- W2515675067 cites W2115309705 @default.
- W2515675067 cites W2124209077 @default.
- W2515675067 cites W2125822162 @default.
- W2515675067 cites W2127573085 @default.
- W2515675067 cites W2130876928 @default.
- W2515675067 cites W2132533379 @default.
- W2515675067 cites W2134119432 @default.
- W2515675067 cites W2134345746 @default.
- W2515675067 cites W2137519880 @default.
- W2515675067 cites W2138464849 @default.
- W2515675067 cites W2143200533 @default.
- W2515675067 cites W2145170999 @default.
- W2515675067 cites W2147219308 @default.
- W2515675067 cites W2147642262 @default.
- W2515675067 cites W2148591238 @default.
- W2515675067 cites W2149962801 @default.
- W2515675067 cites W2150231504 @default.
- W2515675067 cites W2152593687 @default.
- W2515675067 cites W2154897437 @default.
- W2515675067 cites W2159765281 @default.
- W2515675067 cites W2160566431 @default.
- W2515675067 cites W2160732772 @default.
- W2515675067 cites W2161389734 @default.
- W2515675067 cites W2162417407 @default.
- W2515675067 cites W2162885111 @default.
- W2515675067 cites W2162971428 @default.
- W2515675067 cites W2163579355 @default.
- W2515675067 cites W2166222448 @default.
- W2515675067 cites W2169489461 @default.
- W2515675067 cites W2170394446 @default.