Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131980610> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2131980610 endingPage "370" @default.
- W2131980610 startingPage "353" @default.
- W2131980610 abstract "Active rules may interact in complex and sometimes unpredictable ways, thus possibly yielding infinite rule executions by triggering each other indefinitely. This paper presents analysis techniques focused on detecting termination of rule execution. We describe an approach which combines static analysis of a rule set at compile-time and detection of endless loops during rule processing at runtime. The compile-time analysis technique is based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called Triggering and Activation Graphs, respectively. This analysis technique allows us to identify reactive behaviors which are guaranteed to terminate and reactive behaviors which may lead to infinite rule processing. When termination cannot be guaranteed at compile-time, it is crucial to detect infinite rule executions at runtime. We propose a technique for identifying loops which is based on recognizing that a given situation has already occurred in the past and, therefore, will occur an infinite number of times in the future. This technique is potentially very expensive, therefore, we explain how it can be implemented in practice with limited computational effort. A particular use of this technique allows us to develop cycle monitors, which check that critical rule sequences, detected at compile time, do not repeat forever We bridge compile-time analysis to runtime monitoring by showing techniques, based on the result of rule analysis, for the identification of rule sets that can be independently monitored and for the optimal selection of cycle monitors." @default.
- W2131980610 created "2016-06-24" @default.
- W2131980610 creator A5001695309 @default.
- W2131980610 creator A5026292704 @default.
- W2131980610 creator A5048332811 @default.
- W2131980610 date "1998-01-01" @default.
- W2131980610 modified "2023-09-27" @default.
- W2131980610 title "Compile-time and runtime analysis of active behaviors" @default.
- W2131980610 cites W1479721250 @default.
- W2131980610 cites W1497001408 @default.
- W2131980610 cites W1534136170 @default.
- W2131980610 cites W1552042095 @default.
- W2131980610 cites W1574768436 @default.
- W2131980610 cites W1966276082 @default.
- W2131980610 cites W1977467261 @default.
- W2131980610 cites W2010053008 @default.
- W2131980610 cites W2026024665 @default.
- W2131980610 cites W2036278007 @default.
- W2131980610 cites W2070979546 @default.
- W2131980610 cites W2088552404 @default.
- W2131980610 cites W2094867116 @default.
- W2131980610 cites W2099648828 @default.
- W2131980610 cites W2401610261 @default.
- W2131980610 cites W27608314 @default.
- W2131980610 cites W4230320215 @default.
- W2131980610 cites W4289258943 @default.
- W2131980610 cites W2054086422 @default.
- W2131980610 doi "https://doi.org/10.1109/69.687973" @default.
- W2131980610 hasPublicationYear "1998" @default.
- W2131980610 type Work @default.
- W2131980610 sameAs 2131980610 @default.
- W2131980610 citedByCount "80" @default.
- W2131980610 countsByYear W21319806102012 @default.
- W2131980610 countsByYear W21319806102013 @default.
- W2131980610 countsByYear W21319806102014 @default.
- W2131980610 countsByYear W21319806102015 @default.
- W2131980610 countsByYear W21319806102016 @default.
- W2131980610 countsByYear W21319806102018 @default.
- W2131980610 crossrefType "journal-article" @default.
- W2131980610 hasAuthorship W2131980610A5001695309 @default.
- W2131980610 hasAuthorship W2131980610A5026292704 @default.
- W2131980610 hasAuthorship W2131980610A5048332811 @default.
- W2131980610 hasConcept C169590947 @default.
- W2131980610 hasConcept C199360897 @default.
- W2131980610 hasConcept C200833197 @default.
- W2131980610 hasConcept C41008148 @default.
- W2131980610 hasConceptScore W2131980610C169590947 @default.
- W2131980610 hasConceptScore W2131980610C199360897 @default.
- W2131980610 hasConceptScore W2131980610C200833197 @default.
- W2131980610 hasConceptScore W2131980610C41008148 @default.
- W2131980610 hasIssue "3" @default.
- W2131980610 hasLocation W21319806101 @default.
- W2131980610 hasOpenAccess W2131980610 @default.
- W2131980610 hasPrimaryLocation W21319806101 @default.
- W2131980610 hasRelatedWork W1515791128 @default.
- W2131980610 hasRelatedWork W1782169904 @default.
- W2131980610 hasRelatedWork W2045903735 @default.
- W2131980610 hasRelatedWork W2077619650 @default.
- W2131980610 hasRelatedWork W2086733238 @default.
- W2131980610 hasRelatedWork W2137908418 @default.
- W2131980610 hasRelatedWork W2740990710 @default.
- W2131980610 hasRelatedWork W2999589555 @default.
- W2131980610 hasRelatedWork W3006199460 @default.
- W2131980610 hasRelatedWork W1482645738 @default.
- W2131980610 hasVolume "10" @default.
- W2131980610 isParatext "false" @default.
- W2131980610 isRetracted "false" @default.
- W2131980610 magId "2131980610" @default.
- W2131980610 workType "article" @default.