FRINK Linked Data Fragments server

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

• W2886797947 endingPage "33" @default.
• W2886797947 startingPage "25" @default.
• W2886797947 abstract "elements. Site Let us return to our running example and apply the bigraph based formalisation approach (Sahli et al., 2014) to give a well-defined semantics of its architectural aspect. Assuming that the two services are deployed in the same virtual machine and an end user is connected to the first service while the others are connected to the second service. The corresponding bigraphical model is shown in Figure 5. 28 Model-Checking Cloud Systems Using BigMC Hamza Sahli ● Faiza Belala ● Chafia Bouanaka Figure 5: The example’s Bigraphical model. As we can notice in Figure 5, there are two services actually deployed in the virtual machine VM1 and two end users connected to S2 service through the edge e3. Thus, the S2 service cannot be allocated to another end user and the virtual machine VM1 cannot deploy any other service instance. This is expressed in our model by the absence of a site in that virtual machine. The signature associated to a cloud bigraph is as follows: K = {L: (0, active), N :( 2, atomic)}, L and N represent controls associated to different nodes. The different nodes types used in the model and their associated controls are summarized in Table 4. Table 4: Nodes types of cloud architecture Node Control Attribute Arity Meaning EU N Atomic 2 End User DC L Active 0 Data center LB N Atomic 2 Load balancer SE L Active 0 Server VM L Active 0 Virtual machine S N Atomic 2 Service The cloud system initial configuration expression in BigMC tool appropriate grammar is shown in Figure 6. Figure 6: Implementing Bigraphical model in BigMC. We notice that each concept involved in the cloud system has a precise semantics. The conceived bigraphs do not specify just the graphical representation, but also the intended mathematical models. Furthermore, the proposed formalisation approach is general enough; it remains valid for any cloud architecture examples. To deal with the dynamic behaviour of cloud system at runtime, we enrich the proposed bigraph-based model with reaction rules. Hence, a set of reaction rules defining system configurations and their evolution at runtime is specified. 4.2 Modelling Cloud System Reconfiguration Albeit, bigraphs are sufficient to formally specify cloud systems static structure, they do not represent their dynamic behaviour. Our main contribution is to extend the proposed bigraph-based model for cloud system by a set of reaction rules expressing its possible reconfiguration. Table 5 illustrates how we graft behavioural models, based on reaction rules, to graph transformation ones, to deal in this case with Bigraphical Reactive Systems (BRS). Table 5: Modelling cloud system dynamics" @default.
• W2886797947 created "2018-08-22" @default.
• W2886797947 creator A5010802717 @default.
• W2886797947 creator A5015524367 @default.
• W2886797947 creator A5083516774 @default.
• W2886797947 date "2014-01-01" @default.
• W2886797947 modified "2023-09-26" @default.
• W2886797947 title "Model-Checking Cloud Systems Using BigMC." @default.
• W2886797947 cites W1588422495 @default.
• W2886797947 cites W1601498338 @default.
• W2886797947 cites W2004347753 @default.
• W2886797947 cites W2014721449 @default.
• W2886797947 cites W2016324608 @default.
• W2886797947 cites W2020543299 @default.
• W2886797947 cites W2023738112 @default.
• W2886797947 cites W2026751635 @default.
• W2886797947 cites W2036594939 @default.
• W2886797947 cites W2044042782 @default.
• W2886797947 cites W2059447001 @default.
• W2886797947 cites W2061142107 @default.
• W2886797947 cites W2095735706 @default.
• W2886797947 cites W2106465916 @default.
• W2886797947 cites W2275530856 @default.
• W2886797947 cites W2404852947 @default.
• W2886797947 cites W304986642 @default.
• W2886797947 cites W940084204 @default.
• W2886797947 cites W96889060 @default.
• W2886797947 hasPublicationYear "2014" @default.
• W2886797947 type Work @default.
• W2886797947 sameAs 2886797947 @default.
• W2886797947 citedByCount "3" @default.
• W2886797947 countsByYear W28867979472015 @default.
• W2886797947 countsByYear W28867979472016 @default.
• W2886797947 countsByYear W28867979472017 @default.
• W2886797947 crossrefType "journal-article" @default.
• W2886797947 hasAuthorship W2886797947A5010802717 @default.
• W2886797947 hasAuthorship W2886797947A5015524367 @default.
• W2886797947 hasAuthorship W2886797947A5083516774 @default.
• W2886797947 hasConcept C111919701 @default.
• W2886797947 hasConcept C120314980 @default.
• W2886797947 hasConcept C136264566 @default.
• W2886797947 hasConcept C162324750 @default.
• W2886797947 hasConcept C25344961 @default.
• W2886797947 hasConcept C2780378061 @default.
• W2886797947 hasConcept C41008148 @default.
• W2886797947 hasConcept C79974875 @default.
• W2886797947 hasConceptScore W2886797947C111919701 @default.
• W2886797947 hasConceptScore W2886797947C120314980 @default.
• W2886797947 hasConceptScore W2886797947C136264566 @default.
• W2886797947 hasConceptScore W2886797947C162324750 @default.
• W2886797947 hasConceptScore W2886797947C25344961 @default.
• W2886797947 hasConceptScore W2886797947C2780378061 @default.
• W2886797947 hasConceptScore W2886797947C41008148 @default.
• W2886797947 hasConceptScore W2886797947C79974875 @default.
• W2886797947 hasLocation W28867979471 @default.
• W2886797947 hasOpenAccess W2886797947 @default.
• W2886797947 hasPrimaryLocation W28867979471 @default.
• W2886797947 hasRelatedWork W143600738 @default.
• W2886797947 hasRelatedWork W1487673947 @default.
• W2886797947 hasRelatedWork W1560962701 @default.
• W2886797947 hasRelatedWork W1584116805 @default.
• W2886797947 hasRelatedWork W1588422495 @default.
• W2886797947 hasRelatedWork W1698617569 @default.
• W2886797947 hasRelatedWork W1829661785 @default.
• W2886797947 hasRelatedWork W186083353 @default.
• W2886797947 hasRelatedWork W2023287232 @default.
• W2886797947 hasRelatedWork W2026751635 @default.
• W2886797947 hasRelatedWork W2034446812 @default.
• W2886797947 hasRelatedWork W2038491315 @default.
• W2886797947 hasRelatedWork W2186911030 @default.
• W2886797947 hasRelatedWork W2328585080 @default.
• W2886797947 hasRelatedWork W2462617591 @default.
• W2886797947 hasRelatedWork W2484962108 @default.
• W2886797947 hasRelatedWork W2786418612 @default.
• W2886797947 hasRelatedWork W2900745072 @default.
• W2886797947 hasRelatedWork W3014605070 @default.
• W2886797947 hasRelatedWork W2926290941 @default.
• W2886797947 isParatext "false" @default.
• W2886797947 isRetracted "false" @default.
• W2886797947 magId "2886797947" @default.
• W2886797947 workType "article" @default.