Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088200982> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2088200982 abstract "We present a tool that permits developers to monitor and verify assumptions at an abstract level about an application running on a virtual machine. On the implementation level, a so-called platform aligned model (PAM) described in the UML (Unified Modeling Language) and enriched by OCL (Object Constraint Language) requirements is used to formalize these assumptions. Our solution allows a developer to concentrate on verifying core parts of an implementation while ignoring major parts of peripheral technical details. In order to easily detect a PAM which characterizes the central requirements, we propose a semi-automatic approach. First, a complete program model is generated by analyzing the source code. Afterwards, this model is reduced by the user to central classes and associations. This reduced model is enriched by the assumptions about the expected behavior of the system. The monitor connects to the running system at a particular point in time and builds up an abstract snapshot, i.e., an instance of the PAM, which corresponds to the current state. When the application is further executed this snapshot is synchronized by listening to changes in the running system. During monitoring the stated assumptions are validated and possible violations are reported to the user." @default.
- W2088200982 created "2016-06-24" @default.
- W2088200982 creator A5013415103 @default.
- W2088200982 creator A5015792471 @default.
- W2088200982 creator A5017053093 @default.
- W2088200982 creator A5032836370 @default.
- W2088200982 date "2012-03-01" @default.
- W2088200982 modified "2023-10-16" @default.
- W2088200982 title "Abstract Runtime Monitoring with USE" @default.
- W2088200982 cites W2010348939 @default.
- W2088200982 cites W2111445678 @default.
- W2088200982 cites W2113085447 @default.
- W2088200982 doi "https://doi.org/10.1109/csmr.2012.73" @default.
- W2088200982 hasPublicationYear "2012" @default.
- W2088200982 type Work @default.
- W2088200982 sameAs 2088200982 @default.
- W2088200982 citedByCount "7" @default.
- W2088200982 countsByYear W20882009822012 @default.
- W2088200982 countsByYear W20882009822014 @default.
- W2088200982 countsByYear W20882009822015 @default.
- W2088200982 countsByYear W20882009822018 @default.
- W2088200982 countsByYear W20882009822021 @default.
- W2088200982 crossrefType "proceedings-article" @default.
- W2088200982 hasAuthorship W2088200982A5013415103 @default.
- W2088200982 hasAuthorship W2088200982A5015792471 @default.
- W2088200982 hasAuthorship W2088200982A5017053093 @default.
- W2088200982 hasAuthorship W2088200982A5032836370 @default.
- W2088200982 hasBestOaLocation W20882009822 @default.
- W2088200982 hasConcept C111498074 @default.
- W2088200982 hasConcept C199360897 @default.
- W2088200982 hasConcept C202973057 @default.
- W2088200982 hasConcept C41008148 @default.
- W2088200982 hasConceptScore W2088200982C111498074 @default.
- W2088200982 hasConceptScore W2088200982C199360897 @default.
- W2088200982 hasConceptScore W2088200982C202973057 @default.
- W2088200982 hasConceptScore W2088200982C41008148 @default.
- W2088200982 hasLocation W20882009821 @default.
- W2088200982 hasLocation W20882009822 @default.
- W2088200982 hasLocation W20882009823 @default.
- W2088200982 hasOpenAccess W2088200982 @default.
- W2088200982 hasPrimaryLocation W20882009821 @default.
- W2088200982 hasRelatedWork W1548926438 @default.
- W2088200982 hasRelatedWork W1931305589 @default.
- W2088200982 hasRelatedWork W1983646929 @default.
- W2088200982 hasRelatedWork W2097082130 @default.
- W2088200982 hasRelatedWork W2327742196 @default.
- W2088200982 hasRelatedWork W2901917862 @default.
- W2088200982 hasRelatedWork W3119491100 @default.
- W2088200982 hasRelatedWork W4285308648 @default.
- W2088200982 hasRelatedWork W47563837 @default.
- W2088200982 hasRelatedWork W48572499 @default.
- W2088200982 isParatext "false" @default.
- W2088200982 isRetracted "false" @default.
- W2088200982 magId "2088200982" @default.
- W2088200982 workType "article" @default.