Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407504519> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2407504519 endingPage "102" @default.
- W2407504519 startingPage "93" @default.
- W2407504519 abstract "In programming as well as in modelling, artefacts are required to comply with the rules of well-formedness given by their underlying language definition or their meta model, respectively. In many cases (e.g. the UML specification or the meta models implemented with EMF), these rules are given as Boolean typed OCL expressions, whose evaluation results indicate whether an artefact is well-formed. In this work, we present a set of transformation rules that allows for the direct use of OCL assertions as input for the generation of a Constraint Satisfaction Problem (CSP) representing a particular user activity, i.e., a CSP in which some constraint variables do not (yet) have values. The constraint generation process is sensitive of the activity’s variability in that immutable parts are evaluated at constraint generation time, thus reducing the generated CSP’s complexity. Our previous work on constraint based programming and modelling tools (allowing for example behaviour-preserving refactoring and well-formedness preserving completions or changes) can thus be applied directly to instances of an arbitrary language or meta model, as long as its invariants are specified in OCL." @default.
- W2407504519 created "2016-06-24" @default.
- W2407504519 creator A5004979548 @default.
- W2407504519 creator A5055273719 @default.
- W2407504519 date "2013-01-01" @default.
- W2407504519 modified "2023-09-27" @default.
- W2407504519 title "OCL as a Constraint Generation Language." @default.
- W2407504519 cites W2027974118 @default.
- W2407504519 cites W2089381631 @default.
- W2407504519 cites W2096012235 @default.
- W2407504519 cites W2126443444 @default.
- W2407504519 cites W2192868624 @default.
- W2407504519 cites W94253497 @default.
- W2407504519 hasPublicationYear "2013" @default.
- W2407504519 type Work @default.
- W2407504519 sameAs 2407504519 @default.
- W2407504519 citedByCount "0" @default.
- W2407504519 crossrefType "journal-article" @default.
- W2407504519 hasAuthorship W2407504519A5004979548 @default.
- W2407504519 hasAuthorship W2407504519A5055273719 @default.
- W2407504519 hasConcept C126255220 @default.
- W2407504519 hasConcept C133264317 @default.
- W2407504519 hasConcept C137631369 @default.
- W2407504519 hasConcept C145644426 @default.
- W2407504519 hasConcept C152752567 @default.
- W2407504519 hasConcept C154945302 @default.
- W2407504519 hasConcept C173404611 @default.
- W2407504519 hasConcept C176783269 @default.
- W2407504519 hasConcept C177264268 @default.
- W2407504519 hasConcept C199360897 @default.
- W2407504519 hasConcept C199622910 @default.
- W2407504519 hasConcept C2524010 @default.
- W2407504519 hasConcept C2776036281 @default.
- W2407504519 hasConcept C2777904410 @default.
- W2407504519 hasConcept C33923547 @default.
- W2407504519 hasConcept C41008148 @default.
- W2407504519 hasConcept C41298492 @default.
- W2407504519 hasConcept C44616089 @default.
- W2407504519 hasConcept C49937458 @default.
- W2407504519 hasConcept C80444323 @default.
- W2407504519 hasConceptScore W2407504519C126255220 @default.
- W2407504519 hasConceptScore W2407504519C133264317 @default.
- W2407504519 hasConceptScore W2407504519C137631369 @default.
- W2407504519 hasConceptScore W2407504519C145644426 @default.
- W2407504519 hasConceptScore W2407504519C152752567 @default.
- W2407504519 hasConceptScore W2407504519C154945302 @default.
- W2407504519 hasConceptScore W2407504519C173404611 @default.
- W2407504519 hasConceptScore W2407504519C176783269 @default.
- W2407504519 hasConceptScore W2407504519C177264268 @default.
- W2407504519 hasConceptScore W2407504519C199360897 @default.
- W2407504519 hasConceptScore W2407504519C199622910 @default.
- W2407504519 hasConceptScore W2407504519C2524010 @default.
- W2407504519 hasConceptScore W2407504519C2776036281 @default.
- W2407504519 hasConceptScore W2407504519C2777904410 @default.
- W2407504519 hasConceptScore W2407504519C33923547 @default.
- W2407504519 hasConceptScore W2407504519C41008148 @default.
- W2407504519 hasConceptScore W2407504519C41298492 @default.
- W2407504519 hasConceptScore W2407504519C44616089 @default.
- W2407504519 hasConceptScore W2407504519C49937458 @default.
- W2407504519 hasConceptScore W2407504519C80444323 @default.
- W2407504519 hasLocation W24075045191 @default.
- W2407504519 hasOpenAccess W2407504519 @default.
- W2407504519 hasPrimaryLocation W24075045191 @default.
- W2407504519 hasRelatedWork W1032800 @default.
- W2407504519 hasRelatedWork W1503552388 @default.
- W2407504519 hasRelatedWork W1518695183 @default.
- W2407504519 hasRelatedWork W1521335266 @default.
- W2407504519 hasRelatedWork W1854683928 @default.
- W2407504519 hasRelatedWork W1986270432 @default.
- W2407504519 hasRelatedWork W199370569 @default.
- W2407504519 hasRelatedWork W2021519440 @default.
- W2407504519 hasRelatedWork W2119846530 @default.
- W2407504519 hasRelatedWork W2199942537 @default.
- W2407504519 hasRelatedWork W2247531519 @default.
- W2407504519 hasRelatedWork W2267235348 @default.
- W2407504519 hasRelatedWork W2293830332 @default.
- W2407504519 hasRelatedWork W2308470703 @default.
- W2407504519 hasRelatedWork W2401785971 @default.
- W2407504519 hasRelatedWork W2502140738 @default.
- W2407504519 hasRelatedWork W2621223372 @default.
- W2407504519 hasRelatedWork W3103318063 @default.
- W2407504519 hasRelatedWork W3125470836 @default.
- W2407504519 hasRelatedWork W979826707 @default.
- W2407504519 isParatext "false" @default.
- W2407504519 isRetracted "false" @default.
- W2407504519 magId "2407504519" @default.
- W2407504519 workType "article" @default.