FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W89059183> ?p ?o ?g. }

• W89059183 endingPage "250" @default.
• W89059183 startingPage "235" @default.
• W89059183 abstract "Current trends in system engineering combine modeling, composition and verification technologies in order to harness their ever growing complexity. Each composition operator dedicated to a different modeling concern should be proven to be property preserving at assembly time. These proofs are usually burdensome with repetitive aspects. Our work targets the factorisation of these aspects relying on primitive generic composition operators used to express more sophisticated language specific ones. These operators are defined for languages expressed with OMG MOF metamodeling technologies. The proofs are done with the Coq proof assistant relying on the Coq4MDE framework defined previously. These basic operators, Union and Substitution, are illustrated using the MOF Package Merge as a composition operator and the preservation of model conformance as a verified property." @default.
• W89059183 created "2016-06-24" @default.
• W89059183 creator A5018183217 @default.
• W89059183 creator A5065474253 @default.
• W89059183 creator A5079739010 @default.
• W89059183 creator A5085820290 @default.
• W89059183 date "2014-01-01" @default.
• W89059183 modified "2023-10-03" @default.
• W89059183 title "A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators" @default.
• W89059183 cites W138671001 @default.
• W89059183 cites W1449132512 @default.
• W89059183 cites W1481029116 @default.
• W89059183 cites W1517809527 @default.
• W89059183 cites W1546264185 @default.
• W89059183 cites W1569780408 @default.
• W89059183 cites W1579389332 @default.
• W89059183 cites W1866297606 @default.
• W89059183 cites W1933152877 @default.
• W89059183 cites W1991651491 @default.
• W89059183 cites W1992767768 @default.
• W89059183 cites W1998527284 @default.
• W89059183 cites W2015479359 @default.
• W89059183 cites W2022505402 @default.
• W89059183 cites W2092833514 @default.
• W89059183 cites W2105550191 @default.
• W89059183 cites W2119291625 @default.
• W89059183 cites W2129492722 @default.
• W89059183 cites W2134287022 @default.
• W89059183 cites W2142346010 @default.
• W89059183 cites W2147694437 @default.
• W89059183 cites W2152846401 @default.
• W89059183 cites W2158826063 @default.
• W89059183 cites W2158931775 @default.
• W89059183 cites W2164300322 @default.
• W89059183 cites W2170995490 @default.
• W89059183 cites W2493187222 @default.
• W89059183 cites W2949542198 @default.
• W89059183 cites W4210878735 @default.
• W89059183 cites W4231432895 @default.
• W89059183 doi "https://doi.org/10.1007/978-3-319-11737-9_16" @default.
• W89059183 hasPublicationYear "2014" @default.
• W89059183 type Work @default.
• W89059183 sameAs 89059183 @default.
• W89059183 citedByCount "3" @default.
• W89059183 countsByYear W890591832016 @default.
• W89059183 countsByYear W890591832017 @default.
• W89059183 countsByYear W890591832018 @default.
• W89059183 crossrefType "book-chapter" @default.
• W89059183 hasAuthorship W89059183A5018183217 @default.
• W89059183 hasAuthorship W89059183A5065474253 @default.
• W89059183 hasAuthorship W89059183A5079739010 @default.
• W89059183 hasAuthorship W89059183A5085820290 @default.
• W89059183 hasBestOaLocation W890591832 @default.
• W89059183 hasConcept C108710211 @default.
• W89059183 hasConcept C115903868 @default.
• W89059183 hasConcept C138885662 @default.
• W89059183 hasConcept C197129107 @default.
• W89059183 hasConcept C199360897 @default.
• W89059183 hasConcept C21513729 @default.
• W89059183 hasConcept C23123220 @default.
• W89059183 hasConcept C2524010 @default.
• W89059183 hasConcept C2778029271 @default.
• W89059183 hasConcept C33923547 @default.
• W89059183 hasConcept C40231798 @default.
• W89059183 hasConcept C41008148 @default.
• W89059183 hasConcept C41895202 @default.
• W89059183 hasConcept C55439883 @default.
• W89059183 hasConcept C79013869 @default.
• W89059183 hasConcept C80444323 @default.
• W89059183 hasConcept C86610423 @default.
• W89059183 hasConceptScore W89059183C108710211 @default.
• W89059183 hasConceptScore W89059183C115903868 @default.
• W89059183 hasConceptScore W89059183C138885662 @default.
• W89059183 hasConceptScore W89059183C197129107 @default.
• W89059183 hasConceptScore W89059183C199360897 @default.
• W89059183 hasConceptScore W89059183C21513729 @default.
• W89059183 hasConceptScore W89059183C23123220 @default.
• W89059183 hasConceptScore W89059183C2524010 @default.
• W89059183 hasConceptScore W89059183C2778029271 @default.
• W89059183 hasConceptScore W89059183C33923547 @default.
• W89059183 hasConceptScore W89059183C40231798 @default.
• W89059183 hasConceptScore W89059183C41008148 @default.
• W89059183 hasConceptScore W89059183C41895202 @default.
• W89059183 hasConceptScore W89059183C55439883 @default.
• W89059183 hasConceptScore W89059183C79013869 @default.
• W89059183 hasConceptScore W89059183C80444323 @default.
• W89059183 hasConceptScore W89059183C86610423 @default.
• W89059183 hasLocation W890591831 @default.
• W89059183 hasLocation W890591832 @default.
• W89059183 hasLocation W890591833 @default.
• W89059183 hasLocation W890591834 @default.
• W89059183 hasLocation W890591835 @default.
• W89059183 hasOpenAccess W89059183 @default.
• W89059183 hasPrimaryLocation W890591831 @default.
• W89059183 hasRelatedWork W1019628555 @default.
• W89059183 hasRelatedWork W1997440650 @default.
• W89059183 hasRelatedWork W2113181166 @default.
• W89059183 hasRelatedWork W2116536633 @default.

• next