Matches in SemOpenAlex for { <https://semopenalex.org/work/W2734091855> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2734091855 endingPage "403" @default.
- W2734091855 startingPage "398" @default.
- W2734091855 abstract "Cloud environments are being increasingly used for deploying and executing business processes and particularly service-based business processes (SBPs). In this paper, we propose a bottom-up approach to check the correct interaction between different SBPs distributed over a Cloud environment and which may be provided by various organizations. The whole system's model being unavailable, an up-down analysis approach is not appropriate. To check the correctness of the composition of several SBPs communicating asynchronously and sharing resources (hardware, platform, and software), we consider temporal properties that can be expressed with the LTL logic. Each part of the whole composite SBP exposes its abstract model, represented by a Symbolic Observation Graph (SOG), to allow the correct collaboration with possible partners in the Cloud. The SOG is adapted in order to reduce the verification of the entire composite model to the verification of the composition of the SOG-based abstractions." @default.
- W2734091855 created "2017-07-14" @default.
- W2734091855 creator A5011835200 @default.
- W2734091855 creator A5050555780 @default.
- W2734091855 date "2015-01-01" @default.
- W2734091855 modified "2023-10-14" @default.
- W2734091855 title "LTL Model Cheking of Service-Based Business Processes in the Cloud." @default.
- W2734091855 hasPublicationYear "2015" @default.
- W2734091855 type Work @default.
- W2734091855 sameAs 2734091855 @default.
- W2734091855 citedByCount "0" @default.
- W2734091855 crossrefType "proceedings-article" @default.
- W2734091855 hasAuthorship W2734091855A5011835200 @default.
- W2734091855 hasAuthorship W2734091855A5050555780 @default.
- W2734091855 hasConcept C110251889 @default.
- W2734091855 hasConcept C111919701 @default.
- W2734091855 hasConcept C115903868 @default.
- W2734091855 hasConcept C120314980 @default.
- W2734091855 hasConcept C127413603 @default.
- W2734091855 hasConcept C136264566 @default.
- W2734091855 hasConcept C162324750 @default.
- W2734091855 hasConcept C174998907 @default.
- W2734091855 hasConcept C199360897 @default.
- W2734091855 hasConcept C21547014 @default.
- W2734091855 hasConcept C2780378061 @default.
- W2734091855 hasConcept C41008148 @default.
- W2734091855 hasConcept C55439883 @default.
- W2734091855 hasConcept C77088390 @default.
- W2734091855 hasConcept C79974875 @default.
- W2734091855 hasConcept C80444323 @default.
- W2734091855 hasConcept C85345410 @default.
- W2734091855 hasConceptScore W2734091855C110251889 @default.
- W2734091855 hasConceptScore W2734091855C111919701 @default.
- W2734091855 hasConceptScore W2734091855C115903868 @default.
- W2734091855 hasConceptScore W2734091855C120314980 @default.
- W2734091855 hasConceptScore W2734091855C127413603 @default.
- W2734091855 hasConceptScore W2734091855C136264566 @default.
- W2734091855 hasConceptScore W2734091855C162324750 @default.
- W2734091855 hasConceptScore W2734091855C174998907 @default.
- W2734091855 hasConceptScore W2734091855C199360897 @default.
- W2734091855 hasConceptScore W2734091855C21547014 @default.
- W2734091855 hasConceptScore W2734091855C2780378061 @default.
- W2734091855 hasConceptScore W2734091855C41008148 @default.
- W2734091855 hasConceptScore W2734091855C55439883 @default.
- W2734091855 hasConceptScore W2734091855C77088390 @default.
- W2734091855 hasConceptScore W2734091855C79974875 @default.
- W2734091855 hasConceptScore W2734091855C80444323 @default.
- W2734091855 hasConceptScore W2734091855C85345410 @default.
- W2734091855 hasLocation W27340918551 @default.
- W2734091855 hasOpenAccess W2734091855 @default.
- W2734091855 hasPrimaryLocation W27340918551 @default.
- W2734091855 hasRelatedWork W122510034 @default.
- W2734091855 hasRelatedWork W134203478 @default.
- W2734091855 hasRelatedWork W1549641028 @default.
- W2734091855 hasRelatedWork W1584116805 @default.
- W2734091855 hasRelatedWork W1679736855 @default.
- W2734091855 hasRelatedWork W2023287232 @default.
- W2734091855 hasRelatedWork W2052808179 @default.
- W2734091855 hasRelatedWork W2069377098 @default.
- W2734091855 hasRelatedWork W2081032187 @default.
- W2734091855 hasRelatedWork W2105436950 @default.
- W2734091855 hasRelatedWork W2166555029 @default.
- W2734091855 hasRelatedWork W2374477971 @default.
- W2734091855 hasRelatedWork W2385342876 @default.
- W2734091855 hasRelatedWork W2395680731 @default.
- W2734091855 hasRelatedWork W2462617591 @default.
- W2734091855 hasRelatedWork W2765422939 @default.
- W2734091855 hasRelatedWork W40768353 @default.
- W2734091855 hasRelatedWork W1543608949 @default.
- W2734091855 hasRelatedWork W1983632731 @default.
- W2734091855 hasRelatedWork W2053569992 @default.
- W2734091855 isParatext "false" @default.
- W2734091855 isRetracted "false" @default.
- W2734091855 magId "2734091855" @default.
- W2734091855 workType "article" @default.