Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894778658> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2894778658 endingPage "53" @default.
- W2894778658 startingPage "35" @default.
- W2894778658 abstract "Software defined networking (SDN) brings flexibility in the construction and management 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 properties captured from the SDN description. Event-B is used to experiment with the approach." @default.
- W2894778658 created "2018-10-12" @default.
- W2894778658 creator A5091558153 @default.
- W2894778658 date "2018-01-01" @default.
- W2894778658 modified "2023-10-06" @default.
- W2894778658 title "Building Correct SDN Components from a Global Event-B Formal Model" @default.
- W2894778658 cites W1598636284 @default.
- W2894778658 cites W1609772175 @default.
- W2894778658 cites W1972121713 @default.
- W2894778658 cites W1994049372 @default.
- W2894778658 cites W2020729428 @default.
- W2894778658 cites W2040340473 @default.
- W2894778658 cites W2040978774 @default.
- W2894778658 cites W2057141851 @default.
- W2894778658 cites W2120822777 @default.
- W2894778658 cites W2122695394 @default.
- W2894778658 cites W2131586138 @default.
- W2894778658 cites W2148994573 @default.
- W2894778658 cites W2183926967 @default.
- W2894778658 cites W3092635594 @default.
- W2894778658 cites W4244819751 @default.
- W2894778658 cites W627952783 @default.
- W2894778658 doi "https://doi.org/10.1007/978-3-030-02146-7_2" @default.
- W2894778658 hasPublicationYear "2018" @default.
- W2894778658 type Work @default.
- W2894778658 sameAs 2894778658 @default.
- W2894778658 citedByCount "1" @default.
- W2894778658 countsByYear W28947786582019 @default.
- W2894778658 crossrefType "book-chapter" @default.
- W2894778658 hasAuthorship W2894778658A5091558153 @default.
- W2894778658 hasBestOaLocation W28947786582 @default.
- W2894778658 hasConcept C105795698 @default.
- W2894778658 hasConcept C111498074 @default.
- W2894778658 hasConcept C115903868 @default.
- W2894778658 hasConcept C116253237 @default.
- W2894778658 hasConcept C120314980 @default.
- W2894778658 hasConcept C121332964 @default.
- W2894778658 hasConcept C199360897 @default.
- W2894778658 hasConcept C203479927 @default.
- W2894778658 hasConcept C2779662365 @default.
- W2894778658 hasConcept C2780598303 @default.
- W2894778658 hasConcept C2985583900 @default.
- W2894778658 hasConcept C33923547 @default.
- W2894778658 hasConcept C41008148 @default.
- W2894778658 hasConcept C62520636 @default.
- W2894778658 hasConcept C6557445 @default.
- W2894778658 hasConcept C75606506 @default.
- W2894778658 hasConcept C77270119 @default.
- W2894778658 hasConcept C80444323 @default.
- W2894778658 hasConcept C86803240 @default.
- W2894778658 hasConceptScore W2894778658C105795698 @default.
- W2894778658 hasConceptScore W2894778658C111498074 @default.
- W2894778658 hasConceptScore W2894778658C115903868 @default.
- W2894778658 hasConceptScore W2894778658C116253237 @default.
- W2894778658 hasConceptScore W2894778658C120314980 @default.
- W2894778658 hasConceptScore W2894778658C121332964 @default.
- W2894778658 hasConceptScore W2894778658C199360897 @default.
- W2894778658 hasConceptScore W2894778658C203479927 @default.
- W2894778658 hasConceptScore W2894778658C2779662365 @default.
- W2894778658 hasConceptScore W2894778658C2780598303 @default.
- W2894778658 hasConceptScore W2894778658C2985583900 @default.
- W2894778658 hasConceptScore W2894778658C33923547 @default.
- W2894778658 hasConceptScore W2894778658C41008148 @default.
- W2894778658 hasConceptScore W2894778658C62520636 @default.
- W2894778658 hasConceptScore W2894778658C6557445 @default.
- W2894778658 hasConceptScore W2894778658C75606506 @default.
- W2894778658 hasConceptScore W2894778658C77270119 @default.
- W2894778658 hasConceptScore W2894778658C80444323 @default.
- W2894778658 hasConceptScore W2894778658C86803240 @default.
- W2894778658 hasLocation W28947786581 @default.
- W2894778658 hasLocation W28947786582 @default.
- W2894778658 hasLocation W28947786583 @default.
- W2894778658 hasLocation W28947786584 @default.
- W2894778658 hasLocation W28947786585 @default.
- W2894778658 hasOpenAccess W2894778658 @default.
- W2894778658 hasPrimaryLocation W28947786581 @default.
- W2894778658 hasRelatedWork W1495250406 @default.
- W2894778658 hasRelatedWork W1536552036 @default.
- W2894778658 hasRelatedWork W1544097700 @default.
- W2894778658 hasRelatedWork W1608485412 @default.
- W2894778658 hasRelatedWork W17088386 @default.
- W2894778658 hasRelatedWork W1922520186 @default.
- W2894778658 hasRelatedWork W1946493810 @default.
- W2894778658 hasRelatedWork W2049993111 @default.
- W2894778658 hasRelatedWork W2145025660 @default.
- W2894778658 hasRelatedWork W2171674700 @default.
- W2894778658 isParatext "false" @default.
- W2894778658 isRetracted "false" @default.
- W2894778658 magId "2894778658" @default.
- W2894778658 workType "book-chapter" @default.