Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072881724> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2072881724 endingPage "551" @default.
- W2072881724 startingPage "527" @default.
- W2072881724 abstract "The Object Constraint Language (OCL) is widely used to express static constraints on models and object-oriented systems. However, the notion of dynamic constraints, controlling the system behavior over time, has not been natively supported. Such dynamic constraints are necessary to handle temporal and real-time properties of systems. In this paper, we first add a temporal layer to the OCL language, based syntactically on Dwyer et al.'s specification patterns. We enrich it with formal scenario-based semantics and integrate it into the current Eclipse OCL plug-in. Second, we translate, with a compositional approach, OCL temporal properties into finite-state automata and we connect our framework to automatic test generators. This way, we create a bridge linking model driven engineering and usual formal methods." @default.
- W2072881724 created "2016-06-24" @default.
- W2072881724 creator A5014207768 @default.
- W2072881724 creator A5081952357 @default.
- W2072881724 date "2014-12-01" @default.
- W2072881724 modified "2023-10-15" @default.
- W2072881724 title "Specification of temporal properties with OCL" @default.
- W2072881724 cites W1531055662 @default.
- W2072881724 cites W2047276559 @default.
- W2072881724 cites W2050058543 @default.
- W2072881724 cites W2066511594 @default.
- W2072881724 cites W2143236904 @default.
- W2072881724 doi "https://doi.org/10.1016/j.scico.2014.02.029" @default.
- W2072881724 hasPublicationYear "2014" @default.
- W2072881724 type Work @default.
- W2072881724 sameAs 2072881724 @default.
- W2072881724 citedByCount "7" @default.
- W2072881724 countsByYear W20728817242016 @default.
- W2072881724 countsByYear W20728817242017 @default.
- W2072881724 countsByYear W20728817242018 @default.
- W2072881724 countsByYear W20728817242019 @default.
- W2072881724 countsByYear W20728817242021 @default.
- W2072881724 crossrefType "journal-article" @default.
- W2072881724 hasAuthorship W2072881724A5014207768 @default.
- W2072881724 hasAuthorship W2072881724A5081952357 @default.
- W2072881724 hasBestOaLocation W20728817241 @default.
- W2072881724 hasConcept C112505250 @default.
- W2072881724 hasConcept C121332964 @default.
- W2072881724 hasConcept C127413603 @default.
- W2072881724 hasConcept C1276947 @default.
- W2072881724 hasConcept C133264317 @default.
- W2072881724 hasConcept C145644426 @default.
- W2072881724 hasConcept C184337299 @default.
- W2072881724 hasConcept C199360897 @default.
- W2072881724 hasConcept C25016198 @default.
- W2072881724 hasConcept C2776036281 @default.
- W2072881724 hasConcept C2777904410 @default.
- W2072881724 hasConcept C2778505590 @default.
- W2072881724 hasConcept C41008148 @default.
- W2072881724 hasConcept C41298492 @default.
- W2072881724 hasConcept C73752529 @default.
- W2072881724 hasConcept C78519656 @default.
- W2072881724 hasConcept C80444323 @default.
- W2072881724 hasConceptScore W2072881724C112505250 @default.
- W2072881724 hasConceptScore W2072881724C121332964 @default.
- W2072881724 hasConceptScore W2072881724C127413603 @default.
- W2072881724 hasConceptScore W2072881724C1276947 @default.
- W2072881724 hasConceptScore W2072881724C133264317 @default.
- W2072881724 hasConceptScore W2072881724C145644426 @default.
- W2072881724 hasConceptScore W2072881724C184337299 @default.
- W2072881724 hasConceptScore W2072881724C199360897 @default.
- W2072881724 hasConceptScore W2072881724C25016198 @default.
- W2072881724 hasConceptScore W2072881724C2776036281 @default.
- W2072881724 hasConceptScore W2072881724C2777904410 @default.
- W2072881724 hasConceptScore W2072881724C2778505590 @default.
- W2072881724 hasConceptScore W2072881724C41008148 @default.
- W2072881724 hasConceptScore W2072881724C41298492 @default.
- W2072881724 hasConceptScore W2072881724C73752529 @default.
- W2072881724 hasConceptScore W2072881724C78519656 @default.
- W2072881724 hasConceptScore W2072881724C80444323 @default.
- W2072881724 hasFunder F4320320883 @default.
- W2072881724 hasLocation W20728817241 @default.
- W2072881724 hasLocation W20728817242 @default.
- W2072881724 hasLocation W20728817243 @default.
- W2072881724 hasOpenAccess W2072881724 @default.
- W2072881724 hasPrimaryLocation W20728817241 @default.
- W2072881724 hasRelatedWork W1409730681 @default.
- W2072881724 hasRelatedWork W1587224678 @default.
- W2072881724 hasRelatedWork W174415102 @default.
- W2072881724 hasRelatedWork W1997840873 @default.
- W2072881724 hasRelatedWork W2091955591 @default.
- W2072881724 hasRelatedWork W2151277984 @default.
- W2072881724 hasRelatedWork W2244075056 @default.
- W2072881724 hasRelatedWork W2991618286 @default.
- W2072881724 hasRelatedWork W1482645738 @default.
- W2072881724 hasRelatedWork W2528467228 @default.
- W2072881724 hasVolume "96" @default.
- W2072881724 isParatext "false" @default.
- W2072881724 isRetracted "false" @default.
- W2072881724 magId "2072881724" @default.
- W2072881724 workType "article" @default.