Matches in SemOpenAlex for { <https://semopenalex.org/work/W2402868937> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2402868937 abstract "Nowadays, a growing number of companies are using Cloud Computing to optimize their business processes by using dynamically scalable and often virtualized resources on demand. Nevertheless, due to the lack of explicit and formal description of the resource perspective in existing business processes, Cloud resource allocation behavior cannot be efficiently and correctly managed. In this paper, we aim at formally verifying resource allocation in business processes using Event-B. More precisely, our aim is to specify the resource allocation behavior both at design time and at runtime, and to check its correctness according to users' needs. Our model also takes into account different cloud properties such as elasticity and shareability. In order to show its feasibility, our approach has been tested using a use case study from an industrial partner." @default.
- W2402868937 created "2016-06-24" @default.
- W2402868937 creator A5059701009 @default.
- W2402868937 creator A5061166635 @default.
- W2402868937 creator A5075846670 @default.
- W2402868937 creator A5084851123 @default.
- W2402868937 date "2016-03-01" @default.
- W2402868937 modified "2023-09-26" @default.
- W2402868937 title "Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B" @default.
- W2402868937 cites W1576063284 @default.
- W2402868937 cites W1872644838 @default.
- W2402868937 cites W1971486022 @default.
- W2402868937 cites W1973605821 @default.
- W2402868937 cites W1988140435 @default.
- W2402868937 cites W1993129104 @default.
- W2402868937 cites W1995753135 @default.
- W2402868937 cites W2030826135 @default.
- W2402868937 cites W2059848295 @default.
- W2402868937 cites W2086439401 @default.
- W2402868937 cites W2101266455 @default.
- W2402868937 cites W2135555234 @default.
- W2402868937 cites W2157362974 @default.
- W2402868937 cites W2168322225 @default.
- W2402868937 cites W4244819751 @default.
- W2402868937 cites W4254354208 @default.
- W2402868937 doi "https://doi.org/10.1109/aina.2016.126" @default.
- W2402868937 hasPublicationYear "2016" @default.
- W2402868937 type Work @default.
- W2402868937 sameAs 2402868937 @default.
- W2402868937 citedByCount "5" @default.
- W2402868937 countsByYear W24028689372017 @default.
- W2402868937 countsByYear W24028689372018 @default.
- W2402868937 countsByYear W24028689372019 @default.
- W2402868937 countsByYear W24028689372020 @default.
- W2402868937 crossrefType "proceedings-article" @default.
- W2402868937 hasAuthorship W2402868937A5059701009 @default.
- W2402868937 hasAuthorship W2402868937A5061166635 @default.
- W2402868937 hasAuthorship W2402868937A5075846670 @default.
- W2402868937 hasAuthorship W2402868937A5084851123 @default.
- W2402868937 hasConcept C111498074 @default.
- W2402868937 hasConcept C111919701 @default.
- W2402868937 hasConcept C120314980 @default.
- W2402868937 hasConcept C121332964 @default.
- W2402868937 hasConcept C199360897 @default.
- W2402868937 hasConcept C2779662365 @default.
- W2402868937 hasConcept C29202148 @default.
- W2402868937 hasConcept C31258907 @default.
- W2402868937 hasConcept C41008148 @default.
- W2402868937 hasConcept C62520636 @default.
- W2402868937 hasConcept C79974875 @default.
- W2402868937 hasConceptScore W2402868937C111498074 @default.
- W2402868937 hasConceptScore W2402868937C111919701 @default.
- W2402868937 hasConceptScore W2402868937C120314980 @default.
- W2402868937 hasConceptScore W2402868937C121332964 @default.
- W2402868937 hasConceptScore W2402868937C199360897 @default.
- W2402868937 hasConceptScore W2402868937C2779662365 @default.
- W2402868937 hasConceptScore W2402868937C29202148 @default.
- W2402868937 hasConceptScore W2402868937C31258907 @default.
- W2402868937 hasConceptScore W2402868937C41008148 @default.
- W2402868937 hasConceptScore W2402868937C62520636 @default.
- W2402868937 hasConceptScore W2402868937C79974875 @default.
- W2402868937 hasLocation W24028689371 @default.
- W2402868937 hasLocation W24028689372 @default.
- W2402868937 hasOpenAccess W2402868937 @default.
- W2402868937 hasPrimaryLocation W24028689371 @default.
- W2402868937 hasRelatedWork W1596201972 @default.
- W2402868937 hasRelatedWork W2024969333 @default.
- W2402868937 hasRelatedWork W2042072109 @default.
- W2402868937 hasRelatedWork W2310750045 @default.
- W2402868937 hasRelatedWork W2383532021 @default.
- W2402868937 hasRelatedWork W2788675931 @default.
- W2402868937 hasRelatedWork W2792071139 @default.
- W2402868937 hasRelatedWork W3166820113 @default.
- W2402868937 hasRelatedWork W3212477594 @default.
- W2402868937 hasRelatedWork W4283067488 @default.
- W2402868937 isParatext "false" @default.
- W2402868937 isRetracted "false" @default.
- W2402868937 magId "2402868937" @default.
- W2402868937 workType "article" @default.