Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895593350> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2895593350 endingPage "67" @default.
- W2895593350 startingPage "52" @default.
- W2895593350 abstract "We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use established Software Engineering concepts, including software product lines and object orientation that come with extensive tool support. We illustrate our modeling approach by prototyping a weak memory model. The resulting executable model is modular and has clear interfaces between communicating participants through object-oriented modeling. Relaxations of the basic memory model are expressed as self-contained variants of a software product line. As a modeling language we use the formal active object language ABS which comes with an extensive tool set. This permits rapid formalization of core ideas, early validity checks in terms of formal invariant proofs, and debugging support by executing test runs. Hence, our approach supports the prototyping of formal system models with early feedback." @default.
- W2895593350 created "2018-10-12" @default.
- W2895593350 creator A5005820927 @default.
- W2895593350 creator A5084143460 @default.
- W2895593350 date "2018-10-04" @default.
- W2895593350 modified "2023-10-01" @default.
- W2895593350 title "Prototyping Formal System Models with Active Objects" @default.
- W2895593350 cites W1475796516 @default.
- W2895593350 cites W1477939465 @default.
- W2895593350 cites W1541537810 @default.
- W2895593350 cites W1604442026 @default.
- W2895593350 cites W1606736461 @default.
- W2895593350 cites W172516910 @default.
- W2895593350 cites W1966273654 @default.
- W2895593350 cites W1995763484 @default.
- W2895593350 cites W2029601347 @default.
- W2895593350 cites W2030159266 @default.
- W2895593350 cites W2039536260 @default.
- W2895593350 cites W2054739713 @default.
- W2895593350 cites W2067448797 @default.
- W2895593350 cites W2085773946 @default.
- W2895593350 cites W2089178595 @default.
- W2895593350 cites W2093200590 @default.
- W2895593350 cites W2127204641 @default.
- W2895593350 cites W2144896643 @default.
- W2895593350 cites W2295198103 @default.
- W2895593350 cites W2317485026 @default.
- W2895593350 cites W2474651523 @default.
- W2895593350 cites W2477378326 @default.
- W2895593350 cites W2491481928 @default.
- W2895593350 cites W2588847228 @default.
- W2895593350 cites W2598503289 @default.
- W2895593350 cites W3125427430 @default.
- W2895593350 cites W4234315090 @default.
- W2895593350 cites W4240322740 @default.
- W2895593350 cites W4250846042 @default.
- W2895593350 doi "https://doi.org/10.4204/eptcs.279.7" @default.
- W2895593350 hasPublicationYear "2018" @default.
- W2895593350 type Work @default.
- W2895593350 sameAs 2895593350 @default.
- W2895593350 citedByCount "3" @default.
- W2895593350 countsByYear W28955933502019 @default.
- W2895593350 countsByYear W28955933502021 @default.
- W2895593350 countsByYear W28955933502022 @default.
- W2895593350 crossrefType "journal-article" @default.
- W2895593350 hasAuthorship W2895593350A5005820927 @default.
- W2895593350 hasAuthorship W2895593350A5084143460 @default.
- W2895593350 hasBestOaLocation W28955933501 @default.
- W2895593350 hasConcept C101468663 @default.
- W2895593350 hasConcept C115903868 @default.
- W2895593350 hasConcept C116253237 @default.
- W2895593350 hasConcept C154690210 @default.
- W2895593350 hasConcept C160145156 @default.
- W2895593350 hasConcept C168065819 @default.
- W2895593350 hasConcept C199360897 @default.
- W2895593350 hasConcept C41008148 @default.
- W2895593350 hasConcept C75606506 @default.
- W2895593350 hasConceptScore W2895593350C101468663 @default.
- W2895593350 hasConceptScore W2895593350C115903868 @default.
- W2895593350 hasConceptScore W2895593350C116253237 @default.
- W2895593350 hasConceptScore W2895593350C154690210 @default.
- W2895593350 hasConceptScore W2895593350C160145156 @default.
- W2895593350 hasConceptScore W2895593350C168065819 @default.
- W2895593350 hasConceptScore W2895593350C199360897 @default.
- W2895593350 hasConceptScore W2895593350C41008148 @default.
- W2895593350 hasConceptScore W2895593350C75606506 @default.
- W2895593350 hasLocation W28955933501 @default.
- W2895593350 hasLocation W28955933502 @default.
- W2895593350 hasLocation W28955933503 @default.
- W2895593350 hasOpenAccess W2895593350 @default.
- W2895593350 hasPrimaryLocation W28955933501 @default.
- W2895593350 hasRelatedWork W1966978306 @default.
- W2895593350 hasRelatedWork W1975132457 @default.
- W2895593350 hasRelatedWork W2111403313 @default.
- W2895593350 hasRelatedWork W2151688604 @default.
- W2895593350 hasRelatedWork W2283267494 @default.
- W2895593350 hasRelatedWork W2290676045 @default.
- W2895593350 hasRelatedWork W3138361403 @default.
- W2895593350 hasRelatedWork W4236740088 @default.
- W2895593350 hasRelatedWork W9401349 @default.
- W2895593350 hasRelatedWork W2789196474 @default.
- W2895593350 hasVolume "279" @default.
- W2895593350 isParatext "false" @default.
- W2895593350 isRetracted "false" @default.
- W2895593350 magId "2895593350" @default.
- W2895593350 workType "article" @default.