Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300471172> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4300471172 abstract "In this work, we alleviate the well-known State-Space Explosion (SSE) problem in Component Based Systems (CBS). We consider CBS that can be specified as a system of n Communicating Finite State Machines (CFSMs) interacting by rendezvous/handshake method. In order to avoid the SSE incurred by the traditional product machine composition of the given input CFSMs based on interleaving semantics, we construct a sum machine composition based on state-oriented partial-order semantics. The sum machine consists of a set of n unfolded CFSMs. By storing statically, just a small subset of global state vectors at synchronization points, called the synchronous environment vectors and generating the rest of the global-state vectors dynamically on need basis depending on the reachability to be verified, the sum machine alleviates the SSE of the product machine. We demonstrate the implementation of checking the reachability of global state vector from the checking of local reachabilities of the components of the given state vector, through a parallel, distributed algorithm. Parallel and distributed algorithms to generate the sum machine and verifying the reachability in it both without exponential complexity are the contributions of this work. Keywords: interleaving semantics, partial-order semantics, sum machine, product machine, synchronization points, synchronous environment state vectors, reachability." @default.
- W4300471172 created "2022-10-03" @default.
- W4300471172 creator A5021220911 @default.
- W4300471172 date "2018-03-06" @default.
- W4300471172 modified "2023-10-16" @default.
- W4300471172 title "Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm" @default.
- W4300471172 doi "https://doi.org/10.48550/arxiv.1803.03127" @default.
- W4300471172 hasPublicationYear "2018" @default.
- W4300471172 type Work @default.
- W4300471172 citedByCount "0" @default.
- W4300471172 crossrefType "posted-content" @default.
- W4300471172 hasAuthorship W4300471172A5021220911 @default.
- W4300471172 hasBestOaLocation W43004711721 @default.
- W4300471172 hasConcept C105795698 @default.
- W4300471172 hasConcept C111919701 @default.
- W4300471172 hasConcept C11413529 @default.
- W4300471172 hasConcept C121332964 @default.
- W4300471172 hasConcept C127162648 @default.
- W4300471172 hasConcept C136643341 @default.
- W4300471172 hasConcept C167822520 @default.
- W4300471172 hasConcept C168167062 @default.
- W4300471172 hasConcept C2778562939 @default.
- W4300471172 hasConcept C28034677 @default.
- W4300471172 hasConcept C31258907 @default.
- W4300471172 hasConcept C33923547 @default.
- W4300471172 hasConcept C41008148 @default.
- W4300471172 hasConcept C48103436 @default.
- W4300471172 hasConcept C72434380 @default.
- W4300471172 hasConcept C80444323 @default.
- W4300471172 hasConcept C97355855 @default.
- W4300471172 hasConceptScore W4300471172C105795698 @default.
- W4300471172 hasConceptScore W4300471172C111919701 @default.
- W4300471172 hasConceptScore W4300471172C11413529 @default.
- W4300471172 hasConceptScore W4300471172C121332964 @default.
- W4300471172 hasConceptScore W4300471172C127162648 @default.
- W4300471172 hasConceptScore W4300471172C136643341 @default.
- W4300471172 hasConceptScore W4300471172C167822520 @default.
- W4300471172 hasConceptScore W4300471172C168167062 @default.
- W4300471172 hasConceptScore W4300471172C2778562939 @default.
- W4300471172 hasConceptScore W4300471172C28034677 @default.
- W4300471172 hasConceptScore W4300471172C31258907 @default.
- W4300471172 hasConceptScore W4300471172C33923547 @default.
- W4300471172 hasConceptScore W4300471172C41008148 @default.
- W4300471172 hasConceptScore W4300471172C48103436 @default.
- W4300471172 hasConceptScore W4300471172C72434380 @default.
- W4300471172 hasConceptScore W4300471172C80444323 @default.
- W4300471172 hasConceptScore W4300471172C97355855 @default.
- W4300471172 hasLocation W43004711721 @default.
- W4300471172 hasOpenAccess W4300471172 @default.
- W4300471172 hasPrimaryLocation W43004711721 @default.
- W4300471172 hasRelatedWork W1532970407 @default.
- W4300471172 hasRelatedWork W1536744902 @default.
- W4300471172 hasRelatedWork W1597840949 @default.
- W4300471172 hasRelatedWork W1994843883 @default.
- W4300471172 hasRelatedWork W2098765445 @default.
- W4300471172 hasRelatedWork W2103672915 @default.
- W4300471172 hasRelatedWork W2107012191 @default.
- W4300471172 hasRelatedWork W2141472669 @default.
- W4300471172 hasRelatedWork W2188625294 @default.
- W4300471172 hasRelatedWork W4247648311 @default.
- W4300471172 isParatext "false" @default.
- W4300471172 isRetracted "false" @default.
- W4300471172 workType "article" @default.