Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183626314> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2183626314 abstract "The essence of systems-level design is the need to integrate models representing different system facets to understand the impacts of local decisions on global requirements. Unfortunately, these models may be defined in disparate semantic systems making composition and integrated analysis challenging. As a part of the Rosetta systems-level design effort, a collection of mechanisms based on coalgebraic semantics has been defined to transform and compose models. Functors define mechanisms for moving models between specification domains; coproducts define mechanisms for composing multiple specifications; and translator functions define mechanisms for structurally compose specifications. Together these techniques provide specification composition support for integrating formal, systems-level analysis activities." @default.
- W2183626314 created "2016-06-24" @default.
- W2183626314 creator A5022601688 @default.
- W2183626314 creator A5030719582 @default.
- W2183626314 creator A5041250540 @default.
- W2183626314 creator A5042452819 @default.
- W2183626314 date "2006-01-01" @default.
- W2183626314 modified "2023-09-23" @default.
- W2183626314 title "Semantic Support for Model Composition" @default.
- W2183626314 cites W1487103029 @default.
- W2183626314 cites W1496267491 @default.
- W2183626314 cites W1540527391 @default.
- W2183626314 cites W1558059851 @default.
- W2183626314 cites W1572073643 @default.
- W2183626314 cites W1576731000 @default.
- W2183626314 cites W1580312341 @default.
- W2183626314 cites W1582406782 @default.
- W2183626314 cites W174471988 @default.
- W2183626314 cites W2026523750 @default.
- W2183626314 cites W2046489718 @default.
- W2183626314 cites W2054097655 @default.
- W2183626314 cites W2102459565 @default.
- W2183626314 cites W2107079484 @default.
- W2183626314 cites W2113352466 @default.
- W2183626314 cites W2129466151 @default.
- W2183626314 cites W2132364484 @default.
- W2183626314 cites W2137863708 @default.
- W2183626314 cites W2141576692 @default.
- W2183626314 cites W2142839324 @default.
- W2183626314 cites W2144973245 @default.
- W2183626314 cites W2168690391 @default.
- W2183626314 cites W2521876884 @default.
- W2183626314 cites W2914821813 @default.
- W2183626314 cites W66140966 @default.
- W2183626314 cites W78732848 @default.
- W2183626314 hasPublicationYear "2006" @default.
- W2183626314 type Work @default.
- W2183626314 sameAs 2183626314 @default.
- W2183626314 citedByCount "1" @default.
- W2183626314 crossrefType "journal-article" @default.
- W2183626314 hasAuthorship W2183626314A5022601688 @default.
- W2183626314 hasAuthorship W2183626314A5030719582 @default.
- W2183626314 hasAuthorship W2183626314A5041250540 @default.
- W2183626314 hasAuthorship W2183626314A5042452819 @default.
- W2183626314 hasConcept C115903868 @default.
- W2183626314 hasConcept C116253237 @default.
- W2183626314 hasConcept C138885662 @default.
- W2183626314 hasConcept C146499914 @default.
- W2183626314 hasConcept C184337299 @default.
- W2183626314 hasConcept C199360897 @default.
- W2183626314 hasConcept C40231798 @default.
- W2183626314 hasConcept C41008148 @default.
- W2183626314 hasConcept C41895202 @default.
- W2183626314 hasConcept C80444323 @default.
- W2183626314 hasConcept C84651959 @default.
- W2183626314 hasConceptScore W2183626314C115903868 @default.
- W2183626314 hasConceptScore W2183626314C116253237 @default.
- W2183626314 hasConceptScore W2183626314C138885662 @default.
- W2183626314 hasConceptScore W2183626314C146499914 @default.
- W2183626314 hasConceptScore W2183626314C184337299 @default.
- W2183626314 hasConceptScore W2183626314C199360897 @default.
- W2183626314 hasConceptScore W2183626314C40231798 @default.
- W2183626314 hasConceptScore W2183626314C41008148 @default.
- W2183626314 hasConceptScore W2183626314C41895202 @default.
- W2183626314 hasConceptScore W2183626314C80444323 @default.
- W2183626314 hasConceptScore W2183626314C84651959 @default.
- W2183626314 hasLocation W21836263141 @default.
- W2183626314 hasOpenAccess W2183626314 @default.
- W2183626314 hasPrimaryLocation W21836263141 @default.
- W2183626314 hasRelatedWork W1593175052 @default.
- W2183626314 hasRelatedWork W1594736276 @default.
- W2183626314 hasRelatedWork W1998527284 @default.
- W2183626314 hasRelatedWork W2003652482 @default.
- W2183626314 hasRelatedWork W2016329432 @default.
- W2183626314 hasRelatedWork W2040993294 @default.
- W2183626314 hasRelatedWork W2050459774 @default.
- W2183626314 hasRelatedWork W2086061185 @default.
- W2183626314 hasRelatedWork W2124916779 @default.
- W2183626314 hasRelatedWork W2187831762 @default.
- W2183626314 hasRelatedWork W220326093 @default.
- W2183626314 hasRelatedWork W2521464635 @default.
- W2183626314 hasRelatedWork W2918337934 @default.
- W2183626314 hasRelatedWork W3004975554 @default.
- W2183626314 hasRelatedWork W3090580281 @default.
- W2183626314 hasRelatedWork W818789911 @default.
- W2183626314 hasRelatedWork W91981638 @default.
- W2183626314 hasRelatedWork W2090562951 @default.
- W2183626314 hasRelatedWork W2186564716 @default.
- W2183626314 hasRelatedWork W2273250121 @default.
- W2183626314 isParatext "false" @default.
- W2183626314 isRetracted "false" @default.
- W2183626314 magId "2183626314" @default.
- W2183626314 workType "article" @default.