FRINK Linked Data Fragments server

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

• W863372212 abstract "In recent years, componentand service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than at development time. Additionally, the separation of interface specification and the implementation combined with uses of Application Programming Interfaces (API) in contexts not envisioned by their developers often lead to subtle faults and consequent failures that are hard to diagnose. This problem is exacerbated when components or services are bound dynamically during deployment, and hence are not known during development and testing. One important implication of this is that it significantly limits the assurance of quality and reliability that testing at development time can give. Consequently, more quality assurance has to take place after the deployment of systems at runtime. Most runtime verification techniques rely on monitoring state and behavior of systems and reasoning over the measured data to verify whether or not pre-defined properties are maintained. This dissertation is about runtime monitoring for structural design-level properties of component-based software systems. Such properties arise for example when a framework imposes requirements that must be met by all components, including components developed by third parties, connected within the framework. The working hypothesis is that there are useful design-level properties, violations of which lead to failures that exhibit enough commonalities to distinguish them from failures caused by other defects, and that these clusters of failures can be exploited to define reusable runtime monitoring mechanisms. Based on this hypothesis, this dissertation’s first contribution is a set of designlevel properties that can be identified by clearly distinct classes of failures. Using these failure classes as guideline, the second contribution is defining templates for runtime monitors. These templates are similar in spirit to design patterns, even though their implementation is solving a monitoring, rather than a software design problem. The third contribution is a specification language to express the identified properties in design models, and a tool processing such models to automatically generate effective runtime monitors for the specified properties. The applicability of the identified properties and the effectiveness of the generated monitors is assessed in several case studies." @default.
• W863372212 created "2016-06-24" @default.
• W863372212 creator A5061591906 @default.
• W863372212 date "2010-01-01" @default.
• W863372212 modified "2023-09-26" @default.
• W863372212 title "Automatically generated runtime checks for design-level constraints" @default.
• W863372212 cites W111619882 @default.
• W863372212 cites W1510845095 @default.
• W863372212 cites W1524053243 @default.
• W863372212 cites W1583826417 @default.
• W863372212 cites W1597549781 @default.
• W863372212 cites W1649645444 @default.
• W863372212 cites W1875956924 @default.
• W863372212 cites W1959256509 @default.
• W863372212 cites W1976247299 @default.
• W863372212 cites W1978303100 @default.
• W863372212 cites W1979868167 @default.
• W863372212 cites W1980702991 @default.
• W863372212 cites W1986137020 @default.
• W863372212 cites W1990911977 @default.
• W863372212 cites W1991999918 @default.
• W863372212 cites W1996832037 @default.
• W863372212 cites W2003373522 @default.
• W863372212 cites W2004723750 @default.
• W863372212 cites W2013261777 @default.
• W863372212 cites W2018261325 @default.
• W863372212 cites W2023886997 @default.
• W863372212 cites W2025381809 @default.
• W863372212 cites W2035362408 @default.
• W863372212 cites W2054921215 @default.
• W863372212 cites W2059677325 @default.
• W863372212 cites W2060291526 @default.
• W863372212 cites W2073407646 @default.
• W863372212 cites W2096973649 @default.
• W863372212 cites W2099546962 @default.
• W863372212 cites W2103906579 @default.
• W863372212 cites W2104301421 @default.
• W863372212 cites W2107232214 @default.
• W863372212 cites W2110137598 @default.
• W863372212 cites W2114178685 @default.
• W863372212 cites W2115484804 @default.
• W863372212 cites W2116844130 @default.
• W863372212 cites W2119249385 @default.
• W863372212 cites W2123586642 @default.
• W863372212 cites W2124000414 @default.
• W863372212 cites W2124378517 @default.
• W863372212 cites W2125614502 @default.
• W863372212 cites W2127228682 @default.
• W863372212 cites W2129360963 @default.
• W863372212 cites W2133943294 @default.
• W863372212 cites W2134716336 @default.
• W863372212 cites W2135858107 @default.
• W863372212 cites W2135868037 @default.
• W863372212 cites W2136286495 @default.
• W863372212 cites W2136887998 @default.
• W863372212 cites W2137956345 @default.
• W863372212 cites W2138916466 @default.
• W863372212 cites W2140991542 @default.
• W863372212 cites W2145071552 @default.
• W863372212 cites W2145867204 @default.
• W863372212 cites W2149679864 @default.
• W863372212 cites W2150593762 @default.
• W863372212 cites W2156428492 @default.
• W863372212 cites W2157598010 @default.
• W863372212 cites W2161825580 @default.
• W863372212 cites W2163784380 @default.
• W863372212 cites W2164122643 @default.
• W863372212 cites W2167868895 @default.
• W863372212 cites W2171737499 @default.
• W863372212 cites W2171816001 @default.
• W863372212 cites W2762588455 @default.
• W863372212 cites W3146075203 @default.
• W863372212 hasPublicationYear "2010" @default.
• W863372212 type Work @default.
• W863372212 sameAs 863372212 @default.
• W863372212 citedByCount "0" @default.
• W863372212 crossrefType "journal-article" @default.
• W863372212 hasAuthorship W863372212A5061591906 @default.
• W863372212 hasConcept C105339364 @default.
• W863372212 hasConcept C111498074 @default.
• W863372212 hasConcept C111919701 @default.
• W863372212 hasConcept C113843644 @default.
• W863372212 hasConcept C115903868 @default.
• W863372212 hasConcept C117447612 @default.
• W863372212 hasConcept C120314980 @default.
• W863372212 hasConcept C121332964 @default.
• W863372212 hasConcept C129307140 @default.
• W863372212 hasConcept C149091818 @default.
• W863372212 hasConcept C157915830 @default.
• W863372212 hasConcept C168167062 @default.
• W863372212 hasConcept C174683762 @default.
• W863372212 hasConcept C199360897 @default.
• W863372212 hasConcept C202973057 @default.
• W863372212 hasConcept C2776969324 @default.
• W863372212 hasConcept C2777904410 @default.
• W863372212 hasConcept C41008148 @default.
• W863372212 hasConcept C529173508 @default.
• W863372212 hasConcept C97355855 @default.
• W863372212 hasConcept C98045186 @default.
• W863372212 hasConceptScore W863372212C105339364 @default.

• next