Matches in SemOpenAlex for { <https://semopenalex.org/work/W2594425612> ?p ?o ?g. }
- W2594425612 endingPage "37" @default.
- W2594425612 startingPage "11" @default.
- W2594425612 abstract "The ever-increasing design complexity of embedded systems is constantly pressing the demand for more abstract design levels and possible methods for automatic verification and synthesis. Transforming a text-based user requirements document into semantically sound models is always difficult and error-prone as mostly these requirements are vague and improperly documented. This paper presents a framework to specify textual requirements graphically in standard modeling formalisms like uml and marte in the form of temporal and logical patterns. The underlying formal semantics of these graphical models allow to eliminate ambiguity in specifications and automatic design verification at different abstraction levels using these patterns. The semantics of these operators/patterns are presented formally as state automatons and a comparison is made to the existing ccsl relational operators. To reap the benefits of mde, a software plugin TemLoPAC is presented as part of the framework to transform the graphical patterns into ccsl and Verilog-based observers." @default.
- W2594425612 created "2017-03-16" @default.
- W2594425612 creator A5018665207 @default.
- W2594425612 creator A5025271147 @default.
- W2594425612 creator A5077892555 @default.
- W2594425612 date "2017-03-10" @default.
- W2594425612 modified "2023-10-18" @default.
- W2594425612 title "A framework to specify system requirements using natural interpretation of UML/MARTE diagrams" @default.
- W2594425612 cites W1540578731 @default.
- W2594425612 cites W1563105074 @default.
- W2594425612 cites W1591643794 @default.
- W2594425612 cites W1848324794 @default.
- W2594425612 cites W1996832037 @default.
- W2594425612 cites W1999650798 @default.
- W2594425612 cites W2023808162 @default.
- W2594425612 cites W2027769154 @default.
- W2594425612 cites W2031532199 @default.
- W2594425612 cites W2032533778 @default.
- W2594425612 cites W2032602169 @default.
- W2594425612 cites W2033014924 @default.
- W2594425612 cites W2034478670 @default.
- W2594425612 cites W2044856809 @default.
- W2594425612 cites W2046234016 @default.
- W2594425612 cites W2048199835 @default.
- W2594425612 cites W2053137492 @default.
- W2594425612 cites W2064258818 @default.
- W2594425612 cites W2065754558 @default.
- W2594425612 cites W2090051150 @default.
- W2594425612 cites W2101623441 @default.
- W2594425612 cites W2107578943 @default.
- W2594425612 cites W2124953150 @default.
- W2594425612 cites W2128110618 @default.
- W2594425612 cites W2128707878 @default.
- W2594425612 cites W2138207663 @default.
- W2594425612 cites W2140321074 @default.
- W2594425612 cites W2149248191 @default.
- W2594425612 cites W2159958244 @default.
- W2594425612 cites W2161484642 @default.
- W2594425612 cites W2161660684 @default.
- W2594425612 cites W2167616265 @default.
- W2594425612 cites W2168913088 @default.
- W2594425612 cites W2295509749 @default.
- W2594425612 cites W2319551958 @default.
- W2594425612 cites W4229548372 @default.
- W2594425612 cites W4232544325 @default.
- W2594425612 cites W4232784769 @default.
- W2594425612 cites W4244758738 @default.
- W2594425612 cites W856186776 @default.
- W2594425612 cites W9806885 @default.
- W2594425612 cites W8367442 @default.
- W2594425612 doi "https://doi.org/10.1007/s10270-017-0588-7" @default.
- W2594425612 hasPublicationYear "2017" @default.
- W2594425612 type Work @default.
- W2594425612 sameAs 2594425612 @default.
- W2594425612 citedByCount "3" @default.
- W2594425612 countsByYear W25944256122017 @default.
- W2594425612 countsByYear W25944256122023 @default.
- W2594425612 crossrefType "journal-article" @default.
- W2594425612 hasAuthorship W2594425612A5018665207 @default.
- W2594425612 hasAuthorship W2594425612A5025271147 @default.
- W2594425612 hasAuthorship W2594425612A5077892555 @default.
- W2594425612 hasBestOaLocation W25944256122 @default.
- W2594425612 hasConcept C111472728 @default.
- W2594425612 hasConcept C115903868 @default.
- W2594425612 hasConcept C124304363 @default.
- W2594425612 hasConcept C138885662 @default.
- W2594425612 hasConcept C145644426 @default.
- W2594425612 hasConcept C171018156 @default.
- W2594425612 hasConcept C184337299 @default.
- W2594425612 hasConcept C199360897 @default.
- W2594425612 hasConcept C2524010 @default.
- W2594425612 hasConcept C2777904410 @default.
- W2594425612 hasConcept C33923547 @default.
- W2594425612 hasConcept C41008148 @default.
- W2594425612 hasConceptScore W2594425612C111472728 @default.
- W2594425612 hasConceptScore W2594425612C115903868 @default.
- W2594425612 hasConceptScore W2594425612C124304363 @default.
- W2594425612 hasConceptScore W2594425612C138885662 @default.
- W2594425612 hasConceptScore W2594425612C145644426 @default.
- W2594425612 hasConceptScore W2594425612C171018156 @default.
- W2594425612 hasConceptScore W2594425612C184337299 @default.
- W2594425612 hasConceptScore W2594425612C199360897 @default.
- W2594425612 hasConceptScore W2594425612C2524010 @default.
- W2594425612 hasConceptScore W2594425612C2777904410 @default.
- W2594425612 hasConceptScore W2594425612C33923547 @default.
- W2594425612 hasConceptScore W2594425612C41008148 @default.
- W2594425612 hasIssue "1" @default.
- W2594425612 hasLocation W25944256121 @default.
- W2594425612 hasLocation W25944256122 @default.
- W2594425612 hasLocation W25944256123 @default.
- W2594425612 hasLocation W25944256124 @default.
- W2594425612 hasOpenAccess W2594425612 @default.
- W2594425612 hasPrimaryLocation W25944256121 @default.
- W2594425612 hasRelatedWork W1950785758 @default.
- W2594425612 hasRelatedWork W1995465248 @default.
- W2594425612 hasRelatedWork W2023896637 @default.
- W2594425612 hasRelatedWork W2065513458 @default.
- W2594425612 hasRelatedWork W2073070757 @default.