Matches in SemOpenAlex for { <https://semopenalex.org/work/W2462008078> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2462008078 abstract "Unified Modeling Language (UML) is currently accepted as the standard for modeling software and control systems since it allows to highlight different aspects of the system under design. Nevertheless, UML lacks formal semantics and, hence, it is not possible to apply, directly, mathematical techniques on UML models in order to verify them. Furthermore, UML does not feature explicit semantics to model flexible control systems sharing adaptive shared resources either. Thus, this work proposes a new UML profile, baptized R-UML (Reconfigurable UML), to model such reconfigurable systems. R-UML 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, in order to support model checking." @default.
- W2462008078 created "2016-07-22" @default.
- W2462008078 creator A5015650914 @default.
- W2462008078 creator A5049696138 @default.
- W2462008078 creator A5056060218 @default.
- W2462008078 creator A5063009345 @default.
- W2462008078 date "2016-01-01" @default.
- W2462008078 modified "2023-09-24" @default.
- W2462008078 title "R-UML: An UML Profile for Verification of Flexible Control Systems" @default.
- W2462008078 cites W1964925931 @default.
- W2462008078 cites W2023542514 @default.
- W2462008078 cites W2100054110 @default.
- W2462008078 cites W2101728371 @default.
- W2462008078 cites W2102706400 @default.
- W2462008078 doi "https://doi.org/10.1007/978-3-319-30142-6_7" @default.
- W2462008078 hasPublicationYear "2016" @default.
- W2462008078 type Work @default.
- W2462008078 sameAs 2462008078 @default.
- W2462008078 citedByCount "2" @default.
- W2462008078 countsByYear W24620080782019 @default.
- W2462008078 countsByYear W24620080782020 @default.
- W2462008078 crossrefType "book-chapter" @default.
- W2462008078 hasAuthorship W2462008078A5015650914 @default.
- W2462008078 hasAuthorship W2462008078A5049696138 @default.
- W2462008078 hasAuthorship W2462008078A5056060218 @default.
- W2462008078 hasAuthorship W2462008078A5063009345 @default.
- W2462008078 hasConcept C115903868 @default.
- W2462008078 hasConcept C133264317 @default.
- W2462008078 hasConcept C145644426 @default.
- W2462008078 hasConcept C146939238 @default.
- W2462008078 hasConcept C199360897 @default.
- W2462008078 hasConcept C202446494 @default.
- W2462008078 hasConcept C2777904410 @default.
- W2462008078 hasConcept C38677869 @default.
- W2462008078 hasConcept C41008148 @default.
- W2462008078 hasConcept C41298492 @default.
- W2462008078 hasConcept C86610423 @default.
- W2462008078 hasConceptScore W2462008078C115903868 @default.
- W2462008078 hasConceptScore W2462008078C133264317 @default.
- W2462008078 hasConceptScore W2462008078C145644426 @default.
- W2462008078 hasConceptScore W2462008078C146939238 @default.
- W2462008078 hasConceptScore W2462008078C199360897 @default.
- W2462008078 hasConceptScore W2462008078C202446494 @default.
- W2462008078 hasConceptScore W2462008078C2777904410 @default.
- W2462008078 hasConceptScore W2462008078C38677869 @default.
- W2462008078 hasConceptScore W2462008078C41008148 @default.
- W2462008078 hasConceptScore W2462008078C41298492 @default.
- W2462008078 hasConceptScore W2462008078C86610423 @default.
- W2462008078 hasLocation W24620080781 @default.
- W2462008078 hasOpenAccess W2462008078 @default.
- W2462008078 hasPrimaryLocation W24620080781 @default.
- W2462008078 hasRelatedWork W12411492 @default.
- W2462008078 hasRelatedWork W1529433638 @default.
- W2462008078 hasRelatedWork W1939739577 @default.
- W2462008078 hasRelatedWork W1969995445 @default.
- W2462008078 hasRelatedWork W1977943086 @default.
- W2462008078 hasRelatedWork W2009842179 @default.
- W2462008078 hasRelatedWork W2036287894 @default.
- W2462008078 hasRelatedWork W2091666950 @default.
- W2462008078 hasRelatedWork W2095507077 @default.
- W2462008078 hasRelatedWork W2098574955 @default.
- W2462008078 hasRelatedWork W2099590434 @default.
- W2462008078 hasRelatedWork W2145766738 @default.
- W2462008078 hasRelatedWork W2171171876 @default.
- W2462008078 hasRelatedWork W2356019088 @default.
- W2462008078 hasRelatedWork W2357774264 @default.
- W2462008078 hasRelatedWork W2360457585 @default.
- W2462008078 hasRelatedWork W2390123657 @default.
- W2462008078 hasRelatedWork W2980660034 @default.
- W2462008078 hasRelatedWork W60292133 @default.
- W2462008078 hasRelatedWork W2301664437 @default.
- W2462008078 isParatext "false" @default.
- W2462008078 isRetracted "false" @default.
- W2462008078 magId "2462008078" @default.
- W2462008078 workType "book-chapter" @default.