Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030826135> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2030826135 abstract "Verifying Web service composition in a dynamic environment remains one of the most difficult tasks despite the efforts and the previous proposed research works because new services can be composed during the execution step and others can automatically appear, disappear, or be updated. To achieve the Web service composition specification and verification, we introduce a new concept, called dynamic pattern. A dynamic pattern is an extension of a static one. Then, we propose to formalize dynamic Web Service composition in Event-B using dynamic patterns. The resulting model is progressively verified using proofs. We use animator of model (ProB) to detect a variety of problems, such as deadlocks or other unexpected behavior of a model." @default.
- W2030826135 created "2016-06-24" @default.
- W2030826135 creator A5039291607 @default.
- W2030826135 creator A5061166635 @default.
- W2030826135 creator A5067006869 @default.
- W2030826135 creator A5067480635 @default.
- W2030826135 creator A5076360595 @default.
- W2030826135 creator A5084851123 @default.
- W2030826135 date "2013-06-01" @default.
- W2030826135 modified "2023-09-24" @default.
- W2030826135 title "Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior" @default.
- W2030826135 cites W126650072 @default.
- W2030826135 cites W1544621933 @default.
- W2030826135 cites W1591692738 @default.
- W2030826135 cites W1787000688 @default.
- W2030826135 cites W1962632332 @default.
- W2030826135 cites W1981626968 @default.
- W2030826135 cites W2012428319 @default.
- W2030826135 cites W2026999131 @default.
- W2030826135 cites W2038280282 @default.
- W2030826135 cites W2060131005 @default.
- W2030826135 cites W2063588685 @default.
- W2030826135 cites W2081204350 @default.
- W2030826135 cites W2096982364 @default.
- W2030826135 cites W2135555234 @default.
- W2030826135 cites W2169803829 @default.
- W2030826135 cites W2324929133 @default.
- W2030826135 cites W2543855381 @default.
- W2030826135 cites W2899987233 @default.
- W2030826135 cites W3194511664 @default.
- W2030826135 doi "https://doi.org/10.1109/icws.2013.42" @default.
- W2030826135 hasPublicationYear "2013" @default.
- W2030826135 type Work @default.
- W2030826135 sameAs 2030826135 @default.
- W2030826135 citedByCount "10" @default.
- W2030826135 countsByYear W20308261352014 @default.
- W2030826135 countsByYear W20308261352015 @default.
- W2030826135 countsByYear W20308261352016 @default.
- W2030826135 countsByYear W20308261352017 @default.
- W2030826135 countsByYear W20308261352020 @default.
- W2030826135 crossrefType "proceedings-article" @default.
- W2030826135 hasAuthorship W2030826135A5039291607 @default.
- W2030826135 hasAuthorship W2030826135A5061166635 @default.
- W2030826135 hasAuthorship W2030826135A5067006869 @default.
- W2030826135 hasAuthorship W2030826135A5067480635 @default.
- W2030826135 hasAuthorship W2030826135A5076360595 @default.
- W2030826135 hasAuthorship W2030826135A5084851123 @default.
- W2030826135 hasConcept C104779481 @default.
- W2030826135 hasConcept C11413529 @default.
- W2030826135 hasConcept C120314980 @default.
- W2030826135 hasConcept C121332964 @default.
- W2030826135 hasConcept C144133560 @default.
- W2030826135 hasConcept C15744967 @default.
- W2030826135 hasConcept C162853370 @default.
- W2030826135 hasConcept C2779662365 @default.
- W2030826135 hasConcept C2780378061 @default.
- W2030826135 hasConcept C41008148 @default.
- W2030826135 hasConcept C62520636 @default.
- W2030826135 hasConcept C68489960 @default.
- W2030826135 hasConcept C77805123 @default.
- W2030826135 hasConceptScore W2030826135C104779481 @default.
- W2030826135 hasConceptScore W2030826135C11413529 @default.
- W2030826135 hasConceptScore W2030826135C120314980 @default.
- W2030826135 hasConceptScore W2030826135C121332964 @default.
- W2030826135 hasConceptScore W2030826135C144133560 @default.
- W2030826135 hasConceptScore W2030826135C15744967 @default.
- W2030826135 hasConceptScore W2030826135C162853370 @default.
- W2030826135 hasConceptScore W2030826135C2779662365 @default.
- W2030826135 hasConceptScore W2030826135C2780378061 @default.
- W2030826135 hasConceptScore W2030826135C41008148 @default.
- W2030826135 hasConceptScore W2030826135C62520636 @default.
- W2030826135 hasConceptScore W2030826135C68489960 @default.
- W2030826135 hasConceptScore W2030826135C77805123 @default.
- W2030826135 hasLocation W20308261351 @default.
- W2030826135 hasLocation W20308261352 @default.
- W2030826135 hasLocation W20308261353 @default.
- W2030826135 hasOpenAccess W2030826135 @default.
- W2030826135 hasPrimaryLocation W20308261351 @default.
- W2030826135 hasRelatedWork W1485627940 @default.
- W2030826135 hasRelatedWork W1596201972 @default.
- W2030826135 hasRelatedWork W1598943142 @default.
- W2030826135 hasRelatedWork W1986253068 @default.
- W2030826135 hasRelatedWork W2152433827 @default.
- W2030826135 hasRelatedWork W2160425906 @default.
- W2030826135 hasRelatedWork W2348852432 @default.
- W2030826135 hasRelatedWork W2385146268 @default.
- W2030826135 hasRelatedWork W2899486387 @default.
- W2030826135 hasRelatedWork W4313054100 @default.
- W2030826135 isParatext "false" @default.
- W2030826135 isRetracted "false" @default.
- W2030826135 magId "2030826135" @default.
- W2030826135 workType "article" @default.