Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891366467> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2891366467 endingPage "177" @default.
- W2891366467 startingPage "152" @default.
- W2891366467 abstract "Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class models described using the Unified Modeling Language (UML). The proposed framework allows us to identify possible design flaws as early as possible in the software development cycle. More specifically, we focus on UML Class Diagrams annotated with Object Constraint Language (OCL) invariants, which are considered to be the main artifacts in Object-Oriented analysis and design for representing the static structure of a system. We use the Constraint Logic programming (CLP) paradigm to reason about UML Class Diagrams modeling foundations. In particular, we use Formula as a model-finding and design space exploration tool. We also present an experimental Eclipse plug-in, which implements our UML model to Formula translation proposal following a Model Driven Architecture (MDA) approach. The proposed framework can be used to reason, validate, and verify UML Class Diagram software designs by checking correctness properties and generating model instances using the model exploration tool Formula." @default.
- W2891366467 created "2018-09-27" @default.
- W2891366467 creator A5021567575 @default.
- W2891366467 creator A5043249778 @default.
- W2891366467 date "2019-03-01" @default.
- W2891366467 modified "2023-10-16" @default.
- W2891366467 title "Reasoning about UML/OCL class diagrams using constraint logic programming and formula" @default.
- W2891366467 cites W1814221162 @default.
- W2891366467 cites W2005003744 @default.
- W2891366467 cites W2027346590 @default.
- W2891366467 cites W2055287943 @default.
- W2891366467 cites W2075015657 @default.
- W2891366467 cites W2091389738 @default.
- W2891366467 cites W2091920469 @default.
- W2891366467 cites W2111445678 @default.
- W2891366467 cites W2406059451 @default.
- W2891366467 cites W2526703663 @default.
- W2891366467 cites W2581833413 @default.
- W2891366467 cites W2749804820 @default.
- W2891366467 cites W3140501928 @default.
- W2891366467 cites W4213179597 @default.
- W2891366467 cites W4233648386 @default.
- W2891366467 cites W4360930346 @default.
- W2891366467 cites W70965548 @default.
- W2891366467 doi "https://doi.org/10.1016/j.is.2018.08.005" @default.
- W2891366467 hasPublicationYear "2019" @default.
- W2891366467 type Work @default.
- W2891366467 sameAs 2891366467 @default.
- W2891366467 citedByCount "16" @default.
- W2891366467 countsByYear W28913664672019 @default.
- W2891366467 countsByYear W28913664672020 @default.
- W2891366467 countsByYear W28913664672021 @default.
- W2891366467 countsByYear W28913664672022 @default.
- W2891366467 countsByYear W28913664672023 @default.
- W2891366467 crossrefType "journal-article" @default.
- W2891366467 hasAuthorship W2891366467A5021567575 @default.
- W2891366467 hasAuthorship W2891366467A5043249778 @default.
- W2891366467 hasConcept C115903868 @default.
- W2891366467 hasConcept C133264317 @default.
- W2891366467 hasConcept C145644426 @default.
- W2891366467 hasConcept C146939238 @default.
- W2891366467 hasConcept C153185123 @default.
- W2891366467 hasConcept C199360897 @default.
- W2891366467 hasConcept C202446494 @default.
- W2891366467 hasConcept C21285288 @default.
- W2891366467 hasConcept C2777904410 @default.
- W2891366467 hasConcept C41008148 @default.
- W2891366467 hasConcept C41298492 @default.
- W2891366467 hasConcept C48419115 @default.
- W2891366467 hasConcept C80444323 @default.
- W2891366467 hasConceptScore W2891366467C115903868 @default.
- W2891366467 hasConceptScore W2891366467C133264317 @default.
- W2891366467 hasConceptScore W2891366467C145644426 @default.
- W2891366467 hasConceptScore W2891366467C146939238 @default.
- W2891366467 hasConceptScore W2891366467C153185123 @default.
- W2891366467 hasConceptScore W2891366467C199360897 @default.
- W2891366467 hasConceptScore W2891366467C202446494 @default.
- W2891366467 hasConceptScore W2891366467C21285288 @default.
- W2891366467 hasConceptScore W2891366467C2777904410 @default.
- W2891366467 hasConceptScore W2891366467C41008148 @default.
- W2891366467 hasConceptScore W2891366467C41298492 @default.
- W2891366467 hasConceptScore W2891366467C48419115 @default.
- W2891366467 hasConceptScore W2891366467C80444323 @default.
- W2891366467 hasFunder F4320321108 @default.
- W2891366467 hasFunder F4320321837 @default.
- W2891366467 hasLocation W28913664671 @default.
- W2891366467 hasOpenAccess W2891366467 @default.
- W2891366467 hasPrimaryLocation W28913664671 @default.
- W2891366467 hasRelatedWork W2015215117 @default.
- W2891366467 hasRelatedWork W2139608660 @default.
- W2891366467 hasRelatedWork W2259842142 @default.
- W2891366467 hasRelatedWork W2294019387 @default.
- W2891366467 hasRelatedWork W2335353726 @default.
- W2891366467 hasRelatedWork W2347908504 @default.
- W2891366467 hasRelatedWork W2380460500 @default.
- W2891366467 hasRelatedWork W2387087283 @default.
- W2891366467 hasRelatedWork W2438978016 @default.
- W2891366467 hasRelatedWork W3133056648 @default.
- W2891366467 hasVolume "81" @default.
- W2891366467 isParatext "false" @default.
- W2891366467 isRetracted "false" @default.
- W2891366467 magId "2891366467" @default.
- W2891366467 workType "article" @default.