FRINK Linked Data Fragments server

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

• W2899339122 abstract "One of the major advantages of Model-Driven Engineering is the possibility to early assess crucial system properties, in order to identify issues that are easier and cheaper to solve at design level than at code level. An example of such a property is the timing behaviour of a real-time application, where an early indication that the timing constraints might not be met can help avoiding costly re-designs late in the development process. In this paper we provide a model-driven round-trip transformation chain for (i) applying a flow analysis to executable models described in terms of the Action Language for Foundational UML (AU), and (ii) back-propagating analysis results to Alf models for further investigation. Alf models are transformed into the input format for an analysis tool that identifies flow facts, i.e., information about loop bounds and infeasible paths in the model. Flow facts can be used, for instance, when estimating the worst-case execution time for the analysed model. We evaluated the approach through a set of benchmark models of various size and complexity." @default.
• W2899339122 created "2018-11-09" @default.
• W2899339122 creator A5000910807 @default.
• W2899339122 creator A5013740479 @default.
• W2899339122 creator A5052612453 @default.
• W2899339122 creator A5062612658 @default.
• W2899339122 creator A5083862825 @default.
• W2899339122 date "2018-09-01" @default.
• W2899339122 modified "2023-09-23" @default.
• W2899339122 title "Static Flow Analysis of the Action Language for Foundational UML" @default.
• W2899339122 cites W133490815 @default.
• W2899339122 cites W1480701236 @default.
• W2899339122 cites W1486326303 @default.
• W2899339122 cites W1584851823 @default.
• W2899339122 cites W1596574825 @default.
• W2899339122 cites W1751157042 @default.
• W2899339122 cites W1987142766 @default.
• W2899339122 cites W2002088861 @default.
• W2899339122 cites W2015280671 @default.
• W2899339122 cites W2028534065 @default.
• W2899339122 cites W2076285066 @default.
• W2899339122 cites W2101740953 @default.
• W2899339122 cites W2101855829 @default.
• W2899339122 cites W2108202121 @default.
• W2899339122 cites W2112711470 @default.
• W2899339122 cites W2114701068 @default.
• W2899339122 cites W2125557495 @default.
• W2899339122 cites W2155391106 @default.
• W2899339122 cites W2167736435 @default.
• W2899339122 cites W2170188124 @default.
• W2899339122 cites W2261366444 @default.
• W2899339122 cites W2288669029 @default.
• W2899339122 cites W2399787710 @default.
• W2899339122 cites W2403920142 @default.
• W2899339122 cites W2479162313 @default.
• W2899339122 cites W2509400390 @default.
• W2899339122 cites W2523510087 @default.
• W2899339122 cites W2550374281 @default.
• W2899339122 cites W2593529759 @default.
• W2899339122 cites W2730550798 @default.
• W2899339122 cites W2798066811 @default.
• W2899339122 cites W2808062607 @default.
• W2899339122 cites W3215119490 @default.
• W2899339122 cites W321963359 @default.
• W2899339122 cites W604147791 @default.
• W2899339122 doi "https://doi.org/10.1109/etfa.2018.8502620" @default.
• W2899339122 hasPublicationYear "2018" @default.
• W2899339122 type Work @default.
• W2899339122 sameAs 2899339122 @default.
• W2899339122 citedByCount "0" @default.
• W2899339122 crossrefType "proceedings-article" @default.
• W2899339122 hasAuthorship W2899339122A5000910807 @default.
• W2899339122 hasAuthorship W2899339122A5013740479 @default.
• W2899339122 hasAuthorship W2899339122A5052612453 @default.
• W2899339122 hasAuthorship W2899339122A5062612658 @default.
• W2899339122 hasAuthorship W2899339122A5083862825 @default.
• W2899339122 hasConcept C111472728 @default.
• W2899339122 hasConcept C115903868 @default.
• W2899339122 hasConcept C13280743 @default.
• W2899339122 hasConcept C133264317 @default.
• W2899339122 hasConcept C138885662 @default.
• W2899339122 hasConcept C145644426 @default.
• W2899339122 hasConcept C154945302 @default.
• W2899339122 hasConcept C160145156 @default.
• W2899339122 hasConcept C160191386 @default.
• W2899339122 hasConcept C177264268 @default.
• W2899339122 hasConcept C179603123 @default.
• W2899339122 hasConcept C185798385 @default.
• W2899339122 hasConcept C189950617 @default.
• W2899339122 hasConcept C199360897 @default.
• W2899339122 hasConcept C205649164 @default.
• W2899339122 hasConcept C2776436953 @default.
• W2899339122 hasConcept C2777904410 @default.
• W2899339122 hasConcept C2779791154 @default.
• W2899339122 hasConcept C41008148 @default.
• W2899339122 hasConcept C41298492 @default.
• W2899339122 hasConcept C80444323 @default.
• W2899339122 hasConcept C86610423 @default.
• W2899339122 hasConcept C97686452 @default.
• W2899339122 hasConcept C98045186 @default.
• W2899339122 hasConceptScore W2899339122C111472728 @default.
• W2899339122 hasConceptScore W2899339122C115903868 @default.
• W2899339122 hasConceptScore W2899339122C13280743 @default.
• W2899339122 hasConceptScore W2899339122C133264317 @default.
• W2899339122 hasConceptScore W2899339122C138885662 @default.
• W2899339122 hasConceptScore W2899339122C145644426 @default.
• W2899339122 hasConceptScore W2899339122C154945302 @default.
• W2899339122 hasConceptScore W2899339122C160145156 @default.
• W2899339122 hasConceptScore W2899339122C160191386 @default.
• W2899339122 hasConceptScore W2899339122C177264268 @default.
• W2899339122 hasConceptScore W2899339122C179603123 @default.
• W2899339122 hasConceptScore W2899339122C185798385 @default.
• W2899339122 hasConceptScore W2899339122C189950617 @default.
• W2899339122 hasConceptScore W2899339122C199360897 @default.
• W2899339122 hasConceptScore W2899339122C205649164 @default.
• W2899339122 hasConceptScore W2899339122C2776436953 @default.
• W2899339122 hasConceptScore W2899339122C2777904410 @default.
• W2899339122 hasConceptScore W2899339122C2779791154 @default.
• W2899339122 hasConceptScore W2899339122C41008148 @default.
• W2899339122 hasConceptScore W2899339122C41298492 @default.

• next