Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294816209> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2294816209 abstract "Unified Modeling Language (UML) is currently accepted as the standard for modeling software and control systems since it allows to concentrate on different aspects of the system under design. However, UML lacks formal semantics and, hence, it is not possible to apply, directly, mathematical techniques on UML models to verify them. UML does not feature explicit semantics to model flexible control systems sharing adaptive shared resources either. Thus, this paper proposes a new UML profile, baptized R-UML (Reconfigurable UML), to model such reconfigurable systems. The profile is enriched with a PCP-based solution for the management of resource sharing. The paper also presents an automatic translation of R-UML into R-TNCES, a Petri Net-based formalism, to support model checking." @default.
- W2294816209 created "2016-06-24" @default.
- W2294816209 creator A5015650914 @default.
- W2294816209 creator A5049696138 @default.
- W2294816209 creator A5056060218 @default.
- W2294816209 creator A5063009345 @default.
- W2294816209 date "2015-01-01" @default.
- W2294816209 modified "2023-09-23" @default.
- W2294816209 title "Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems" @default.
- W2294816209 cites W1524759280 @default.
- W2294816209 cites W1951071653 @default.
- W2294816209 cites W1964925931 @default.
- W2294816209 cites W2023542514 @default.
- W2294816209 cites W2086196340 @default.
- W2294816209 cites W2100054110 @default.
- W2294816209 cites W2100500368 @default.
- W2294816209 cites W2101728371 @default.
- W2294816209 cites W2102706400 @default.
- W2294816209 cites W2121315960 @default.
- W2294816209 cites W2147740041 @default.
- W2294816209 cites W2322012368 @default.
- W2294816209 cites W2396521494 @default.
- W2294816209 cites W58594065 @default.
- W2294816209 doi "https://doi.org/10.5220/0005523700640075" @default.
- W2294816209 hasPublicationYear "2015" @default.
- W2294816209 type Work @default.
- W2294816209 sameAs 2294816209 @default.
- W2294816209 citedByCount "1" @default.
- W2294816209 countsByYear W22948162092019 @default.
- W2294816209 crossrefType "proceedings-article" @default.
- W2294816209 hasAuthorship W2294816209A5015650914 @default.
- W2294816209 hasAuthorship W2294816209A5049696138 @default.
- W2294816209 hasAuthorship W2294816209A5056060218 @default.
- W2294816209 hasAuthorship W2294816209A5063009345 @default.
- W2294816209 hasConcept C115903868 @default.
- W2294816209 hasConcept C133264317 @default.
- W2294816209 hasConcept C145644426 @default.
- W2294816209 hasConcept C146939238 @default.
- W2294816209 hasConcept C199360897 @default.
- W2294816209 hasConcept C2777904410 @default.
- W2294816209 hasConcept C38677869 @default.
- W2294816209 hasConcept C41008148 @default.
- W2294816209 hasConcept C41298492 @default.
- W2294816209 hasConceptScore W2294816209C115903868 @default.
- W2294816209 hasConceptScore W2294816209C133264317 @default.
- W2294816209 hasConceptScore W2294816209C145644426 @default.
- W2294816209 hasConceptScore W2294816209C146939238 @default.
- W2294816209 hasConceptScore W2294816209C199360897 @default.
- W2294816209 hasConceptScore W2294816209C2777904410 @default.
- W2294816209 hasConceptScore W2294816209C38677869 @default.
- W2294816209 hasConceptScore W2294816209C41008148 @default.
- W2294816209 hasConceptScore W2294816209C41298492 @default.
- W2294816209 hasLocation W22948162091 @default.
- W2294816209 hasOpenAccess W2294816209 @default.
- W2294816209 hasPrimaryLocation W22948162091 @default.
- W2294816209 hasRelatedWork W1491331258 @default.
- W2294816209 hasRelatedWork W1544324534 @default.
- W2294816209 hasRelatedWork W1563632920 @default.
- W2294816209 hasRelatedWork W1703772308 @default.
- W2294816209 hasRelatedWork W1709885960 @default.
- W2294816209 hasRelatedWork W1922627211 @default.
- W2294816209 hasRelatedWork W1966387664 @default.
- W2294816209 hasRelatedWork W1973322846 @default.
- W2294816209 hasRelatedWork W2024047464 @default.
- W2294816209 hasRelatedWork W2046968590 @default.
- W2294816209 hasRelatedWork W2050754208 @default.
- W2294816209 hasRelatedWork W2055009016 @default.
- W2294816209 hasRelatedWork W2067573892 @default.
- W2294816209 hasRelatedWork W2145422426 @default.
- W2294816209 hasRelatedWork W2147286472 @default.
- W2294816209 hasRelatedWork W2155391106 @default.
- W2294816209 hasRelatedWork W2158402267 @default.
- W2294816209 hasRelatedWork W2900350150 @default.
- W2294816209 hasRelatedWork W3011880101 @default.
- W2294816209 hasRelatedWork W649136448 @default.
- W2294816209 isParatext "false" @default.
- W2294816209 isRetracted "false" @default.
- W2294816209 magId "2294816209" @default.
- W2294816209 workType "article" @default.