Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577805793> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1577805793 endingPage "46" @default.
- W1577805793 startingPage "32" @default.
- W1577805793 abstract "The Object Constraint Language (OCL) offers so-called non-deterministic constructs which are often only poorly understood even by OCL experts. They are widely ignored in the OCL literature, their semantics given in the official language description of OCL is ill-defined, and none of today’s OCL tools support them in a consistent way. The source of the poor understanding and ill-defined semantics is, as identified in this paper, OCL’s attempt to adopt the concept of non-determinism from other specification languages with fundamentally different semantical foundations. While this insight helps to improve the understanding of non-deterministic constructs it also shows that there are some formidable obstacles for their integration into OCL. However, in some cases, non-deterministic constructs can be read as abbreviations for more complex deterministic constructs and can help to formulate a specification in a more understandable way. Thus, we suggest to integrate non-deterministic constructs in other specification languages such as Z, JML, Eiffel whose semantical foundations are similar to those of OCL." @default.
- W1577805793 created "2016-06-24" @default.
- W1577805793 creator A5066636643 @default.
- W1577805793 date "2005-01-01" @default.
- W1577805793 modified "2023-10-03" @default.
- W1577805793 title "Non-deterministic Constructs in OCL – What Does any() Mean" @default.
- W1577805793 cites W2052363833 @default.
- W1577805793 doi "https://doi.org/10.1007/11506843_3" @default.
- W1577805793 hasPublicationYear "2005" @default.
- W1577805793 type Work @default.
- W1577805793 sameAs 1577805793 @default.
- W1577805793 citedByCount "10" @default.
- W1577805793 countsByYear W15778057932017 @default.
- W1577805793 countsByYear W15778057932021 @default.
- W1577805793 countsByYear W15778057932022 @default.
- W1577805793 crossrefType "book-chapter" @default.
- W1577805793 hasAuthorship W1577805793A5066636643 @default.
- W1577805793 hasBestOaLocation W15778057932 @default.
- W1577805793 hasConcept C133264317 @default.
- W1577805793 hasConcept C145644426 @default.
- W1577805793 hasConcept C184337299 @default.
- W1577805793 hasConcept C186362262 @default.
- W1577805793 hasConcept C199360897 @default.
- W1577805793 hasConcept C201677973 @default.
- W1577805793 hasConcept C2777904410 @default.
- W1577805793 hasConcept C41008148 @default.
- W1577805793 hasConcept C41298492 @default.
- W1577805793 hasConcept C48859967 @default.
- W1577805793 hasConcept C73752529 @default.
- W1577805793 hasConcept C80444323 @default.
- W1577805793 hasConceptScore W1577805793C133264317 @default.
- W1577805793 hasConceptScore W1577805793C145644426 @default.
- W1577805793 hasConceptScore W1577805793C184337299 @default.
- W1577805793 hasConceptScore W1577805793C186362262 @default.
- W1577805793 hasConceptScore W1577805793C199360897 @default.
- W1577805793 hasConceptScore W1577805793C201677973 @default.
- W1577805793 hasConceptScore W1577805793C2777904410 @default.
- W1577805793 hasConceptScore W1577805793C41008148 @default.
- W1577805793 hasConceptScore W1577805793C41298492 @default.
- W1577805793 hasConceptScore W1577805793C48859967 @default.
- W1577805793 hasConceptScore W1577805793C73752529 @default.
- W1577805793 hasConceptScore W1577805793C80444323 @default.
- W1577805793 hasLocation W15778057931 @default.
- W1577805793 hasLocation W15778057932 @default.
- W1577805793 hasOpenAccess W1577805793 @default.
- W1577805793 hasPrimaryLocation W15778057931 @default.
- W1577805793 hasRelatedWork W141584374 @default.
- W1577805793 hasRelatedWork W1577805793 @default.
- W1577805793 hasRelatedWork W1583364777 @default.
- W1577805793 hasRelatedWork W1611281168 @default.
- W1577805793 hasRelatedWork W1709748579 @default.
- W1577805793 hasRelatedWork W1968433281 @default.
- W1577805793 hasRelatedWork W197993722 @default.
- W1577805793 hasRelatedWork W2047793074 @default.
- W1577805793 hasRelatedWork W2113339816 @default.
- W1577805793 hasRelatedWork W421036565 @default.
- W1577805793 isParatext "false" @default.
- W1577805793 isRetracted "false" @default.
- W1577805793 magId "1577805793" @default.
- W1577805793 workType "book-chapter" @default.