Matches in SemOpenAlex for { <https://semopenalex.org/work/W2400691688> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2400691688 endingPage "37" @default.
- W2400691688 startingPage "28" @default.
- W2400691688 abstract "In model-driven engineering, structural models represent software at the early phases of software development. They are assumed to generate the models in subsequent phases which finally result in software. Thus, it is important to make sure these models are correct w.r.t. different concerns, e.g., consistency, or lack of redundant constraints. In this paper, we present a bounded verification approach using Alloy and integrate it into a graphical modelling tool. The graphical models and the properties to be verified are automatically transformed to Alloy specifications, which are examined by the Alloy Analyzer to verify whether the models satisfy the properties. The verification results are presented as feedbacks in the modelling tool. In this way, a model designer can verify models without knowing the underlying verification techniques and receive user-friendly feedbacks. A challenge in the verification approach is scalability. To tackle this, we present a technique for splitting models into submodels according to their constraints and the properties to be verified. A submodel is left-total if each of its instances can be extended to an instance of the whole model by adding elements typed by the elements that are not in the submodel. The verification of a model is then reduced to the verification of its left-total submodels. We will demonstrate the approach by a running example and we present an experimental result to show that the splitting technique may alleviate the scalability problem." @default.
- W2400691688 created "2016-06-24" @default.
- W2400691688 creator A5031874278 @default.
- W2400691688 creator A5044790089 @default.
- W2400691688 creator A5091633550 @default.
- W2400691688 date "2015-01-01" @default.
- W2400691688 modified "2023-09-27" @default.
- W2400691688 title "Towards user-friendly and efficient analysis with alloy" @default.
- W2400691688 cites W113947020 @default.
- W2400691688 cites W138671001 @default.
- W2400691688 cites W171582639 @default.
- W2400691688 cites W187743145 @default.
- W2400691688 cites W1895387792 @default.
- W2400691688 cites W1997864678 @default.
- W2400691688 cites W1998400029 @default.
- W2400691688 cites W2004516093 @default.
- W2400691688 cites W2016698151 @default.
- W2400691688 cites W2021257181 @default.
- W2400691688 cites W2027346590 @default.
- W2400691688 cites W204235972 @default.
- W2400691688 cites W2089381631 @default.
- W2400691688 cites W2091920469 @default.
- W2400691688 cites W2117484396 @default.
- W2400691688 cites W2126443444 @default.
- W2400691688 cites W2139872812 @default.
- W2400691688 cites W2145486615 @default.
- W2400691688 cites W2329446246 @default.
- W2400691688 cites W2539589456 @default.
- W2400691688 cites W807041163 @default.
- W2400691688 hasPublicationYear "2015" @default.
- W2400691688 type Work @default.
- W2400691688 sameAs 2400691688 @default.
- W2400691688 citedByCount "1" @default.
- W2400691688 countsByYear W24006916882017 @default.
- W2400691688 crossrefType "journal-article" @default.
- W2400691688 hasAuthorship W2400691688A5031874278 @default.
- W2400691688 hasAuthorship W2400691688A5044790089 @default.
- W2400691688 hasAuthorship W2400691688A5091633550 @default.
- W2400691688 hasConcept C110251889 @default.
- W2400691688 hasConcept C11413529 @default.
- W2400691688 hasConcept C124101348 @default.
- W2400691688 hasConcept C134306372 @default.
- W2400691688 hasConcept C154945302 @default.
- W2400691688 hasConcept C155846161 @default.
- W2400691688 hasConcept C199360897 @default.
- W2400691688 hasConcept C2776436953 @default.
- W2400691688 hasConcept C2777904410 @default.
- W2400691688 hasConcept C33923547 @default.
- W2400691688 hasConcept C34388435 @default.
- W2400691688 hasConcept C37789001 @default.
- W2400691688 hasConcept C41008148 @default.
- W2400691688 hasConcept C48044578 @default.
- W2400691688 hasConcept C61437842 @default.
- W2400691688 hasConcept C77088390 @default.
- W2400691688 hasConcept C80444323 @default.
- W2400691688 hasConceptScore W2400691688C110251889 @default.
- W2400691688 hasConceptScore W2400691688C11413529 @default.
- W2400691688 hasConceptScore W2400691688C124101348 @default.
- W2400691688 hasConceptScore W2400691688C134306372 @default.
- W2400691688 hasConceptScore W2400691688C154945302 @default.
- W2400691688 hasConceptScore W2400691688C155846161 @default.
- W2400691688 hasConceptScore W2400691688C199360897 @default.
- W2400691688 hasConceptScore W2400691688C2776436953 @default.
- W2400691688 hasConceptScore W2400691688C2777904410 @default.
- W2400691688 hasConceptScore W2400691688C33923547 @default.
- W2400691688 hasConceptScore W2400691688C34388435 @default.
- W2400691688 hasConceptScore W2400691688C37789001 @default.
- W2400691688 hasConceptScore W2400691688C41008148 @default.
- W2400691688 hasConceptScore W2400691688C48044578 @default.
- W2400691688 hasConceptScore W2400691688C61437842 @default.
- W2400691688 hasConceptScore W2400691688C77088390 @default.
- W2400691688 hasConceptScore W2400691688C80444323 @default.
- W2400691688 hasLocation W24006916881 @default.
- W2400691688 hasOpenAccess W2400691688 @default.
- W2400691688 hasPrimaryLocation W24006916881 @default.
- W2400691688 hasRelatedWork W2361766862 @default.
- W2400691688 isParatext "false" @default.
- W2400691688 isRetracted "false" @default.
- W2400691688 magId "2400691688" @default.
- W2400691688 workType "article" @default.