Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300099050> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4300099050 abstract "Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications. However mastering SDN still poses numerous challenges among which the design of correct SDN components (more specifically controller and switches). In this work we use a formal stepwise approach to model and reason on SDN. Although formal approaches have already been used in this area, this contribution is the first state-based approach; it is based on the Event-B formal method, and it enables a correct-by-construction of SDN components. We provide the steps to build, using several refinements, a global formal model of a SDN system; correct SDN components are then systematically built from the global formal model satisfying the desired properties. Event-B is used to experiment the approach." @default.
- W4300099050 created "2022-10-03" @default.
- W4300099050 creator A5091558153 @default.
- W4300099050 date "2018-06-25" @default.
- W4300099050 modified "2023-10-01" @default.
- W4300099050 title "Building Correct SDN-Based Components from a Global Formal Mode" @default.
- W4300099050 doi "https://doi.org/10.48550/arxiv.1806.09476" @default.
- W4300099050 hasPublicationYear "2018" @default.
- W4300099050 type Work @default.
- W4300099050 citedByCount "0" @default.
- W4300099050 crossrefType "posted-content" @default.
- W4300099050 hasAuthorship W4300099050A5091558153 @default.
- W4300099050 hasBestOaLocation W43000990501 @default.
- W4300099050 hasConcept C105795698 @default.
- W4300099050 hasConcept C111498074 @default.
- W4300099050 hasConcept C115903868 @default.
- W4300099050 hasConcept C120314980 @default.
- W4300099050 hasConcept C121332964 @default.
- W4300099050 hasConcept C199360897 @default.
- W4300099050 hasConcept C203479927 @default.
- W4300099050 hasConcept C2777904410 @default.
- W4300099050 hasConcept C2779662365 @default.
- W4300099050 hasConcept C2780598303 @default.
- W4300099050 hasConcept C2985583900 @default.
- W4300099050 hasConcept C33923547 @default.
- W4300099050 hasConcept C41008148 @default.
- W4300099050 hasConcept C48103436 @default.
- W4300099050 hasConcept C62520636 @default.
- W4300099050 hasConcept C6557445 @default.
- W4300099050 hasConcept C75606506 @default.
- W4300099050 hasConcept C77270119 @default.
- W4300099050 hasConcept C80444323 @default.
- W4300099050 hasConcept C86803240 @default.
- W4300099050 hasConceptScore W4300099050C105795698 @default.
- W4300099050 hasConceptScore W4300099050C111498074 @default.
- W4300099050 hasConceptScore W4300099050C115903868 @default.
- W4300099050 hasConceptScore W4300099050C120314980 @default.
- W4300099050 hasConceptScore W4300099050C121332964 @default.
- W4300099050 hasConceptScore W4300099050C199360897 @default.
- W4300099050 hasConceptScore W4300099050C203479927 @default.
- W4300099050 hasConceptScore W4300099050C2777904410 @default.
- W4300099050 hasConceptScore W4300099050C2779662365 @default.
- W4300099050 hasConceptScore W4300099050C2780598303 @default.
- W4300099050 hasConceptScore W4300099050C2985583900 @default.
- W4300099050 hasConceptScore W4300099050C33923547 @default.
- W4300099050 hasConceptScore W4300099050C41008148 @default.
- W4300099050 hasConceptScore W4300099050C48103436 @default.
- W4300099050 hasConceptScore W4300099050C62520636 @default.
- W4300099050 hasConceptScore W4300099050C6557445 @default.
- W4300099050 hasConceptScore W4300099050C75606506 @default.
- W4300099050 hasConceptScore W4300099050C77270119 @default.
- W4300099050 hasConceptScore W4300099050C80444323 @default.
- W4300099050 hasConceptScore W4300099050C86803240 @default.
- W4300099050 hasLocation W43000990501 @default.
- W4300099050 hasOpenAccess W4300099050 @default.
- W4300099050 hasPrimaryLocation W43000990501 @default.
- W4300099050 hasRelatedWork W1502072411 @default.
- W4300099050 hasRelatedWork W151375446 @default.
- W4300099050 hasRelatedWork W1517942333 @default.
- W4300099050 hasRelatedWork W1524361563 @default.
- W4300099050 hasRelatedWork W1614816533 @default.
- W4300099050 hasRelatedWork W1987769291 @default.
- W4300099050 hasRelatedWork W2768111634 @default.
- W4300099050 hasRelatedWork W2811205397 @default.
- W4300099050 hasRelatedWork W2894778658 @default.
- W4300099050 hasRelatedWork W4300099050 @default.
- W4300099050 isParatext "false" @default.
- W4300099050 isRetracted "false" @default.
- W4300099050 workType "article" @default.