Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017264764> ?p ?o ?g. }
- W2017264764 endingPage "35" @default.
- W2017264764 startingPage "1" @default.
- W2017264764 abstract "In a pattern-oriented software design process, design decisions are made by selecting and instantiating appropriate patterns, and composing them together. In our previous work, we enabled these decisions to be formalized by defining a set of operators on patterns with which instantiations and compositions can be represented. In this article, we investigate the algebraic properties of these operators. We provide and prove a complete set of algebraic laws so that equivalence between pattern expressions can be proven. Furthermore, we define an always-terminating normalization of pattern expression to a canonical form which is unique modulo equivalence in first-order logic. By a case study, the pattern-oriented design of an extensible request-handling framework, we demonstrate two practical applications of the algebraic framework. First, we can prove the correctness of a finished design with respect to the design decisions made and the formal specification of the patterns. Second, we can even derive the design from these components." @default.
- W2017264764 created "2016-06-24" @default.
- W2017264764 creator A5028994334 @default.
- W2017264764 creator A5008165707 @default.
- W2017264764 date "2013-07-01" @default.
- W2017264764 modified "2023-10-03" @default.
- W2017264764 title "An algebra of design patterns" @default.
- W2017264764 cites W1977274204 @default.
- W2017264764 cites W1978813170 @default.
- W2017264764 cites W1987593108 @default.
- W2017264764 cites W2015151048 @default.
- W2017264764 cites W2022668261 @default.
- W2017264764 cites W2045231119 @default.
- W2017264764 cites W2045900936 @default.
- W2017264764 cites W2051361131 @default.
- W2017264764 cites W2079663727 @default.
- W2017264764 cites W2088668093 @default.
- W2017264764 cites W2097395289 @default.
- W2017264764 cites W2099170851 @default.
- W2017264764 cites W2100973129 @default.
- W2017264764 cites W2101619757 @default.
- W2017264764 cites W2106027105 @default.
- W2017264764 cites W2110726411 @default.
- W2017264764 cites W2112970105 @default.
- W2017264764 cites W2113203824 @default.
- W2017264764 cites W2125905786 @default.
- W2017264764 cites W2129549995 @default.
- W2017264764 cites W2139738526 @default.
- W2017264764 cites W2152549137 @default.
- W2017264764 cites W2154656053 @default.
- W2017264764 cites W2166673220 @default.
- W2017264764 cites W2171274700 @default.
- W2017264764 doi "https://doi.org/10.1145/2491509.2491517" @default.
- W2017264764 hasPublicationYear "2013" @default.
- W2017264764 type Work @default.
- W2017264764 sameAs 2017264764 @default.
- W2017264764 citedByCount "29" @default.
- W2017264764 countsByYear W20172647642012 @default.
- W2017264764 countsByYear W20172647642014 @default.
- W2017264764 countsByYear W20172647642015 @default.
- W2017264764 countsByYear W20172647642016 @default.
- W2017264764 countsByYear W20172647642017 @default.
- W2017264764 countsByYear W20172647642018 @default.
- W2017264764 countsByYear W20172647642019 @default.
- W2017264764 countsByYear W20172647642020 @default.
- W2017264764 countsByYear W20172647642021 @default.
- W2017264764 countsByYear W20172647642022 @default.
- W2017264764 crossrefType "journal-article" @default.
- W2017264764 hasAuthorship W2017264764A5008165707 @default.
- W2017264764 hasAuthorship W2017264764A5028994334 @default.
- W2017264764 hasConcept C116253237 @default.
- W2017264764 hasConcept C118615104 @default.
- W2017264764 hasConcept C134306372 @default.
- W2017264764 hasConcept C136119220 @default.
- W2017264764 hasConcept C136886441 @default.
- W2017264764 hasConcept C144024400 @default.
- W2017264764 hasConcept C14501506 @default.
- W2017264764 hasConcept C146054899 @default.
- W2017264764 hasConcept C161771561 @default.
- W2017264764 hasConcept C18912844 @default.
- W2017264764 hasConcept C19165224 @default.
- W2017264764 hasConcept C199360897 @default.
- W2017264764 hasConcept C202444582 @default.
- W2017264764 hasConcept C2777691520 @default.
- W2017264764 hasConcept C2777904410 @default.
- W2017264764 hasConcept C2780069185 @default.
- W2017264764 hasConcept C33923547 @default.
- W2017264764 hasConcept C41008148 @default.
- W2017264764 hasConcept C54732982 @default.
- W2017264764 hasConcept C55439883 @default.
- W2017264764 hasConcept C80444323 @default.
- W2017264764 hasConcept C9376300 @default.
- W2017264764 hasConceptScore W2017264764C116253237 @default.
- W2017264764 hasConceptScore W2017264764C118615104 @default.
- W2017264764 hasConceptScore W2017264764C134306372 @default.
- W2017264764 hasConceptScore W2017264764C136119220 @default.
- W2017264764 hasConceptScore W2017264764C136886441 @default.
- W2017264764 hasConceptScore W2017264764C144024400 @default.
- W2017264764 hasConceptScore W2017264764C14501506 @default.
- W2017264764 hasConceptScore W2017264764C146054899 @default.
- W2017264764 hasConceptScore W2017264764C161771561 @default.
- W2017264764 hasConceptScore W2017264764C18912844 @default.
- W2017264764 hasConceptScore W2017264764C19165224 @default.
- W2017264764 hasConceptScore W2017264764C199360897 @default.
- W2017264764 hasConceptScore W2017264764C202444582 @default.
- W2017264764 hasConceptScore W2017264764C2777691520 @default.
- W2017264764 hasConceptScore W2017264764C2777904410 @default.
- W2017264764 hasConceptScore W2017264764C2780069185 @default.
- W2017264764 hasConceptScore W2017264764C33923547 @default.
- W2017264764 hasConceptScore W2017264764C41008148 @default.
- W2017264764 hasConceptScore W2017264764C54732982 @default.
- W2017264764 hasConceptScore W2017264764C55439883 @default.
- W2017264764 hasConceptScore W2017264764C80444323 @default.
- W2017264764 hasConceptScore W2017264764C9376300 @default.
- W2017264764 hasIssue "3" @default.
- W2017264764 hasLocation W20172647641 @default.
- W2017264764 hasOpenAccess W2017264764 @default.
- W2017264764 hasPrimaryLocation W20172647641 @default.