FRINK Linked Data Fragments server

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

• W855521917 abstract "This thesis contributes work to the fields of runtime monitoring and specification mining. It develops a formalism for specifying patterns of behaviour in execution traces and defines techniques for checking these patterns in, and extracting patterns from, traces. These techniques represent an extension in the expressiveness of properties that can be efficiently and effectively monitored and mined.The behaviour of a computer system is considered in terms of the actions it performs, captured in execution traces. Patterns of behaviour, formally defined in trace specifications, denote the traces that the system should (or should not) exhibit. The main task this work considers is that of checking that the system conforms to the specification i.e. is correct. Additionally, trace specifications can be used to document behaviour to aid maintenance and development. However, formal specifications are often missing or incomplete, hence the mining activity.Previous work in the field of runtime monitoring (checking execution traces) has tended to either focus on efficiency or expressiveness, with different approaches making different trade-offs. This work considers both, achieving the expressiveness of the most expressive existing tools whilst remaining competitive with the most efficient. These elements of expressiveness and efficiency depend on the specification formalism used. Therefore, we introduce quantified event automata for describing patterns of behaviour in execution traces and then develop a range of efficient monitoring algorithms.To monitor execution traces we need a formal description of expected behaviour. However, these are often difficult to write - especially as there is often a lack of understanding of actual behaviour. The field of specification mining aims to explain the behaviour present in execution traces by extracting specifications that conform to those traces. Previous work in this area has primarily been limited to simple specifications that do not consider data. By leveraging the quantified event automata formalism, and its efficient trace checking procedures, we introduce a generate-and-check style mining framework capable of accurately extracting complex specifications.This thesis, therefore, makes separate significant contributions to the fields of runtime monitoring and specification mining. This work generalises and extends existing techniques in runtime monitoring, enabling future research to better understand the interaction between expressiveness and efficiency. This work combines and extends previous approaches to specification mining, increasing the expressiveness of specifications that can be mined." @default.
• W855521917 created "2016-06-24" @default.
• W855521917 creator A5052066515 @default.
• W855521917 date "2014-05-28" @default.
• W855521917 modified "2023-09-27" @default.
• W855521917 title "Automata based monitoring and mining of execution traces" @default.
• W855521917 cites W100976464 @default.
• W855521917 cites W122598200 @default.
• W855521917 cites W138607541 @default.
• W855521917 cites W1484248127 @default.
• W855521917 cites W1484352283 @default.
• W855521917 cites W1489421876 @default.
• W855521917 cites W1496741998 @default.
• W855521917 cites W1502023054 @default.
• W855521917 cites W1502951647 @default.
• W855521917 cites W1513675647 @default.
• W855521917 cites W1524875152 @default.
• W855521917 cites W1525962559 @default.
• W855521917 cites W1526339308 @default.
• W855521917 cites W1529010373 @default.
• W855521917 cites W1532325895 @default.
• W855521917 cites W1532926224 @default.
• W855521917 cites W1533617020 @default.
• W855521917 cites W1540232220 @default.
• W855521917 cites W1554406091 @default.
• W855521917 cites W1558982743 @default.
• W855521917 cites W1559171143 @default.
• W855521917 cites W1560857865 @default.
• W855521917 cites W1568373408 @default.
• W855521917 cites W1570229058 @default.
• W855521917 cites W1571009784 @default.
• W855521917 cites W1576520375 @default.
• W855521917 cites W1583536421 @default.
• W855521917 cites W1585533089 @default.
• W855521917 cites W1586871262 @default.
• W855521917 cites W1592678998 @default.
• W855521917 cites W1593942753 @default.
• W855521917 cites W1597210183 @default.
• W855521917 cites W1601069755 @default.
• W855521917 cites W1607995248 @default.
• W855521917 cites W1608539838 @default.
• W855521917 cites W1608927965 @default.
• W855521917 cites W1647671624 @default.
• W855521917 cites W1745966773 @default.
• W855521917 cites W1791114295 @default.
• W855521917 cites W1795569145 @default.
• W855521917 cites W1825341937 @default.
• W855521917 cites W1862118794 @default.
• W855521917 cites W1870299213 @default.
• W855521917 cites W1917086164 @default.
• W855521917 cites W192433963 @default.
• W855521917 cites W1941427975 @default.
• W855521917 cites W1964962870 @default.
• W855521917 cites W1973970958 @default.
• W855521917 cites W1975442866 @default.
• W855521917 cites W1975880855 @default.
• W855521917 cites W1981108270 @default.
• W855521917 cites W1984666354 @default.
• W855521917 cites W1989445634 @default.
• W855521917 cites W1991274482 @default.
• W855521917 cites W1992294445 @default.
• W855521917 cites W1994748133 @default.
• W855521917 cites W1996804992 @default.
• W855521917 cites W1998490923 @default.
• W855521917 cites W2001123253 @default.
• W855521917 cites W2005062077 @default.
• W855521917 cites W2010749389 @default.
• W855521917 cites W2016716561 @default.
• W855521917 cites W2017603160 @default.
• W855521917 cites W2018198423 @default.
• W855521917 cites W2019363670 @default.
• W855521917 cites W2023808162 @default.
• W855521917 cites W2024753805 @default.
• W855521917 cites W2025677988 @default.
• W855521917 cites W2028239076 @default.
• W855521917 cites W2029138738 @default.
• W855521917 cites W2029414465 @default.
• W855521917 cites W2029693536 @default.
• W855521917 cites W2033904437 @default.
• W855521917 cites W2036507401 @default.
• W855521917 cites W2043811931 @default.
• W855521917 cites W2044590882 @default.
• W855521917 cites W2049764332 @default.
• W855521917 cites W2049930808 @default.
• W855521917 cites W2050389998 @default.
• W855521917 cites W2052363833 @default.
• W855521917 cites W2053352009 @default.
• W855521917 cites W2054520963 @default.
• W855521917 cites W2054943246 @default.
• W855521917 cites W2056665285 @default.
• W855521917 cites W205696660 @default.
• W855521917 cites W2061079066 @default.
• W855521917 cites W2074001172 @default.
• W855521917 cites W2076343783 @default.
• W855521917 cites W2078356878 @default.
• W855521917 cites W2084578840 @default.
• W855521917 cites W2093938715 @default.
• W855521917 cites W2104717300 @default.
• W855521917 cites W2106649514 @default.
• W855521917 cites W2108632968 @default.

• next