Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009691504> ?p ?o ?g. }
- W2009691504 endingPage "41" @default.
- W2009691504 startingPage "1" @default.
- W2009691504 abstract "To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen from two different perspectives. On the one hand, from the point of view of its definition, a conceptual schema must be right . This is ensured by means of verification techniques that check whether the schema satisfies several correctness properties. On the other hand, from the point of view of the requirements that the information system should satisfy, a schema must also be the right one . This is ensured by means of validation techniques, which help the designer understand the exact meaning of a schema and to see whether it corresponds to the requirements. In this article we propose an approach to verify and validate UML conceptual schemas, with arbitrary constraints formalized in OCL. We have also implemented our approach to show its feasibility." @default.
- W2009691504 created "2016-06-24" @default.
- W2009691504 creator A5012828540 @default.
- W2009691504 creator A5085687963 @default.
- W2009691504 date "2012-03-01" @default.
- W2009691504 modified "2023-09-27" @default.
- W2009691504 title "Verification and Validation of UML Conceptual Schemas with OCL Constraints" @default.
- W2009691504 cites W111894459 @default.
- W2009691504 cites W1481422796 @default.
- W2009691504 cites W1550735538 @default.
- W2009691504 cites W1561488285 @default.
- W2009691504 cites W165540832 @default.
- W2009691504 cites W1788252977 @default.
- W2009691504 cites W1964992116 @default.
- W2009691504 cites W1975172409 @default.
- W2009691504 cites W1985804037 @default.
- W2009691504 cites W1985819576 @default.
- W2009691504 cites W2028864278 @default.
- W2009691504 cites W2031111226 @default.
- W2009691504 cites W2034907585 @default.
- W2009691504 cites W2041990479 @default.
- W2009691504 cites W2043283603 @default.
- W2009691504 cites W2053925071 @default.
- W2009691504 cites W2057069578 @default.
- W2009691504 cites W2060440626 @default.
- W2009691504 cites W2075886324 @default.
- W2009691504 cites W2091920469 @default.
- W2009691504 cites W2111445678 @default.
- W2009691504 cites W2131566236 @default.
- W2009691504 cites W4255993952 @default.
- W2009691504 doi "https://doi.org/10.1145/2089116.2089123" @default.
- W2009691504 hasPublicationYear "2012" @default.
- W2009691504 type Work @default.
- W2009691504 sameAs 2009691504 @default.
- W2009691504 citedByCount "61" @default.
- W2009691504 countsByYear W20096915042012 @default.
- W2009691504 countsByYear W20096915042013 @default.
- W2009691504 countsByYear W20096915042014 @default.
- W2009691504 countsByYear W20096915042015 @default.
- W2009691504 countsByYear W20096915042016 @default.
- W2009691504 countsByYear W20096915042017 @default.
- W2009691504 countsByYear W20096915042018 @default.
- W2009691504 countsByYear W20096915042019 @default.
- W2009691504 countsByYear W20096915042021 @default.
- W2009691504 countsByYear W20096915042022 @default.
- W2009691504 crossrefType "journal-article" @default.
- W2009691504 hasAuthorship W2009691504A5012828540 @default.
- W2009691504 hasAuthorship W2009691504A5085687963 @default.
- W2009691504 hasBestOaLocation W20096915041 @default.
- W2009691504 hasConcept C115903868 @default.
- W2009691504 hasConcept C124101348 @default.
- W2009691504 hasConcept C138496976 @default.
- W2009691504 hasConcept C145644426 @default.
- W2009691504 hasConcept C148840519 @default.
- W2009691504 hasConcept C15744967 @default.
- W2009691504 hasConcept C165611974 @default.
- W2009691504 hasConcept C199360897 @default.
- W2009691504 hasConcept C23123220 @default.
- W2009691504 hasConcept C2777904410 @default.
- W2009691504 hasConcept C29275276 @default.
- W2009691504 hasConcept C30775581 @default.
- W2009691504 hasConcept C41008148 @default.
- W2009691504 hasConcept C52146309 @default.
- W2009691504 hasConcept C55439883 @default.
- W2009691504 hasConceptScore W2009691504C115903868 @default.
- W2009691504 hasConceptScore W2009691504C124101348 @default.
- W2009691504 hasConceptScore W2009691504C138496976 @default.
- W2009691504 hasConceptScore W2009691504C145644426 @default.
- W2009691504 hasConceptScore W2009691504C148840519 @default.
- W2009691504 hasConceptScore W2009691504C15744967 @default.
- W2009691504 hasConceptScore W2009691504C165611974 @default.
- W2009691504 hasConceptScore W2009691504C199360897 @default.
- W2009691504 hasConceptScore W2009691504C23123220 @default.
- W2009691504 hasConceptScore W2009691504C2777904410 @default.
- W2009691504 hasConceptScore W2009691504C29275276 @default.
- W2009691504 hasConceptScore W2009691504C30775581 @default.
- W2009691504 hasConceptScore W2009691504C41008148 @default.
- W2009691504 hasConceptScore W2009691504C52146309 @default.
- W2009691504 hasConceptScore W2009691504C55439883 @default.
- W2009691504 hasFunder F4320322930 @default.
- W2009691504 hasIssue "2" @default.
- W2009691504 hasLocation W20096915041 @default.
- W2009691504 hasOpenAccess W2009691504 @default.
- W2009691504 hasPrimaryLocation W20096915041 @default.
- W2009691504 hasRelatedWork W1517439810 @default.
- W2009691504 hasRelatedWork W156590299 @default.
- W2009691504 hasRelatedWork W1565974405 @default.
- W2009691504 hasRelatedWork W1576919876 @default.
- W2009691504 hasRelatedWork W1979663056 @default.
- W2009691504 hasRelatedWork W1991816426 @default.
- W2009691504 hasRelatedWork W2009691504 @default.
- W2009691504 hasRelatedWork W2042554793 @default.
- W2009691504 hasRelatedWork W2584228229 @default.
- W2009691504 hasRelatedWork W2994382993 @default.
- W2009691504 hasVolume "21" @default.
- W2009691504 isParatext "false" @default.
- W2009691504 isRetracted "false" @default.
- W2009691504 magId "2009691504" @default.