Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281841832> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4281841832 endingPage "5880" @default.
- W4281841832 startingPage "5880" @default.
- W4281841832 abstract "In recent decades, there has been a significant increase in systems’ complexity, leading to a rise in the need for more and more models. Models created with different intents are written using different formalisms and give diverse system representations. This work focuses on the system engineering domain and its models. It is crucial to assert a critical system’s compliance with its requirements. Thus, multiple models dedicated to these assertions are designed, such as safety or multi-physics models. As those models are independent of the architecture model, we need to provide means to assert and maintain consistency between them if we want the analyses to be relevant. The model synchronization methodologies give means to work on the consistency between the models through steps of abstraction to a common formalism, comparison, and concretization of the comparison results in the original models. This paper proposes a mathematical framework that allows for a formal definition of such a consistency relation and a mathematical description of the models. We use the context of category theory, as this is a mathematical theory providing great tools for taking into account different abstraction levels and composition of relations. Finally, we show how this mathematical framework can be applied to a specific synchronization methodology with a realistic study case." @default.
- W4281841832 created "2022-06-13" @default.
- W4281841832 creator A5046423816 @default.
- W4281841832 creator A5075701575 @default.
- W4281841832 creator A5076942972 @default.
- W4281841832 creator A5089202510 @default.
- W4281841832 date "2022-06-09" @default.
- W4281841832 modified "2023-09-30" @default.
- W4281841832 title "Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies" @default.
- W4281841832 cites W2057156693 @default.
- W4281841832 cites W2063112979 @default.
- W4281841832 cites W2084571287 @default.
- W4281841832 cites W2117870171 @default.
- W4281841832 cites W2118864410 @default.
- W4281841832 cites W2154884120 @default.
- W4281841832 cites W2164933268 @default.
- W4281841832 cites W2520803088 @default.
- W4281841832 cites W2894503689 @default.
- W4281841832 cites W2903448942 @default.
- W4281841832 cites W2942550903 @default.
- W4281841832 cites W2962887654 @default.
- W4281841832 cites W2979641617 @default.
- W4281841832 cites W2987149273 @default.
- W4281841832 cites W2989783562 @default.
- W4281841832 cites W3027509037 @default.
- W4281841832 cites W3199967553 @default.
- W4281841832 cites W3211029244 @default.
- W4281841832 cites W4220684674 @default.
- W4281841832 cites W4250655274 @default.
- W4281841832 doi "https://doi.org/10.3390/app12125880" @default.
- W4281841832 hasPublicationYear "2022" @default.
- W4281841832 type Work @default.
- W4281841832 citedByCount "2" @default.
- W4281841832 countsByYear W42818418322022 @default.
- W4281841832 countsByYear W42818418322023 @default.
- W4281841832 crossrefType "journal-article" @default.
- W4281841832 hasAuthorship W4281841832A5046423816 @default.
- W4281841832 hasAuthorship W4281841832A5075701575 @default.
- W4281841832 hasAuthorship W4281841832A5076942972 @default.
- W4281841832 hasAuthorship W4281841832A5089202510 @default.
- W4281841832 hasBestOaLocation W42818418321 @default.
- W4281841832 hasConcept C111472728 @default.
- W4281841832 hasConcept C124304363 @default.
- W4281841832 hasConcept C127162648 @default.
- W4281841832 hasConcept C127413603 @default.
- W4281841832 hasConcept C138885662 @default.
- W4281841832 hasConcept C142362112 @default.
- W4281841832 hasConcept C153349607 @default.
- W4281841832 hasConcept C154945302 @default.
- W4281841832 hasConcept C171018156 @default.
- W4281841832 hasConcept C2524010 @default.
- W4281841832 hasConcept C2776436953 @default.
- W4281841832 hasConcept C2778562939 @default.
- W4281841832 hasConcept C31258907 @default.
- W4281841832 hasConcept C33923547 @default.
- W4281841832 hasConcept C41008148 @default.
- W4281841832 hasConcept C539667460 @default.
- W4281841832 hasConcept C558565934 @default.
- W4281841832 hasConcept C73301696 @default.
- W4281841832 hasConcept C80444323 @default.
- W4281841832 hasConceptScore W4281841832C111472728 @default.
- W4281841832 hasConceptScore W4281841832C124304363 @default.
- W4281841832 hasConceptScore W4281841832C127162648 @default.
- W4281841832 hasConceptScore W4281841832C127413603 @default.
- W4281841832 hasConceptScore W4281841832C138885662 @default.
- W4281841832 hasConceptScore W4281841832C142362112 @default.
- W4281841832 hasConceptScore W4281841832C153349607 @default.
- W4281841832 hasConceptScore W4281841832C154945302 @default.
- W4281841832 hasConceptScore W4281841832C171018156 @default.
- W4281841832 hasConceptScore W4281841832C2524010 @default.
- W4281841832 hasConceptScore W4281841832C2776436953 @default.
- W4281841832 hasConceptScore W4281841832C2778562939 @default.
- W4281841832 hasConceptScore W4281841832C31258907 @default.
- W4281841832 hasConceptScore W4281841832C33923547 @default.
- W4281841832 hasConceptScore W4281841832C41008148 @default.
- W4281841832 hasConceptScore W4281841832C539667460 @default.
- W4281841832 hasConceptScore W4281841832C558565934 @default.
- W4281841832 hasConceptScore W4281841832C73301696 @default.
- W4281841832 hasConceptScore W4281841832C80444323 @default.
- W4281841832 hasIssue "12" @default.
- W4281841832 hasLocation W42818418321 @default.
- W4281841832 hasLocation W42818418322 @default.
- W4281841832 hasOpenAccess W4281841832 @default.
- W4281841832 hasPrimaryLocation W42818418321 @default.
- W4281841832 hasRelatedWork W1532035848 @default.
- W4281841832 hasRelatedWork W1570726917 @default.
- W4281841832 hasRelatedWork W176978374 @default.
- W4281841832 hasRelatedWork W206853891 @default.
- W4281841832 hasRelatedWork W2140018423 @default.
- W4281841832 hasRelatedWork W2221591490 @default.
- W4281841832 hasRelatedWork W2484578205 @default.
- W4281841832 hasRelatedWork W2913448675 @default.
- W4281841832 hasRelatedWork W4377968252 @default.
- W4281841832 hasRelatedWork W2610607535 @default.
- W4281841832 hasVolume "12" @default.
- W4281841832 isParatext "false" @default.
- W4281841832 isRetracted "false" @default.
- W4281841832 workType "article" @default.