Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588145937> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1588145937 abstract "The reconfigurable composite services (CWSs) can repair itself if any execution problems occur, in order to complete successfully its own execution. The research problem in which we are interested in is how to ensure the correctness of reconfigurable CWSs. This paper proposes an incremental design approach for modeling and verifying reconfigurable CWSs by using EventB. We start by abstractly specifying the main requirements of reconfigurable CWSs and then refining them through several steps by introducing the concept of dependencies and dynamic transactional patterns (DTPs) to model reconfigurable CWSs. The consistency of each model and the relationship between an abstract model and its refinements are obtained by formal proofs. Finally, we use ProB model-checker to trace possible design errors." @default.
- W1588145937 created "2016-06-24" @default.
- W1588145937 creator A5010279976 @default.
- W1588145937 creator A5041023115 @default.
- W1588145937 creator A5061166635 @default.
- W1588145937 creator A5067480635 @default.
- W1588145937 creator A5076360595 @default.
- W1588145937 date "2015-06-01" @default.
- W1588145937 modified "2023-09-27" @default.
- W1588145937 title "A Formal Approach for Ensuring a Correct Reconfigurable Composite Service" @default.
- W1588145937 cites W124041596 @default.
- W1588145937 cites W1489021242 @default.
- W1588145937 cites W1491858474 @default.
- W1588145937 cites W1544621933 @default.
- W1588145937 cites W1556900989 @default.
- W1588145937 cites W1657666617 @default.
- W1588145937 cites W1962632332 @default.
- W1588145937 cites W2012428319 @default.
- W1588145937 cites W2030826135 @default.
- W1588145937 cites W2058429560 @default.
- W1588145937 cites W2060131005 @default.
- W1588145937 cites W2064000537 @default.
- W1588145937 cites W2103020374 @default.
- W1588145937 cites W2114462967 @default.
- W1588145937 cites W2134604665 @default.
- W1588145937 cites W2135555234 @default.
- W1588145937 cites W2137070669 @default.
- W1588145937 cites W2140301022 @default.
- W1588145937 cites W2148175243 @default.
- W1588145937 cites W2169803829 @default.
- W1588145937 cites W2790460652 @default.
- W1588145937 cites W2911625174 @default.
- W1588145937 doi "https://doi.org/10.1109/scc.2015.63" @default.
- W1588145937 hasPublicationYear "2015" @default.
- W1588145937 type Work @default.
- W1588145937 sameAs 1588145937 @default.
- W1588145937 citedByCount "0" @default.
- W1588145937 crossrefType "proceedings-article" @default.
- W1588145937 hasAuthorship W1588145937A5010279976 @default.
- W1588145937 hasAuthorship W1588145937A5041023115 @default.
- W1588145937 hasAuthorship W1588145937A5061166635 @default.
- W1588145937 hasAuthorship W1588145937A5067480635 @default.
- W1588145937 hasAuthorship W1588145937A5076360595 @default.
- W1588145937 hasConcept C104779481 @default.
- W1588145937 hasConcept C111498074 @default.
- W1588145937 hasConcept C11413529 @default.
- W1588145937 hasConcept C115903868 @default.
- W1588145937 hasConcept C144133560 @default.
- W1588145937 hasConcept C162853370 @default.
- W1588145937 hasConcept C199360897 @default.
- W1588145937 hasConcept C2780378061 @default.
- W1588145937 hasConcept C41008148 @default.
- W1588145937 hasConcept C75606506 @default.
- W1588145937 hasConceptScore W1588145937C104779481 @default.
- W1588145937 hasConceptScore W1588145937C111498074 @default.
- W1588145937 hasConceptScore W1588145937C11413529 @default.
- W1588145937 hasConceptScore W1588145937C115903868 @default.
- W1588145937 hasConceptScore W1588145937C144133560 @default.
- W1588145937 hasConceptScore W1588145937C162853370 @default.
- W1588145937 hasConceptScore W1588145937C199360897 @default.
- W1588145937 hasConceptScore W1588145937C2780378061 @default.
- W1588145937 hasConceptScore W1588145937C41008148 @default.
- W1588145937 hasConceptScore W1588145937C75606506 @default.
- W1588145937 hasLocation W15881459371 @default.
- W1588145937 hasLocation W15881459372 @default.
- W1588145937 hasOpenAccess W1588145937 @default.
- W1588145937 hasPrimaryLocation W15881459371 @default.
- W1588145937 hasRelatedWork W1524361563 @default.
- W1588145937 hasRelatedWork W1667570355 @default.
- W1588145937 hasRelatedWork W1988166986 @default.
- W1588145937 hasRelatedWork W2072697836 @default.
- W1588145937 hasRelatedWork W2132815515 @default.
- W1588145937 hasRelatedWork W2562928796 @default.
- W1588145937 hasRelatedWork W2605218250 @default.
- W1588145937 hasRelatedWork W2783678835 @default.
- W1588145937 hasRelatedWork W3091728393 @default.
- W1588145937 hasRelatedWork W61995002 @default.
- W1588145937 isParatext "false" @default.
- W1588145937 isRetracted "false" @default.
- W1588145937 magId "1588145937" @default.
- W1588145937 workType "article" @default.