Matches in SemOpenAlex for { <https://semopenalex.org/work/W84106987> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W84106987 endingPage "95" @default.
- W84106987 startingPage "86" @default.
- W84106987 abstract "The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribution, such as the concurrency, the reactivity and the interaction between the entities. Among the most common reactive distributed systems we can cite industrial ones; distributed networks occur for example in telecommunications, Internet, power and energy, transportation and manufacturing. Distributed computing will play an increasingly critical role in the global industrial-infrastructure. The need for trustworthy systems has received tremendous researchers' attention. The usage of formal tools for simulation and prototyping designed to facilitate the modelling of such systems is of great interest. Improved methods are needed to insure reliability, security and robustness of industrial distributed systems. This paper proposes the fundamentals of a formal approach for the specification of reactive distributed systems based on object-oriented paradigm. Object's behaviour is modelled as REACTNets. The REACTNets enhance the ECATNets that are a kind of high level algebraic Petri nets with explicit distribution and reactivity. We associate to the classic ECATNets MAUDE rules to handle interactions between objects. The two formalisms have a common semantics in term of rewriting logic so that interesting prospects are opened for their integration." @default.
- W84106987 created "2016-06-24" @default.
- W84106987 creator A5006661905 @default.
- W84106987 creator A5040340645 @default.
- W84106987 date "2010-01-01" @default.
- W84106987 modified "2023-09-26" @default.
- W84106987 title "Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets" @default.
- W84106987 cites W1508986175 @default.
- W84106987 cites W1547997140 @default.
- W84106987 cites W1819916734 @default.
- W84106987 cites W1963992551 @default.
- W84106987 cites W1976195354 @default.
- W84106987 cites W1989324252 @default.
- W84106987 cites W1997189669 @default.
- W84106987 cites W2002139530 @default.
- W84106987 cites W2011648815 @default.
- W84106987 cites W2012146096 @default.
- W84106987 cites W2038462769 @default.
- W84106987 cites W2046083366 @default.
- W84106987 cites W2067573892 @default.
- W84106987 cites W2108475083 @default.
- W84106987 cites W2115773332 @default.
- W84106987 cites W2120926795 @default.
- W84106987 cites W2132559804 @default.
- W84106987 cites W2156616958 @default.
- W84106987 cites W2159887230 @default.
- W84106987 cites W3094165495 @default.
- W84106987 cites W2585339290 @default.
- W84106987 hasPublicationYear "2010" @default.
- W84106987 type Work @default.
- W84106987 sameAs 84106987 @default.
- W84106987 citedByCount "0" @default.
- W84106987 crossrefType "journal-article" @default.
- W84106987 hasAuthorship W84106987A5006661905 @default.
- W84106987 hasAuthorship W84106987A5040340645 @default.
- W84106987 hasConcept C115903868 @default.
- W84106987 hasConcept C120314980 @default.
- W84106987 hasConcept C154690210 @default.
- W84106987 hasConcept C171018156 @default.
- W84106987 hasConcept C193702766 @default.
- W84106987 hasConcept C199360897 @default.
- W84106987 hasConcept C2524010 @default.
- W84106987 hasConcept C33923547 @default.
- W84106987 hasConcept C38677869 @default.
- W84106987 hasConcept C41008148 @default.
- W84106987 hasConcept C80444323 @default.
- W84106987 hasConceptScore W84106987C115903868 @default.
- W84106987 hasConceptScore W84106987C120314980 @default.
- W84106987 hasConceptScore W84106987C154690210 @default.
- W84106987 hasConceptScore W84106987C171018156 @default.
- W84106987 hasConceptScore W84106987C193702766 @default.
- W84106987 hasConceptScore W84106987C199360897 @default.
- W84106987 hasConceptScore W84106987C2524010 @default.
- W84106987 hasConceptScore W84106987C33923547 @default.
- W84106987 hasConceptScore W84106987C38677869 @default.
- W84106987 hasConceptScore W84106987C41008148 @default.
- W84106987 hasConceptScore W84106987C80444323 @default.
- W84106987 hasLocation W841069871 @default.
- W84106987 hasOpenAccess W84106987 @default.
- W84106987 hasPrimaryLocation W841069871 @default.
- W84106987 hasRelatedWork W120797731 @default.
- W84106987 hasRelatedWork W1514403485 @default.
- W84106987 hasRelatedWork W1607339033 @default.
- W84106987 hasRelatedWork W1709679583 @default.
- W84106987 hasRelatedWork W2012445925 @default.
- W84106987 hasRelatedWork W2069162149 @default.
- W84106987 hasRelatedWork W2088045574 @default.
- W84106987 hasRelatedWork W2097875494 @default.
- W84106987 hasRelatedWork W2098312613 @default.
- W84106987 hasRelatedWork W2132080964 @default.
- W84106987 hasRelatedWork W2155591210 @default.
- W84106987 hasRelatedWork W2464348210 @default.
- W84106987 hasRelatedWork W2543912653 @default.
- W84106987 hasRelatedWork W2560392713 @default.
- W84106987 hasRelatedWork W2592868837 @default.
- W84106987 hasRelatedWork W3089325524 @default.
- W84106987 hasRelatedWork W3123331964 @default.
- W84106987 hasRelatedWork W3193674068 @default.
- W84106987 hasRelatedWork W3196767562 @default.
- W84106987 hasRelatedWork W91981638 @default.
- W84106987 hasVolume "7" @default.
- W84106987 isParatext "false" @default.
- W84106987 isRetracted "false" @default.
- W84106987 magId "84106987" @default.
- W84106987 workType "article" @default.