Matches in SemOpenAlex for { <https://semopenalex.org/work/W2273665358> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2273665358 abstract "Verification and validation of models are crucial steps to the success of a model-based development of systems. Traces are a common and powerful means to document the dynamic behavior of a model and are generated from many sources, ranging from simulation engines to modelcheckers. In this paper, we describe techniques and corresponding tool support that helps a modeler to gain insight in the dynamic behavior of a complex model based on trace analysis. We propose to visualize traces by message sequence charts. We use a common modal logic, namely the linear time logic (LTL), to identify states of interest and develop a novel technique to reduce the sequence of events leading to such states. The proposed techniques are implemented in Traviando, a stand alone tool with an open XML interface to import traces from many modeling environments, e.g., the APNN toolbox and Mobius among others. A subtle modeling error in a multi-class server system serves as an application example to illustrate the effectiveness of our approach in revealing the cause of an observed effect." @default.
- W2273665358 created "2016-06-24" @default.
- W2273665358 creator A5078803470 @default.
- W2273665358 creator A5091360278 @default.
- W2273665358 date "2006-06-23" @default.
- W2273665358 modified "2023-09-23" @default.
- W2273665358 title "Trace analysis - gain insight through modelchecking and cycle reduction" @default.
- W2273665358 cites W1726385401 @default.
- W2273665358 cites W1740522204 @default.
- W2273665358 cites W1784183156 @default.
- W2273665358 cites W189633613 @default.
- W2273665358 cites W1984936841 @default.
- W2273665358 cites W1996832037 @default.
- W2273665358 cites W2055287110 @default.
- W2273665358 cites W2103339842 @default.
- W2273665358 cites W2147280474 @default.
- W2273665358 cites W2161833190 @default.
- W2273665358 cites W2913459036 @default.
- W2273665358 cites W41657860 @default.
- W2273665358 cites W168825961 @default.
- W2273665358 cites W2585817176 @default.
- W2273665358 doi "https://doi.org/10.17877/de290r-8119" @default.
- W2273665358 hasPublicationYear "2006" @default.
- W2273665358 type Work @default.
- W2273665358 sameAs 2273665358 @default.
- W2273665358 citedByCount "4" @default.
- W2273665358 crossrefType "journal-article" @default.
- W2273665358 hasAuthorship W2273665358A5078803470 @default.
- W2273665358 hasAuthorship W2273665358A5091360278 @default.
- W2273665358 hasConcept C111335779 @default.
- W2273665358 hasConcept C111919701 @default.
- W2273665358 hasConcept C115903868 @default.
- W2273665358 hasConcept C124101348 @default.
- W2273665358 hasConcept C138885662 @default.
- W2273665358 hasConcept C145644426 @default.
- W2273665358 hasConcept C153185123 @default.
- W2273665358 hasConcept C199360897 @default.
- W2273665358 hasConcept C2524010 @default.
- W2273665358 hasConcept C2777655017 @default.
- W2273665358 hasConcept C2777904410 @default.
- W2273665358 hasConcept C2778112365 @default.
- W2273665358 hasConcept C33923547 @default.
- W2273665358 hasConcept C41008148 @default.
- W2273665358 hasConcept C41895202 @default.
- W2273665358 hasConcept C54355233 @default.
- W2273665358 hasConcept C75291252 @default.
- W2273665358 hasConcept C80444323 @default.
- W2273665358 hasConcept C86803240 @default.
- W2273665358 hasConcept C8797682 @default.
- W2273665358 hasConceptScore W2273665358C111335779 @default.
- W2273665358 hasConceptScore W2273665358C111919701 @default.
- W2273665358 hasConceptScore W2273665358C115903868 @default.
- W2273665358 hasConceptScore W2273665358C124101348 @default.
- W2273665358 hasConceptScore W2273665358C138885662 @default.
- W2273665358 hasConceptScore W2273665358C145644426 @default.
- W2273665358 hasConceptScore W2273665358C153185123 @default.
- W2273665358 hasConceptScore W2273665358C199360897 @default.
- W2273665358 hasConceptScore W2273665358C2524010 @default.
- W2273665358 hasConceptScore W2273665358C2777655017 @default.
- W2273665358 hasConceptScore W2273665358C2777904410 @default.
- W2273665358 hasConceptScore W2273665358C2778112365 @default.
- W2273665358 hasConceptScore W2273665358C33923547 @default.
- W2273665358 hasConceptScore W2273665358C41008148 @default.
- W2273665358 hasConceptScore W2273665358C41895202 @default.
- W2273665358 hasConceptScore W2273665358C54355233 @default.
- W2273665358 hasConceptScore W2273665358C75291252 @default.
- W2273665358 hasConceptScore W2273665358C80444323 @default.
- W2273665358 hasConceptScore W2273665358C86803240 @default.
- W2273665358 hasConceptScore W2273665358C8797682 @default.
- W2273665358 hasLocation W22736653581 @default.
- W2273665358 hasOpenAccess W2273665358 @default.
- W2273665358 hasPrimaryLocation W22736653581 @default.
- W2273665358 hasRelatedWork W1582102176 @default.
- W2273665358 hasRelatedWork W1751157042 @default.
- W2273665358 hasRelatedWork W175677633 @default.
- W2273665358 hasRelatedWork W2079365979 @default.
- W2273665358 hasRelatedWork W2170434667 @default.
- W2273665358 hasRelatedWork W2178659407 @default.
- W2273665358 hasRelatedWork W2233025454 @default.
- W2273665358 hasRelatedWork W2401027762 @default.
- W2273665358 hasRelatedWork W2474352780 @default.
- W2273665358 hasRelatedWork W2490638768 @default.
- W2273665358 hasRelatedWork W2740087752 @default.
- W2273665358 hasRelatedWork W2895180933 @default.
- W2273665358 hasRelatedWork W2895557151 @default.
- W2273665358 hasRelatedWork W2899339122 @default.
- W2273665358 hasRelatedWork W2962858291 @default.
- W2273665358 hasRelatedWork W2990312497 @default.
- W2273665358 hasRelatedWork W3015816094 @default.
- W2273665358 hasRelatedWork W3081876253 @default.
- W2273665358 hasRelatedWork W3090930411 @default.
- W2273665358 hasRelatedWork W3150477774 @default.
- W2273665358 isParatext "false" @default.
- W2273665358 isRetracted "false" @default.
- W2273665358 magId "2273665358" @default.
- W2273665358 workType "article" @default.