Matches in SemOpenAlex for { <https://semopenalex.org/work/W2777043911> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2777043911 abstract "The increasing complexity of software due to continuous technological advances has motivated the use of models in the software development process. Initially, models were mainly used as drafts to help developers understand their programs. Later they were used extensively and a new discipline called Model-Driven Engineering (MDE) was born. In the MDE paradigm, aside from the models themselves, model transformations (MT) are garnering interest as they allow the analysis and manipulation of models. Therefore, the performance, scalability and correctness of model transformations have become critical issues and thus they deserve a thorough study. Existing model transformation engines are principally based on sequential and in-memory execution strategies, and hence their capabilities to transform very large models in parallel and in distributed environments are limited. Current tools and languages are not able to cope with models that are not located in a single machine and, even worse, most of them require the model to be in a single file. Moreover, once a model transformation has been written and executed-either sequentially or in parallel-it is necessary to rely on methods, mechanisms, and tools for checking its correctness. In this dissertation, our contribution is twofold. Firstly, we introduce a novel execution platform that permits the parallel execution of both out-place and in-place model transformations, regardless of whether the models fit into a single machine memory or not. This platform can be used as a target for high-level transformation language compilers, so that existing model transformations do not need to be rewritten in another language but only have to be executed more efficiently. Another advantage is that a developer who is familiar with an existing model transformation language does not need to learn a new one. In addition to performance, the correctness of model transformations is an essential aspect that needs to be addressed if MTs are going to be used in realistic industrial settings. Due to the fact that the most popular model transformation languages are rule-based, i.e., the transformations written in those languages comprise rules that define how the model elements are transformed, the second contribution of this thesis is a static approach for locating faulty rules in model transformations. Current approaches able to fully prove correctness-such as model checking techniques-require an unacceptable amount of time and memory. Our approach cannot fully prove correctness but can be very useful for identifying bugs at an early development stage, quickly and cost effectively." @default.
- W2777043911 created "2018-01-05" @default.
- W2777043911 creator A5010167111 @default.
- W2777043911 date "2016-01-01" @default.
- W2777043911 modified "2023-09-28" @default.
- W2777043911 title "On the quality properties of model transformations: performance and correctness" @default.
- W2777043911 hasPublicationYear "2016" @default.
- W2777043911 type Work @default.
- W2777043911 sameAs 2777043911 @default.
- W2777043911 citedByCount "0" @default.
- W2777043911 crossrefType "dissertation" @default.
- W2777043911 hasAuthorship W2777043911A5010167111 @default.
- W2777043911 hasConcept C104317684 @default.
- W2777043911 hasConcept C110251889 @default.
- W2777043911 hasConcept C115903868 @default.
- W2777043911 hasConcept C12186640 @default.
- W2777043911 hasConcept C133875982 @default.
- W2777043911 hasConcept C154945302 @default.
- W2777043911 hasConcept C169590947 @default.
- W2777043911 hasConcept C173608175 @default.
- W2777043911 hasConcept C185592680 @default.
- W2777043911 hasConcept C199360897 @default.
- W2777043911 hasConcept C204241405 @default.
- W2777043911 hasConcept C2776436953 @default.
- W2777043911 hasConcept C2779791154 @default.
- W2777043911 hasConcept C41008148 @default.
- W2777043911 hasConcept C48044578 @default.
- W2777043911 hasConcept C55439883 @default.
- W2777043911 hasConcept C55493867 @default.
- W2777043911 hasConcept C77088390 @default.
- W2777043911 hasConcept C98045186 @default.
- W2777043911 hasConceptScore W2777043911C104317684 @default.
- W2777043911 hasConceptScore W2777043911C110251889 @default.
- W2777043911 hasConceptScore W2777043911C115903868 @default.
- W2777043911 hasConceptScore W2777043911C12186640 @default.
- W2777043911 hasConceptScore W2777043911C133875982 @default.
- W2777043911 hasConceptScore W2777043911C154945302 @default.
- W2777043911 hasConceptScore W2777043911C169590947 @default.
- W2777043911 hasConceptScore W2777043911C173608175 @default.
- W2777043911 hasConceptScore W2777043911C185592680 @default.
- W2777043911 hasConceptScore W2777043911C199360897 @default.
- W2777043911 hasConceptScore W2777043911C204241405 @default.
- W2777043911 hasConceptScore W2777043911C2776436953 @default.
- W2777043911 hasConceptScore W2777043911C2779791154 @default.
- W2777043911 hasConceptScore W2777043911C41008148 @default.
- W2777043911 hasConceptScore W2777043911C48044578 @default.
- W2777043911 hasConceptScore W2777043911C55439883 @default.
- W2777043911 hasConceptScore W2777043911C55493867 @default.
- W2777043911 hasConceptScore W2777043911C77088390 @default.
- W2777043911 hasConceptScore W2777043911C98045186 @default.
- W2777043911 hasLocation W27770439111 @default.
- W2777043911 hasOpenAccess W2777043911 @default.
- W2777043911 hasPrimaryLocation W27770439111 @default.
- W2777043911 hasRelatedWork W101896819 @default.
- W2777043911 hasRelatedWork W1518906673 @default.
- W2777043911 hasRelatedWork W1932816805 @default.
- W2777043911 hasRelatedWork W1965820406 @default.
- W2777043911 hasRelatedWork W2005159791 @default.
- W2777043911 hasRelatedWork W2014484893 @default.
- W2777043911 hasRelatedWork W2075344462 @default.
- W2777043911 hasRelatedWork W2156298208 @default.
- W2777043911 hasRelatedWork W2157566669 @default.
- W2777043911 hasRelatedWork W2161266370 @default.
- W2777043911 hasRelatedWork W2176189689 @default.
- W2777043911 hasRelatedWork W2246727402 @default.
- W2777043911 hasRelatedWork W224734390 @default.
- W2777043911 hasRelatedWork W2396433040 @default.
- W2777043911 hasRelatedWork W2397203449 @default.
- W2777043911 hasRelatedWork W2570338842 @default.
- W2777043911 hasRelatedWork W2585542563 @default.
- W2777043911 hasRelatedWork W2903431435 @default.
- W2777043911 hasRelatedWork W2912642237 @default.
- W2777043911 hasRelatedWork W3006715821 @default.
- W2777043911 isParatext "false" @default.
- W2777043911 isRetracted "false" @default.
- W2777043911 magId "2777043911" @default.
- W2777043911 workType "dissertation" @default.