Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187778085> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2187778085 abstract "In this paper we present a systematic translation algorithm that maps a software architecture model to rewriting logics. We consider a nowadays typical componentbased software architecture model ‐ SAM. SAM is a formal software architecture model that integrates two formalisms ‐ Petri Nets and Temporal Logic. Our goal is to effectively describe the component based software architecture model SAM using a rewriting based semantics. This algorithm is implemented in Maude, a high performance declarative programming language that supports membership and rewriting logics. The contribution of this paper is we defined the translation algorithm to rewriting logic to show an interleaving semantic matching between the behavior model Petri net and rewriting logic." @default.
- W2187778085 created "2016-06-24" @default.
- W2187778085 creator A5009723525 @default.
- W2187778085 creator A5047231419 @default.
- W2187778085 creator A5049161723 @default.
- W2187778085 creator A5055246406 @default.
- W2187778085 date "2008-01-01" @default.
- W2187778085 modified "2023-09-27" @default.
- W2187778085 title "Mapping Software Architecture Specification to Rewriting Logic" @default.
- W2187778085 cites W1482234031 @default.
- W2187778085 cites W1485288488 @default.
- W2187778085 cites W1504779237 @default.
- W2187778085 cites W1543430399 @default.
- W2187778085 cites W1740522204 @default.
- W2187778085 cites W174255016 @default.
- W2187778085 cites W1862182621 @default.
- W2187778085 cites W1965171366 @default.
- W2187778085 cites W1976195354 @default.
- W2187778085 cites W1988272993 @default.
- W2187778085 cites W1996804992 @default.
- W2187778085 cites W2001487918 @default.
- W2187778085 cites W2008830197 @default.
- W2187778085 cites W2074213888 @default.
- W2187778085 cites W2081584487 @default.
- W2187778085 cites W2119810999 @default.
- W2187778085 cites W2139620513 @default.
- W2187778085 cites W2631739413 @default.
- W2187778085 cites W42986582 @default.
- W2187778085 hasPublicationYear "2008" @default.
- W2187778085 type Work @default.
- W2187778085 sameAs 2187778085 @default.
- W2187778085 citedByCount "0" @default.
- W2187778085 crossrefType "journal-article" @default.
- W2187778085 hasAuthorship W2187778085A5009723525 @default.
- W2187778085 hasAuthorship W2187778085A5047231419 @default.
- W2187778085 hasAuthorship W2187778085A5049161723 @default.
- W2187778085 hasAuthorship W2187778085A5055246406 @default.
- W2187778085 hasConcept C154690210 @default.
- W2187778085 hasConcept C199360897 @default.
- W2187778085 hasConcept C41008148 @default.
- W2187778085 hasConcept C80444323 @default.
- W2187778085 hasConceptScore W2187778085C154690210 @default.
- W2187778085 hasConceptScore W2187778085C199360897 @default.
- W2187778085 hasConceptScore W2187778085C41008148 @default.
- W2187778085 hasConceptScore W2187778085C80444323 @default.
- W2187778085 hasLocation W21877780851 @default.
- W2187778085 hasOpenAccess W2187778085 @default.
- W2187778085 hasPrimaryLocation W21877780851 @default.
- W2187778085 hasRelatedWork W1163293579 @default.
- W2187778085 hasRelatedWork W1519440914 @default.
- W2187778085 hasRelatedWork W1526045490 @default.
- W2187778085 hasRelatedWork W1560300944 @default.
- W2187778085 hasRelatedWork W1586432163 @default.
- W2187778085 hasRelatedWork W1587138807 @default.
- W2187778085 hasRelatedWork W1990687394 @default.
- W2187778085 hasRelatedWork W2030762481 @default.
- W2187778085 hasRelatedWork W2053342841 @default.
- W2187778085 hasRelatedWork W2059650559 @default.
- W2187778085 hasRelatedWork W2131622288 @default.
- W2187778085 hasRelatedWork W2257434262 @default.
- W2187778085 hasRelatedWork W2295221401 @default.
- W2187778085 hasRelatedWork W2408297390 @default.
- W2187778085 hasRelatedWork W2601426915 @default.
- W2187778085 hasRelatedWork W2744904498 @default.
- W2187778085 hasRelatedWork W3150067715 @default.
- W2187778085 hasRelatedWork W8857778 @default.
- W2187778085 hasRelatedWork W1744983872 @default.
- W2187778085 hasRelatedWork W2049295871 @default.
- W2187778085 isParatext "false" @default.
- W2187778085 isRetracted "false" @default.
- W2187778085 magId "2187778085" @default.
- W2187778085 workType "article" @default.