FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519460009> ?p ?o ?g. }

• W1519460009 endingPage "93" @default.
• W1519460009 startingPage "46" @default.
• W1519460009 abstract "Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to many components displaying many local behaviours that together constitute the system’s global behaviour. This level of abstraction is often reasonable, hiding implementation details from users who may want to specify the system’s global behaviour in terms of a linear-time temporal logic (LTL) formula. However, the problem that arises then is how such a specification can actually be monitored in a distributed system that has no central data collection point, where all the components’ local behaviours are observable. In this case, the LTL specification needs to be decomposed into sub-formulae which, in turn, need to be distributed amongst the components’ locally attached monitors, each of which sees only a distinct part of the global behaviour. The main contribution of this paper is an algorithm for distributing and monitoring LTL formulae, such that satisfaction or violation of specifications can be detected by local monitors alone. We present an implementation and show that our algorithm introduces only a negligible delay in detecting satisfaction/violation of a specification. Moreover, our practical results show that the communication overhead introduced by the local monitors is generally lower than the number of messages that would need to be sent to a central data collection point. Furthermore, our experiments strengthen the argument that the algorithm performs well in a wide range of different application contexts, given by different system/communication topologies and/or system event distributions over time." @default.
• W1519460009 created "2016-06-24" @default.
• W1519460009 creator A5037726232 @default.
• W1519460009 creator A5051152220 @default.
• W1519460009 date "2016-04-01" @default.
• W1519460009 modified "2023-10-16" @default.
• W1519460009 title "Decentralised LTL monitoring" @default.
• W1519460009 cites W1490074134 @default.
• W1519460009 cites W1491593738 @default.
• W1519460009 cites W1525962559 @default.
• W1519460009 cites W1540883472 @default.
• W1519460009 cites W1552135236 @default.
• W1519460009 cites W1566637212 @default.
• W1519460009 cites W1597173694 @default.
• W1519460009 cites W1827250140 @default.
• W1519460009 cites W1975880855 @default.
• W1519460009 cites W1996832037 @default.
• W1519460009 cites W2001376518 @default.
• W1519460009 cites W2003227046 @default.
• W1519460009 cites W2005062077 @default.
• W1519460009 cites W2023808162 @default.
• W1519460009 cites W2027769154 @default.
• W1519460009 cites W2028025798 @default.
• W1519460009 cites W2087412435 @default.
• W1519460009 cites W2088445166 @default.
• W1519460009 cites W2104717300 @default.
• W1519460009 cites W2106709458 @default.
• W1519460009 cites W2109665236 @default.
• W1519460009 cites W2153385696 @default.
• W1519460009 cites W2167757118 @default.
• W1519460009 cites W2207666193 @default.
• W1519460009 cites W31818994 @default.
• W1519460009 cites W4206398538 @default.
• W1519460009 cites W4246665875 @default.
• W1519460009 cites W52208544 @default.
• W1519460009 doi "https://doi.org/10.1007/s10703-016-0253-8" @default.
• W1519460009 hasPublicationYear "2016" @default.
• W1519460009 type Work @default.
• W1519460009 sameAs 1519460009 @default.
• W1519460009 citedByCount "48" @default.
• W1519460009 countsByYear W15194600092013 @default.
• W1519460009 countsByYear W15194600092015 @default.
• W1519460009 countsByYear W15194600092017 @default.
• W1519460009 countsByYear W15194600092018 @default.
• W1519460009 countsByYear W15194600092019 @default.
• W1519460009 countsByYear W15194600092020 @default.
• W1519460009 countsByYear W15194600092021 @default.
• W1519460009 countsByYear W15194600092022 @default.
• W1519460009 countsByYear W15194600092023 @default.
• W1519460009 crossrefType "journal-article" @default.
• W1519460009 hasAuthorship W1519460009A5037726232 @default.
• W1519460009 hasAuthorship W1519460009A5051152220 @default.
• W1519460009 hasBestOaLocation W15194600092 @default.
• W1519460009 hasConcept C111472728 @default.
• W1519460009 hasConcept C120314980 @default.
• W1519460009 hasConcept C121332964 @default.
• W1519460009 hasConcept C124304363 @default.
• W1519460009 hasConcept C127413603 @default.
• W1519460009 hasConcept C138885662 @default.
• W1519460009 hasConcept C146978453 @default.
• W1519460009 hasConcept C168167062 @default.
• W1519460009 hasConcept C185592680 @default.
• W1519460009 hasConcept C199360897 @default.
• W1519460009 hasConcept C204323151 @default.
• W1519460009 hasConcept C25016198 @default.
• W1519460009 hasConcept C2524010 @default.
• W1519460009 hasConcept C2779960059 @default.
• W1519460009 hasConcept C28719098 @default.
• W1519460009 hasConcept C33923547 @default.
• W1519460009 hasConcept C41008148 @default.
• W1519460009 hasConcept C4777664 @default.
• W1519460009 hasConcept C55493867 @default.
• W1519460009 hasConcept C79403827 @default.
• W1519460009 hasConcept C80444323 @default.
• W1519460009 hasConcept C97355855 @default.
• W1519460009 hasConcept C98184364 @default.
• W1519460009 hasConceptScore W1519460009C111472728 @default.
• W1519460009 hasConceptScore W1519460009C120314980 @default.
• W1519460009 hasConceptScore W1519460009C121332964 @default.
• W1519460009 hasConceptScore W1519460009C124304363 @default.
• W1519460009 hasConceptScore W1519460009C127413603 @default.
• W1519460009 hasConceptScore W1519460009C138885662 @default.
• W1519460009 hasConceptScore W1519460009C146978453 @default.
• W1519460009 hasConceptScore W1519460009C168167062 @default.
• W1519460009 hasConceptScore W1519460009C185592680 @default.
• W1519460009 hasConceptScore W1519460009C199360897 @default.
• W1519460009 hasConceptScore W1519460009C204323151 @default.
• W1519460009 hasConceptScore W1519460009C25016198 @default.
• W1519460009 hasConceptScore W1519460009C2524010 @default.
• W1519460009 hasConceptScore W1519460009C2779960059 @default.
• W1519460009 hasConceptScore W1519460009C28719098 @default.
• W1519460009 hasConceptScore W1519460009C33923547 @default.
• W1519460009 hasConceptScore W1519460009C41008148 @default.
• W1519460009 hasConceptScore W1519460009C4777664 @default.
• W1519460009 hasConceptScore W1519460009C55493867 @default.
• W1519460009 hasConceptScore W1519460009C79403827 @default.
• W1519460009 hasConceptScore W1519460009C80444323 @default.
• W1519460009 hasConceptScore W1519460009C97355855 @default.

• next