Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902800525> ?p ?o ?g. }
- W2902800525 endingPage "65" @default.
- W2902800525 startingPage "65" @default.
- W2902800525 abstract "Distributed systems, such as the Internet of Things (IoT) and cloud computing, are becoming popular. This requires modeling that reflects the natural characteristics of such systems: the locality of independent components, the autonomy of their decisions, and asynchronous communication. Automated verification of deadlocks and distributed termination supports rapid development. Existing techniques do not reflect some features of distribution. Most formalisms are synchronous and/or use some kind of global state, both of which are unrealistic. No model supports the communication duality that allows the integration of a remote procedure call and client-server paradigm into a single, uniform model. The majority of model checkers refer to total deadlocks. Usually, they do not distinguish between communication deadlocks from resource deadlocks and deadlocks from distributed termination. Some verification mechanisms check partial deadlocks at the expense of restricting the structure of the system being verified. The paper presents an original formalism for the modeling and verification of distributed systems. The Integrated Model of Distributed Systems (IMDS) defines a distributed system as two sets: states and messages, and the relationship of the “actions” between these sets. Communication duality provides projections on servers and on traveling agents, but the uniform specification of the verified system is preserved. General temporal formulas over IMDS, independent of the structure of the verified system, allow automated verification. These formulas distinguish between deadlocks and distributed termination, and between communication deadlocks and resource deadlocks. Partial deadlocks and partial termination can be checked. The Dedan tool was developed using IMDS formalism." @default.
- W2902800525 created "2018-12-11" @default.
- W2902800525 creator A5066950874 @default.
- W2902800525 date "2018-12-02" @default.
- W2902800525 modified "2023-09-28" @default.
- W2902800525 title "Specification and Verification in Integrated Model of Distributed Systems (IMDS)" @default.
- W2902800525 cites W1598605911 @default.
- W2902800525 cites W1677924248 @default.
- W2902800525 cites W1862398452 @default.
- W2902800525 cites W1890368987 @default.
- W2902800525 cites W1974033943 @default.
- W2902800525 cites W2001748564 @default.
- W2902800525 cites W2028025798 @default.
- W2902800525 cites W2036868494 @default.
- W2902800525 cites W2039784168 @default.
- W2902800525 cites W2040060046 @default.
- W2902800525 cites W2049777185 @default.
- W2902800525 cites W2056375306 @default.
- W2902800525 cites W2096455207 @default.
- W2902800525 cites W2099924351 @default.
- W2902800525 cites W2101508170 @default.
- W2902800525 cites W2106174366 @default.
- W2902800525 cites W2107989246 @default.
- W2902800525 cites W2113093740 @default.
- W2902800525 cites W2115309705 @default.
- W2902800525 cites W2129466958 @default.
- W2902800525 cites W2131053137 @default.
- W2902800525 cites W2133010105 @default.
- W2902800525 cites W2136390858 @default.
- W2902800525 cites W2162105072 @default.
- W2902800525 cites W2166334040 @default.
- W2902800525 cites W2168326233 @default.
- W2902800525 cites W2169528473 @default.
- W2902800525 cites W2332567642 @default.
- W2902800525 cites W2400112308 @default.
- W2902800525 cites W2407140871 @default.
- W2902800525 cites W2528493100 @default.
- W2902800525 cites W2565764087 @default.
- W2902800525 cites W2583375967 @default.
- W2902800525 cites W2757753098 @default.
- W2902800525 cites W2810936688 @default.
- W2902800525 cites W2892652260 @default.
- W2902800525 cites W3123595139 @default.
- W2902800525 cites W4211008702 @default.
- W2902800525 cites W4231409327 @default.
- W2902800525 cites W4231725471 @default.
- W2902800525 cites W89538287 @default.
- W2902800525 doi "https://doi.org/10.3390/computers7040065" @default.
- W2902800525 hasPublicationYear "2018" @default.
- W2902800525 type Work @default.
- W2902800525 sameAs 2902800525 @default.
- W2902800525 citedByCount "8" @default.
- W2902800525 countsByYear W29028005252019 @default.
- W2902800525 countsByYear W29028005252021 @default.
- W2902800525 countsByYear W29028005252022 @default.
- W2902800525 countsByYear W29028005252023 @default.
- W2902800525 crossrefType "journal-article" @default.
- W2902800525 hasAuthorship W2902800525A5066950874 @default.
- W2902800525 hasBestOaLocation W29028005251 @default.
- W2902800525 hasConcept C110251889 @default.
- W2902800525 hasConcept C120314980 @default.
- W2902800525 hasConcept C138885662 @default.
- W2902800525 hasConcept C142362112 @default.
- W2902800525 hasConcept C151319957 @default.
- W2902800525 hasConcept C153349607 @default.
- W2902800525 hasConcept C171018156 @default.
- W2902800525 hasConcept C2524010 @default.
- W2902800525 hasConcept C2779808786 @default.
- W2902800525 hasConcept C31258907 @default.
- W2902800525 hasConcept C33923547 @default.
- W2902800525 hasConcept C41008148 @default.
- W2902800525 hasConcept C41895202 @default.
- W2902800525 hasConcept C558565934 @default.
- W2902800525 hasConcept C73301696 @default.
- W2902800525 hasConcept C80444323 @default.
- W2902800525 hasConceptScore W2902800525C110251889 @default.
- W2902800525 hasConceptScore W2902800525C120314980 @default.
- W2902800525 hasConceptScore W2902800525C138885662 @default.
- W2902800525 hasConceptScore W2902800525C142362112 @default.
- W2902800525 hasConceptScore W2902800525C151319957 @default.
- W2902800525 hasConceptScore W2902800525C153349607 @default.
- W2902800525 hasConceptScore W2902800525C171018156 @default.
- W2902800525 hasConceptScore W2902800525C2524010 @default.
- W2902800525 hasConceptScore W2902800525C2779808786 @default.
- W2902800525 hasConceptScore W2902800525C31258907 @default.
- W2902800525 hasConceptScore W2902800525C33923547 @default.
- W2902800525 hasConceptScore W2902800525C41008148 @default.
- W2902800525 hasConceptScore W2902800525C41895202 @default.
- W2902800525 hasConceptScore W2902800525C558565934 @default.
- W2902800525 hasConceptScore W2902800525C73301696 @default.
- W2902800525 hasConceptScore W2902800525C80444323 @default.
- W2902800525 hasIssue "4" @default.
- W2902800525 hasLocation W29028005251 @default.
- W2902800525 hasLocation W29028005252 @default.
- W2902800525 hasOpenAccess W2902800525 @default.
- W2902800525 hasPrimaryLocation W29028005251 @default.
- W2902800525 hasRelatedWork W152523404 @default.
- W2902800525 hasRelatedWork W1532035848 @default.