Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045299450> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2045299450 abstract "Ensuring design correctness is an important task in the software development and in particular component-based protocol development. We developed a component-oriented design approach for the design of communication protocols and distributed systems. The approach aims at the reuse of components represented by Unified Modeling Language (UML) diagrams. In this paper we propose a verification approach to verify our component-based protocol designs by combing trace equivalence and model checking. Foremost, the internal and external component behaviors are verified independently regarding their formal correctness. Next, the correctness and consistency of compositions are verified. This is achieved by generating the component adaptation path as traces during the composition. The requirements, i.e., safety and liveness properties, are formulated using linear temporal logic formulae. We apply the Spin tool as our model checking mechanism. For this, we present a method for automatically transforming the protocol design components into PROMELA." @default.
- W2045299450 created "2016-06-24" @default.
- W2045299450 creator A5003159637 @default.
- W2045299450 creator A5051855789 @default.
- W2045299450 creator A5066926709 @default.
- W2045299450 date "2015-02-01" @default.
- W2045299450 modified "2023-10-02" @default.
- W2045299450 title "An approach to verify component-based designs" @default.
- W2045299450 cites W1498432697 @default.
- W2045299450 cites W1732380408 @default.
- W2045299450 cites W1801021781 @default.
- W2045299450 cites W1851502570 @default.
- W2045299450 cites W1943502734 @default.
- W2045299450 cites W1986562840 @default.
- W2045299450 cites W2010804372 @default.
- W2045299450 cites W2024034783 @default.
- W2045299450 cites W2033498067 @default.
- W2045299450 cites W2099095087 @default.
- W2045299450 cites W2102758284 @default.
- W2045299450 cites W2134084873 @default.
- W2045299450 cites W2157178264 @default.
- W2045299450 cites W38701583 @default.
- W2045299450 doi "https://doi.org/10.1109/spices.2015.7091429" @default.
- W2045299450 hasPublicationYear "2015" @default.
- W2045299450 type Work @default.
- W2045299450 sameAs 2045299450 @default.
- W2045299450 citedByCount "0" @default.
- W2045299450 crossrefType "proceedings-article" @default.
- W2045299450 hasAuthorship W2045299450A5003159637 @default.
- W2045299450 hasAuthorship W2045299450A5051855789 @default.
- W2045299450 hasAuthorship W2045299450A5066926709 @default.
- W2045299450 hasConcept C110251889 @default.
- W2045299450 hasConcept C111498074 @default.
- W2045299450 hasConcept C120314980 @default.
- W2045299450 hasConcept C121332964 @default.
- W2045299450 hasConcept C145644426 @default.
- W2045299450 hasConcept C15569618 @default.
- W2045299450 hasConcept C168167062 @default.
- W2045299450 hasConcept C174683762 @default.
- W2045299450 hasConcept C199360897 @default.
- W2045299450 hasConcept C2776329536 @default.
- W2045299450 hasConcept C2777904410 @default.
- W2045299450 hasConcept C41008148 @default.
- W2045299450 hasConcept C529173508 @default.
- W2045299450 hasConcept C55439883 @default.
- W2045299450 hasConcept C75606506 @default.
- W2045299450 hasConcept C80444323 @default.
- W2045299450 hasConcept C97355855 @default.
- W2045299450 hasConceptScore W2045299450C110251889 @default.
- W2045299450 hasConceptScore W2045299450C111498074 @default.
- W2045299450 hasConceptScore W2045299450C120314980 @default.
- W2045299450 hasConceptScore W2045299450C121332964 @default.
- W2045299450 hasConceptScore W2045299450C145644426 @default.
- W2045299450 hasConceptScore W2045299450C15569618 @default.
- W2045299450 hasConceptScore W2045299450C168167062 @default.
- W2045299450 hasConceptScore W2045299450C174683762 @default.
- W2045299450 hasConceptScore W2045299450C199360897 @default.
- W2045299450 hasConceptScore W2045299450C2776329536 @default.
- W2045299450 hasConceptScore W2045299450C2777904410 @default.
- W2045299450 hasConceptScore W2045299450C41008148 @default.
- W2045299450 hasConceptScore W2045299450C529173508 @default.
- W2045299450 hasConceptScore W2045299450C55439883 @default.
- W2045299450 hasConceptScore W2045299450C75606506 @default.
- W2045299450 hasConceptScore W2045299450C80444323 @default.
- W2045299450 hasConceptScore W2045299450C97355855 @default.
- W2045299450 hasLocation W20452994501 @default.
- W2045299450 hasOpenAccess W2045299450 @default.
- W2045299450 hasPrimaryLocation W20452994501 @default.
- W2045299450 hasRelatedWork W1479987225 @default.
- W2045299450 hasRelatedWork W1492386238 @default.
- W2045299450 hasRelatedWork W1495714154 @default.
- W2045299450 hasRelatedWork W1504525241 @default.
- W2045299450 hasRelatedWork W1986562840 @default.
- W2045299450 hasRelatedWork W1992713531 @default.
- W2045299450 hasRelatedWork W2039064891 @default.
- W2045299450 hasRelatedWork W2066795333 @default.
- W2045299450 hasRelatedWork W2069640066 @default.
- W2045299450 hasRelatedWork W2069984295 @default.
- W2045299450 hasRelatedWork W2080987629 @default.
- W2045299450 hasRelatedWork W2081047328 @default.
- W2045299450 hasRelatedWork W2103631506 @default.
- W2045299450 hasRelatedWork W2109337044 @default.
- W2045299450 hasRelatedWork W2157120282 @default.
- W2045299450 hasRelatedWork W2348276613 @default.
- W2045299450 hasRelatedWork W2351772043 @default.
- W2045299450 hasRelatedWork W2537117034 @default.
- W2045299450 hasRelatedWork W2974701723 @default.
- W2045299450 hasRelatedWork W3039995455 @default.
- W2045299450 isParatext "false" @default.
- W2045299450 isRetracted "false" @default.
- W2045299450 magId "2045299450" @default.
- W2045299450 workType "article" @default.