Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076990838> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2076990838 endingPage "448" @default.
- W2076990838 startingPage "432" @default.
- W2076990838 abstract "MDE is a software development process where models constitute pivotal elements of the software to be built. If models are well-specified, transformations can be employed for various purposes, e.g., to produce final code. However, transformations are only meaningful when they are ‘correct’: they must produce valid models from valid input models. A valid model has conformance to its meta-model and fulfils its constraints, usually written in OCL. In this paper, we propose a novel methodology to perform automatic, unbounded verification of ATL transformations. Its main component is a novel first-order semantics for ATL transformations, based on the interpretation of the corresponding rules and their execution semantics as first-order predicates. Although, our semantics is not complete, it does cover a significant subset of the ATL language. Using this semantics, transformation correctness can be automatically verified with respect to non-trivial OCL pre- and postconditions by using SMT solvers, e.g. Z3 and Yices." @default.
- W2076990838 created "2016-06-24" @default.
- W2076990838 creator A5009449307 @default.
- W2076990838 creator A5065620898 @default.
- W2076990838 creator A5074872542 @default.
- W2076990838 date "2012-01-01" @default.
- W2076990838 modified "2023-10-04" @default.
- W2076990838 title "On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers" @default.
- W2076990838 cites W1488394645 @default.
- W2076990838 cites W1495380017 @default.
- W2076990838 cites W1502422810 @default.
- W2076990838 cites W1536511644 @default.
- W2076990838 cites W1549164528 @default.
- W2076990838 cites W1965979806 @default.
- W2076990838 cites W2025154593 @default.
- W2076990838 cites W2067251265 @default.
- W2076990838 cites W2076990838 @default.
- W2076990838 cites W2097761237 @default.
- W2076990838 cites W2102697873 @default.
- W2076990838 cites W2105655408 @default.
- W2076990838 cites W2137351629 @default.
- W2076990838 cites W2169424671 @default.
- W2076990838 cites W2169954581 @default.
- W2076990838 cites W280676773 @default.
- W2076990838 cites W4244167827 @default.
- W2076990838 cites W8857778 @default.
- W2076990838 doi "https://doi.org/10.1007/978-3-642-33666-9_28" @default.
- W2076990838 hasPublicationYear "2012" @default.
- W2076990838 type Work @default.
- W2076990838 sameAs 2076990838 @default.
- W2076990838 citedByCount "46" @default.
- W2076990838 countsByYear W20769908382012 @default.
- W2076990838 countsByYear W20769908382013 @default.
- W2076990838 countsByYear W20769908382014 @default.
- W2076990838 countsByYear W20769908382015 @default.
- W2076990838 countsByYear W20769908382016 @default.
- W2076990838 countsByYear W20769908382017 @default.
- W2076990838 countsByYear W20769908382018 @default.
- W2076990838 countsByYear W20769908382019 @default.
- W2076990838 countsByYear W20769908382020 @default.
- W2076990838 countsByYear W20769908382021 @default.
- W2076990838 countsByYear W20769908382022 @default.
- W2076990838 crossrefType "book-chapter" @default.
- W2076990838 hasAuthorship W2076990838A5009449307 @default.
- W2076990838 hasAuthorship W2076990838A5065620898 @default.
- W2076990838 hasAuthorship W2076990838A5074872542 @default.
- W2076990838 hasBestOaLocation W20769908382 @default.
- W2076990838 hasConcept C104317684 @default.
- W2076990838 hasConcept C154945302 @default.
- W2076990838 hasConcept C184337299 @default.
- W2076990838 hasConcept C185592680 @default.
- W2076990838 hasConcept C199360897 @default.
- W2076990838 hasConcept C204241405 @default.
- W2076990838 hasConcept C2776436953 @default.
- W2076990838 hasConcept C2779791154 @default.
- W2076990838 hasConcept C2780654840 @default.
- W2076990838 hasConcept C41008148 @default.
- W2076990838 hasConcept C55439883 @default.
- W2076990838 hasConcept C55493867 @default.
- W2076990838 hasConcept C80444323 @default.
- W2076990838 hasConceptScore W2076990838C104317684 @default.
- W2076990838 hasConceptScore W2076990838C154945302 @default.
- W2076990838 hasConceptScore W2076990838C184337299 @default.
- W2076990838 hasConceptScore W2076990838C185592680 @default.
- W2076990838 hasConceptScore W2076990838C199360897 @default.
- W2076990838 hasConceptScore W2076990838C204241405 @default.
- W2076990838 hasConceptScore W2076990838C2776436953 @default.
- W2076990838 hasConceptScore W2076990838C2779791154 @default.
- W2076990838 hasConceptScore W2076990838C2780654840 @default.
- W2076990838 hasConceptScore W2076990838C41008148 @default.
- W2076990838 hasConceptScore W2076990838C55439883 @default.
- W2076990838 hasConceptScore W2076990838C55493867 @default.
- W2076990838 hasConceptScore W2076990838C80444323 @default.
- W2076990838 hasLocation W20769908381 @default.
- W2076990838 hasLocation W20769908382 @default.
- W2076990838 hasLocation W20769908383 @default.
- W2076990838 hasLocation W20769908384 @default.
- W2076990838 hasLocation W20769908385 @default.
- W2076990838 hasOpenAccess W2076990838 @default.
- W2076990838 hasPrimaryLocation W20769908381 @default.
- W2076990838 hasRelatedWork W1587224678 @default.
- W2076990838 hasRelatedWork W1967226206 @default.
- W2076990838 hasRelatedWork W1968011359 @default.
- W2076990838 hasRelatedWork W1981580304 @default.
- W2076990838 hasRelatedWork W2016527594 @default.
- W2076990838 hasRelatedWork W2169244823 @default.
- W2076990838 hasRelatedWork W2172022734 @default.
- W2076990838 hasRelatedWork W2951137283 @default.
- W2076990838 hasRelatedWork W3147812817 @default.
- W2076990838 hasRelatedWork W4298767027 @default.
- W2076990838 isParatext "false" @default.
- W2076990838 isRetracted "false" @default.
- W2076990838 magId "2076990838" @default.
- W2076990838 workType "book-chapter" @default.