Matches in SemOpenAlex for { <https://semopenalex.org/work/W3150067715> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3150067715 endingPage "91" @default.
- W3150067715 startingPage "77" @default.
- W3150067715 abstract "The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude." @default.
- W3150067715 created "2021-04-13" @default.
- W3150067715 creator A5016058241 @default.
- W3150067715 creator A5056784361 @default.
- W3150067715 creator A5073164575 @default.
- W3150067715 date "2010-02-15" @default.
- W3150067715 modified "2023-10-01" @default.
- W3150067715 title "Rewriting Logic Semantics of a Plan Execution Language" @default.
- W3150067715 cites W1490868210 @default.
- W3150067715 cites W1975142301 @default.
- W3150067715 cites W1976195354 @default.
- W3150067715 cites W1981466053 @default.
- W3150067715 cites W1983696848 @default.
- W3150067715 cites W1995969393 @default.
- W3150067715 cites W2029227380 @default.
- W3150067715 cites W2039302866 @default.
- W3150067715 cites W2047406870 @default.
- W3150067715 cites W2139760036 @default.
- W3150067715 cites W2152010088 @default.
- W3150067715 cites W4210639184 @default.
- W3150067715 doi "https://doi.org/10.4204/eptcs.18.6" @default.
- W3150067715 hasPublicationYear "2010" @default.
- W3150067715 type Work @default.
- W3150067715 sameAs 3150067715 @default.
- W3150067715 citedByCount "12" @default.
- W3150067715 countsByYear W31500677152012 @default.
- W3150067715 countsByYear W31500677152014 @default.
- W3150067715 countsByYear W31500677152016 @default.
- W3150067715 countsByYear W31500677152017 @default.
- W3150067715 countsByYear W31500677152018 @default.
- W3150067715 countsByYear W31500677152019 @default.
- W3150067715 crossrefType "journal-article" @default.
- W3150067715 hasAuthorship W3150067715A5016058241 @default.
- W3150067715 hasAuthorship W3150067715A5056784361 @default.
- W3150067715 hasAuthorship W3150067715A5073164575 @default.
- W3150067715 hasBestOaLocation W31500677151 @default.
- W3150067715 hasConcept C122783720 @default.
- W3150067715 hasConcept C128838566 @default.
- W3150067715 hasConcept C146499914 @default.
- W3150067715 hasConcept C154690210 @default.
- W3150067715 hasConcept C156325763 @default.
- W3150067715 hasConcept C160145156 @default.
- W3150067715 hasConcept C184337299 @default.
- W3150067715 hasConcept C199360897 @default.
- W3150067715 hasConcept C207648694 @default.
- W3150067715 hasConcept C41008148 @default.
- W3150067715 hasConcept C89497691 @default.
- W3150067715 hasConceptScore W3150067715C122783720 @default.
- W3150067715 hasConceptScore W3150067715C128838566 @default.
- W3150067715 hasConceptScore W3150067715C146499914 @default.
- W3150067715 hasConceptScore W3150067715C154690210 @default.
- W3150067715 hasConceptScore W3150067715C156325763 @default.
- W3150067715 hasConceptScore W3150067715C160145156 @default.
- W3150067715 hasConceptScore W3150067715C184337299 @default.
- W3150067715 hasConceptScore W3150067715C199360897 @default.
- W3150067715 hasConceptScore W3150067715C207648694 @default.
- W3150067715 hasConceptScore W3150067715C41008148 @default.
- W3150067715 hasConceptScore W3150067715C89497691 @default.
- W3150067715 hasLocation W31500677151 @default.
- W3150067715 hasLocation W31500677152 @default.
- W3150067715 hasLocation W31500677153 @default.
- W3150067715 hasOpenAccess W3150067715 @default.
- W3150067715 hasPrimaryLocation W31500677151 @default.
- W3150067715 hasRelatedWork W1543548633 @default.
- W3150067715 hasRelatedWork W1586432163 @default.
- W3150067715 hasRelatedWork W1933696546 @default.
- W3150067715 hasRelatedWork W1981466053 @default.
- W3150067715 hasRelatedWork W2106305471 @default.
- W3150067715 hasRelatedWork W2125406856 @default.
- W3150067715 hasRelatedWork W2295221401 @default.
- W3150067715 hasRelatedWork W2607099078 @default.
- W3150067715 hasRelatedWork W3150067715 @default.
- W3150067715 hasRelatedWork W2785710355 @default.
- W3150067715 hasVolume "18" @default.
- W3150067715 isParatext "false" @default.
- W3150067715 isRetracted "false" @default.
- W3150067715 magId "3150067715" @default.
- W3150067715 workType "article" @default.