Matches in SemOpenAlex for { <https://semopenalex.org/work/W2482218343> ?p ?o ?g. }
- W2482218343 endingPage "36" @default.
- W2482218343 startingPage "23" @default.
- W2482218343 abstract "Cloud environments are being increasingly used for deploying and executing business processes to provide a high level of performance with low operating cost. Nevertheless, due to the lack of an explicit and formal description of the resource perspective in the existing business processes, the correctness of Cloud resources management can not be verified. The aim of the present work is to offer a formal definition of the resource perspective in business processes as a step towards ensuring a correct and consistent Cloud resource allocation in business process modeling. Concretely, we propose a formalism based on the Event-B language for specifying Cloud resource allocation policies in business process models. This formal specification is used to formally validate the consistency of Cloud resource allocation for process modeling at design time, and to analyze and check its correctness according to user requirements and resource capabilities. In order to show its feasibility, our approach has been tested using a real use case study from an industrial partner." @default.
- W2482218343 created "2016-08-23" @default.
- W2482218343 creator A5059701009 @default.
- W2482218343 creator A5061166635 @default.
- W2482218343 creator A5075846670 @default.
- W2482218343 creator A5084851123 @default.
- W2482218343 date "2017-01-01" @default.
- W2482218343 modified "2023-09-23" @default.
- W2482218343 title "Towards Correct Cloud Resource Allocation in Business Processes" @default.
- W2482218343 cites W1538074505 @default.
- W2482218343 cites W1569825624 @default.
- W2482218343 cites W1576063284 @default.
- W2482218343 cites W1886607249 @default.
- W2482218343 cites W1971486022 @default.
- W2482218343 cites W1973605821 @default.
- W2482218343 cites W1993129104 @default.
- W2482218343 cites W1995753135 @default.
- W2482218343 cites W2003914879 @default.
- W2482218343 cites W2023808162 @default.
- W2482218343 cites W2030826135 @default.
- W2482218343 cites W2031111226 @default.
- W2482218343 cites W2044042782 @default.
- W2482218343 cites W2059447001 @default.
- W2482218343 cites W2059848295 @default.
- W2482218343 cites W2086439401 @default.
- W2482218343 cites W2092233180 @default.
- W2482218343 cites W2127030216 @default.
- W2482218343 cites W2135555234 @default.
- W2482218343 cites W2138447175 @default.
- W2482218343 cites W2143753066 @default.
- W2482218343 cites W2157362974 @default.
- W2482218343 cites W2162100845 @default.
- W2482218343 cites W2168322225 @default.
- W2482218343 cites W2402868937 @default.
- W2482218343 cites W2899987233 @default.
- W2482218343 cites W4254121468 @default.
- W2482218343 cites W4254354208 @default.
- W2482218343 doi "https://doi.org/10.1109/tsc.2016.2594062" @default.
- W2482218343 hasPublicationYear "2017" @default.
- W2482218343 type Work @default.
- W2482218343 sameAs 2482218343 @default.
- W2482218343 citedByCount "19" @default.
- W2482218343 countsByYear W24822183432017 @default.
- W2482218343 countsByYear W24822183432018 @default.
- W2482218343 countsByYear W24822183432019 @default.
- W2482218343 countsByYear W24822183432020 @default.
- W2482218343 countsByYear W24822183432021 @default.
- W2482218343 countsByYear W24822183432022 @default.
- W2482218343 crossrefType "journal-article" @default.
- W2482218343 hasAuthorship W2482218343A5059701009 @default.
- W2482218343 hasAuthorship W2482218343A5061166635 @default.
- W2482218343 hasAuthorship W2482218343A5075846670 @default.
- W2482218343 hasAuthorship W2482218343A5084851123 @default.
- W2482218343 hasConcept C111919701 @default.
- W2482218343 hasConcept C120314980 @default.
- W2482218343 hasConcept C142362112 @default.
- W2482218343 hasConcept C144133560 @default.
- W2482218343 hasConcept C153349607 @default.
- W2482218343 hasConcept C162754035 @default.
- W2482218343 hasConcept C162853370 @default.
- W2482218343 hasConcept C174998907 @default.
- W2482218343 hasConcept C199360897 @default.
- W2482218343 hasConcept C206345919 @default.
- W2482218343 hasConcept C207505557 @default.
- W2482218343 hasConcept C29202148 @default.
- W2482218343 hasConcept C31258907 @default.
- W2482218343 hasConcept C41008148 @default.
- W2482218343 hasConcept C55439883 @default.
- W2482218343 hasConcept C558565934 @default.
- W2482218343 hasConcept C73301696 @default.
- W2482218343 hasConcept C79974875 @default.
- W2482218343 hasConcept C85345410 @default.
- W2482218343 hasConceptScore W2482218343C111919701 @default.
- W2482218343 hasConceptScore W2482218343C120314980 @default.
- W2482218343 hasConceptScore W2482218343C142362112 @default.
- W2482218343 hasConceptScore W2482218343C144133560 @default.
- W2482218343 hasConceptScore W2482218343C153349607 @default.
- W2482218343 hasConceptScore W2482218343C162754035 @default.
- W2482218343 hasConceptScore W2482218343C162853370 @default.
- W2482218343 hasConceptScore W2482218343C174998907 @default.
- W2482218343 hasConceptScore W2482218343C199360897 @default.
- W2482218343 hasConceptScore W2482218343C206345919 @default.
- W2482218343 hasConceptScore W2482218343C207505557 @default.
- W2482218343 hasConceptScore W2482218343C29202148 @default.
- W2482218343 hasConceptScore W2482218343C31258907 @default.
- W2482218343 hasConceptScore W2482218343C41008148 @default.
- W2482218343 hasConceptScore W2482218343C55439883 @default.
- W2482218343 hasConceptScore W2482218343C558565934 @default.
- W2482218343 hasConceptScore W2482218343C73301696 @default.
- W2482218343 hasConceptScore W2482218343C79974875 @default.
- W2482218343 hasConceptScore W2482218343C85345410 @default.
- W2482218343 hasIssue "1" @default.
- W2482218343 hasLocation W24822183431 @default.
- W2482218343 hasLocation W24822183432 @default.
- W2482218343 hasOpenAccess W2482218343 @default.
- W2482218343 hasPrimaryLocation W24822183431 @default.
- W2482218343 hasRelatedWork W202938820 @default.
- W2482218343 hasRelatedWork W2492464413 @default.