Matches in SemOpenAlex for { <https://semopenalex.org/work/W57439573> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W57439573 abstract "A software module is an abstraction of a program: it has a well dened functionality, operations by which the environment ac- cesses the program, and outputs. Traces are sequences of operations. Trace assertions constitute a particular formalism for abstract specica- tion of software modules. Certain traces are identied as canonical, and all traces are grouped in equivalence classes, each of which is represented by a unique canonical trace. Trace equivalence captures the observational indistinguishability of traces. A rewriting system transforms any trace to its canonical equivalent. A module can often be conveniently described by a (nite or innite) automaton. In this paper we consider only deterministic connected au- tomata. We show that any such automaton can be specied by canonical traces and trace equivalence; conversely, any set of canonical traces to- gether with a trace equivalence uniquely denes an automaton. For each state of an automaton, we select an arbitrary trace leading to that state as its canonical trace. Constructing trace equivalence amounts to nding a set of generators for state-equivalence, where two traces are state-equivalent if they lead to the same state. We present a simple algo- rithm for nding such a set of generators. Directly from these generators, we derive a rewriting system which yields a deterministic algorithm for transforming any trace to its canonical representative. This system is always conuen t, and it is Noetherian (has only nite derivations) if and only if the set of canonical traces is prex-con tinuous (a set is prex- continuous if whenever a word w and a prex u of w are in the set, then all the prexes of w longer than u are also in the set). Each prex- continuous set corresponds to a spanning forest of the automaton and vice versa. We apply our algorithms to specify several commonly used modules." @default.
- W57439573 created "2016-06-24" @default.
- W57439573 creator A5016883956 @default.
- W57439573 creator A5088058908 @default.
- W57439573 date "2004-01-01" @default.
- W57439573 modified "2023-09-27" @default.
- W57439573 title "Theory of Deterministic Trace-Assertion Specications ?" @default.
- W57439573 cites W133354355 @default.
- W57439573 cites W1496412704 @default.
- W57439573 cites W1543281322 @default.
- W57439573 cites W1963436944 @default.
- W57439573 cites W2027515180 @default.
- W57439573 cites W2098820900 @default.
- W57439573 cites W2112717272 @default.
- W57439573 cites W2131958170 @default.
- W57439573 cites W2396714452 @default.
- W57439573 hasPublicationYear "2004" @default.
- W57439573 type Work @default.
- W57439573 sameAs 57439573 @default.
- W57439573 citedByCount "1" @default.
- W57439573 crossrefType "journal-article" @default.
- W57439573 hasAuthorship W57439573A5016883956 @default.
- W57439573 hasAuthorship W57439573A5088058908 @default.
- W57439573 hasConcept C112505250 @default.
- W57439573 hasConcept C118615104 @default.
- W57439573 hasConcept C136119220 @default.
- W57439573 hasConcept C138885662 @default.
- W57439573 hasConcept C154690210 @default.
- W57439573 hasConcept C165753454 @default.
- W57439573 hasConcept C177264268 @default.
- W57439573 hasConcept C194525867 @default.
- W57439573 hasConcept C199360897 @default.
- W57439573 hasConcept C202444582 @default.
- W57439573 hasConcept C204707403 @default.
- W57439573 hasConcept C2780069185 @default.
- W57439573 hasConcept C33923547 @default.
- W57439573 hasConcept C41008148 @default.
- W57439573 hasConcept C41895202 @default.
- W57439573 hasConcept C75291252 @default.
- W57439573 hasConcept C80444323 @default.
- W57439573 hasConceptScore W57439573C112505250 @default.
- W57439573 hasConceptScore W57439573C118615104 @default.
- W57439573 hasConceptScore W57439573C136119220 @default.
- W57439573 hasConceptScore W57439573C138885662 @default.
- W57439573 hasConceptScore W57439573C154690210 @default.
- W57439573 hasConceptScore W57439573C165753454 @default.
- W57439573 hasConceptScore W57439573C177264268 @default.
- W57439573 hasConceptScore W57439573C194525867 @default.
- W57439573 hasConceptScore W57439573C199360897 @default.
- W57439573 hasConceptScore W57439573C202444582 @default.
- W57439573 hasConceptScore W57439573C204707403 @default.
- W57439573 hasConceptScore W57439573C2780069185 @default.
- W57439573 hasConceptScore W57439573C33923547 @default.
- W57439573 hasConceptScore W57439573C41008148 @default.
- W57439573 hasConceptScore W57439573C41895202 @default.
- W57439573 hasConceptScore W57439573C75291252 @default.
- W57439573 hasConceptScore W57439573C80444323 @default.
- W57439573 hasLocation W574395731 @default.
- W57439573 hasOpenAccess W57439573 @default.
- W57439573 hasPrimaryLocation W574395731 @default.
- W57439573 hasRelatedWork W110309261 @default.
- W57439573 hasRelatedWork W1486697888 @default.
- W57439573 hasRelatedWork W1508561260 @default.
- W57439573 hasRelatedWork W1531378138 @default.
- W57439573 hasRelatedWork W1584447520 @default.
- W57439573 hasRelatedWork W1604830998 @default.
- W57439573 hasRelatedWork W1736615600 @default.
- W57439573 hasRelatedWork W1861094505 @default.
- W57439573 hasRelatedWork W1887345091 @default.
- W57439573 hasRelatedWork W1977793919 @default.
- W57439573 hasRelatedWork W2018390675 @default.
- W57439573 hasRelatedWork W2040381387 @default.
- W57439573 hasRelatedWork W2047080051 @default.
- W57439573 hasRelatedWork W2079179697 @default.
- W57439573 hasRelatedWork W2079207854 @default.
- W57439573 hasRelatedWork W2117727963 @default.
- W57439573 hasRelatedWork W2154697267 @default.
- W57439573 hasRelatedWork W2534478229 @default.
- W57439573 hasRelatedWork W27897647 @default.
- W57439573 hasRelatedWork W58315234 @default.
- W57439573 isParatext "false" @default.
- W57439573 isRetracted "false" @default.
- W57439573 magId "57439573" @default.
- W57439573 workType "article" @default.