Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103367002> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2103367002 endingPage "807" @default.
- W2103367002 startingPage "799" @default.
- W2103367002 abstract "This paper proposes an event-based transition system called A-LTS. An A-LTS is a simple system consisting of two agents, a basic program and a monitor. The monitor observes the behavior of the basic program and if the behavior matches some pre-defined pattern, then the monitor interrupts the execution of the basic program and possibly triggers the execution of another specific program. An A-LTS models a common feature found in recent software technologies such as Aspect-Oriented Programming (AOP), history-based access control and active database. We investigate the expressive power of A-LTS and show that it is strictly stronger than finite state machines and strictly weaker than pushdown automata (PDA). This implies that the model checking problem for A-LTS is decidable. It is also shown that the expressive power of A-LTS, linear context-free grammar and deterministic PDA are mutually incomparable. We also discuss the relationship between A-LTS and pointcut/advice in AOP." @default.
- W2103367002 created "2016-06-24" @default.
- W2103367002 creator A5018228908 @default.
- W2103367002 creator A5055766301 @default.
- W2103367002 creator A5077513463 @default.
- W2103367002 date "2007-05-01" @default.
- W2103367002 modified "2023-10-18" @default.
- W2103367002 title "A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power" @default.
- W2103367002 cites W1491036809 @default.
- W2103367002 cites W1513136098 @default.
- W2103367002 cites W1590320528 @default.
- W2103367002 cites W1595179046 @default.
- W2103367002 cites W1855341394 @default.
- W2103367002 cites W1888344413 @default.
- W2103367002 cites W1965418329 @default.
- W2103367002 cites W1978853037 @default.
- W2103367002 cites W2036910349 @default.
- W2103367002 cites W2072041493 @default.
- W2103367002 cites W2076488395 @default.
- W2103367002 cites W2105590118 @default.
- W2103367002 cites W2109387928 @default.
- W2103367002 cites W2124476310 @default.
- W2103367002 cites W2140393476 @default.
- W2103367002 cites W2158487182 @default.
- W2103367002 cites W2268014521 @default.
- W2103367002 cites W2340735175 @default.
- W2103367002 cites W2913459036 @default.
- W2103367002 doi "https://doi.org/10.1093/ietisy/e90-d.5.799" @default.
- W2103367002 hasPublicationYear "2007" @default.
- W2103367002 type Work @default.
- W2103367002 sameAs 2103367002 @default.
- W2103367002 citedByCount "1" @default.
- W2103367002 crossrefType "journal-article" @default.
- W2103367002 hasAuthorship W2103367002A5018228908 @default.
- W2103367002 hasAuthorship W2103367002A5055766301 @default.
- W2103367002 hasAuthorship W2103367002A5077513463 @default.
- W2103367002 hasBestOaLocation W21033670022 @default.
- W2103367002 hasConcept C104317684 @default.
- W2103367002 hasConcept C121332964 @default.
- W2103367002 hasConcept C154945302 @default.
- W2103367002 hasConcept C163258240 @default.
- W2103367002 hasConcept C185592680 @default.
- W2103367002 hasConcept C194232998 @default.
- W2103367002 hasConcept C195818886 @default.
- W2103367002 hasConcept C199360897 @default.
- W2103367002 hasConcept C204321447 @default.
- W2103367002 hasConcept C41008148 @default.
- W2103367002 hasConcept C54525549 @default.
- W2103367002 hasConcept C55493867 @default.
- W2103367002 hasConcept C62520636 @default.
- W2103367002 hasConcept C86803240 @default.
- W2103367002 hasConcept C90856448 @default.
- W2103367002 hasConceptScore W2103367002C104317684 @default.
- W2103367002 hasConceptScore W2103367002C121332964 @default.
- W2103367002 hasConceptScore W2103367002C154945302 @default.
- W2103367002 hasConceptScore W2103367002C163258240 @default.
- W2103367002 hasConceptScore W2103367002C185592680 @default.
- W2103367002 hasConceptScore W2103367002C194232998 @default.
- W2103367002 hasConceptScore W2103367002C195818886 @default.
- W2103367002 hasConceptScore W2103367002C199360897 @default.
- W2103367002 hasConceptScore W2103367002C204321447 @default.
- W2103367002 hasConceptScore W2103367002C41008148 @default.
- W2103367002 hasConceptScore W2103367002C54525549 @default.
- W2103367002 hasConceptScore W2103367002C55493867 @default.
- W2103367002 hasConceptScore W2103367002C62520636 @default.
- W2103367002 hasConceptScore W2103367002C86803240 @default.
- W2103367002 hasConceptScore W2103367002C90856448 @default.
- W2103367002 hasIssue "5" @default.
- W2103367002 hasLocation W21033670021 @default.
- W2103367002 hasLocation W21033670022 @default.
- W2103367002 hasOpenAccess W2103367002 @default.
- W2103367002 hasPrimaryLocation W21033670021 @default.
- W2103367002 hasRelatedWork W1998586093 @default.
- W2103367002 hasRelatedWork W2013111119 @default.
- W2103367002 hasRelatedWork W2112962394 @default.
- W2103367002 hasRelatedWork W2118300983 @default.
- W2103367002 hasRelatedWork W2382501300 @default.
- W2103367002 hasRelatedWork W3137189469 @default.
- W2103367002 hasRelatedWork W3162240892 @default.
- W2103367002 hasRelatedWork W4235530921 @default.
- W2103367002 hasRelatedWork W4243252198 @default.
- W2103367002 hasRelatedWork W4245713008 @default.
- W2103367002 hasVolume "E90-D" @default.
- W2103367002 isParatext "false" @default.
- W2103367002 isRetracted "false" @default.
- W2103367002 magId "2103367002" @default.
- W2103367002 workType "article" @default.