Matches in SemOpenAlex for { <https://semopenalex.org/work/W1884898539> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1884898539 endingPage "399" @default.
- W1884898539 startingPage "384" @default.
- W1884898539 abstract "This paper presents an approach that enables users to monitor and verify the behavior of an application running on a virtual machine (like the Java virtual machine) at an abstract model level. Models for object-oriented implementations are often used as a foundation for formal verification approaches. Our work allows the developer to verify whether a model corresponds to a concrete implementation by validating assumptions about model structure and behavior. In previous work, we focused on (a) the validation of static model properties by monitoring invariants and (b) basic dynamic properties by specifying pre- and postconditions of an operation. In this paper, we extend our work in order to verify and validate advanced dynamic properties, i.,e., properties of sequences of operation calls. This is achieved by integrating support for monitoring UML protocol state machines into our basic validation engine." @default.
- W1884898539 created "2016-06-24" @default.
- W1884898539 creator A5013415103 @default.
- W1884898539 creator A5017053093 @default.
- W1884898539 creator A5067779456 @default.
- W1884898539 date "2012-01-01" @default.
- W1884898539 modified "2023-09-23" @default.
- W1884898539 title "OCL-Based Runtime Monitoring of Applications with Protocol State Machines" @default.
- W1884898539 cites W111619882 @default.
- W1884898539 cites W1494631286 @default.
- W1884898539 cites W1558367238 @default.
- W1884898539 cites W1606461502 @default.
- W1884898539 cites W1777881387 @default.
- W1884898539 cites W1884898539 @default.
- W1884898539 cites W1991346612 @default.
- W1884898539 cites W2034691511 @default.
- W1884898539 cites W2035529004 @default.
- W1884898539 cites W2088200982 @default.
- W1884898539 cites W2094691937 @default.
- W1884898539 cites W2111445678 @default.
- W1884898539 cites W2129473326 @default.
- W1884898539 cites W2171480813 @default.
- W1884898539 cites W2618301457 @default.
- W1884898539 cites W4241979302 @default.
- W1884898539 doi "https://doi.org/10.1007/978-3-642-31491-9_29" @default.
- W1884898539 hasPublicationYear "2012" @default.
- W1884898539 type Work @default.
- W1884898539 sameAs 1884898539 @default.
- W1884898539 citedByCount "12" @default.
- W1884898539 countsByYear W18848985392012 @default.
- W1884898539 countsByYear W18848985392013 @default.
- W1884898539 countsByYear W18848985392014 @default.
- W1884898539 countsByYear W18848985392015 @default.
- W1884898539 countsByYear W18848985392016 @default.
- W1884898539 countsByYear W18848985392018 @default.
- W1884898539 countsByYear W18848985392021 @default.
- W1884898539 crossrefType "book-chapter" @default.
- W1884898539 hasAuthorship W1884898539A5013415103 @default.
- W1884898539 hasAuthorship W1884898539A5017053093 @default.
- W1884898539 hasAuthorship W1884898539A5067779456 @default.
- W1884898539 hasBestOaLocation W18848985392 @default.
- W1884898539 hasConcept C111919701 @default.
- W1884898539 hasConcept C120314980 @default.
- W1884898539 hasConcept C142724271 @default.
- W1884898539 hasConcept C145243422 @default.
- W1884898539 hasConcept C149635348 @default.
- W1884898539 hasConcept C167822520 @default.
- W1884898539 hasConcept C199360897 @default.
- W1884898539 hasConcept C204787440 @default.
- W1884898539 hasConcept C2780385302 @default.
- W1884898539 hasConcept C41008148 @default.
- W1884898539 hasConcept C48103436 @default.
- W1884898539 hasConcept C71924100 @default.
- W1884898539 hasConceptScore W1884898539C111919701 @default.
- W1884898539 hasConceptScore W1884898539C120314980 @default.
- W1884898539 hasConceptScore W1884898539C142724271 @default.
- W1884898539 hasConceptScore W1884898539C145243422 @default.
- W1884898539 hasConceptScore W1884898539C149635348 @default.
- W1884898539 hasConceptScore W1884898539C167822520 @default.
- W1884898539 hasConceptScore W1884898539C199360897 @default.
- W1884898539 hasConceptScore W1884898539C204787440 @default.
- W1884898539 hasConceptScore W1884898539C2780385302 @default.
- W1884898539 hasConceptScore W1884898539C41008148 @default.
- W1884898539 hasConceptScore W1884898539C48103436 @default.
- W1884898539 hasConceptScore W1884898539C71924100 @default.
- W1884898539 hasLocation W18848985391 @default.
- W1884898539 hasLocation W18848985392 @default.
- W1884898539 hasOpenAccess W1884898539 @default.
- W1884898539 hasPrimaryLocation W18848985391 @default.
- W1884898539 hasRelatedWork W1592393183 @default.
- W1884898539 hasRelatedWork W1838372604 @default.
- W1884898539 hasRelatedWork W1881902103 @default.
- W1884898539 hasRelatedWork W2083338789 @default.
- W1884898539 hasRelatedWork W2112418889 @default.
- W1884898539 hasRelatedWork W2316304178 @default.
- W1884898539 hasRelatedWork W2347396877 @default.
- W1884898539 hasRelatedWork W2500890632 @default.
- W1884898539 hasRelatedWork W2972471777 @default.
- W1884898539 hasRelatedWork W3120723052 @default.
- W1884898539 isParatext "false" @default.
- W1884898539 isRetracted "false" @default.
- W1884898539 magId "1884898539" @default.
- W1884898539 workType "book-chapter" @default.