Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098485764> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2098485764 endingPage "726" @default.
- W2098485764 startingPage "705" @default.
- W2098485764 abstract "We describe action machines, a framework for encoding and composing partial behavioral descriptions. Action machines encode behavior as a variation of labeled transition systems where the labels are observable activities of the described artifact and the states capture full data models. Labels may also have structure, and both labels and states may be partial with a symbolic representation of the unknown parts. Action machines may stem from software models or programs, and can be composed in a variety of ways to synthesize new behaviors. The composition operators described here include synchronized and interleaving parallel composition, sequential composition, and alternating simulation. We use action machines in analysis processes such as model checking and model-based testing. The current main application is in the area of model-based conformance testing, where our approach addresses practical problems users at Microsoft have in applying model-based testing technology." @default.
- W2098485764 created "2016-06-24" @default.
- W2098485764 creator A5014944734 @default.
- W2098485764 creator A5057904664 @default.
- W2098485764 creator A5044033948 @default.
- W2098485764 date "2006-10-01" @default.
- W2098485764 modified "2023-10-09" @default.
- W2098485764 title "ACTION MACHINES: A FRAMEWORK FOR ENCODING AND COMPOSING PARTIAL BEHAVIORS" @default.
- W2098485764 cites W2019125550 @default.
- W2098485764 cites W2024851598 @default.
- W2098485764 cites W3153556787 @default.
- W2098485764 doi "https://doi.org/10.1142/s0218194006002963" @default.
- W2098485764 hasPublicationYear "2006" @default.
- W2098485764 type Work @default.
- W2098485764 sameAs 2098485764 @default.
- W2098485764 citedByCount "20" @default.
- W2098485764 countsByYear W20984857642012 @default.
- W2098485764 countsByYear W20984857642013 @default.
- W2098485764 countsByYear W20984857642016 @default.
- W2098485764 countsByYear W20984857642017 @default.
- W2098485764 crossrefType "journal-article" @default.
- W2098485764 hasAuthorship W2098485764A5014944734 @default.
- W2098485764 hasAuthorship W2098485764A5044033948 @default.
- W2098485764 hasAuthorship W2098485764A5057904664 @default.
- W2098485764 hasConcept C104317684 @default.
- W2098485764 hasConcept C110251889 @default.
- W2098485764 hasConcept C111919701 @default.
- W2098485764 hasConcept C121332964 @default.
- W2098485764 hasConcept C125411270 @default.
- W2098485764 hasConcept C136197465 @default.
- W2098485764 hasConcept C138885662 @default.
- W2098485764 hasConcept C154945302 @default.
- W2098485764 hasConcept C168167062 @default.
- W2098485764 hasConcept C17744445 @default.
- W2098485764 hasConcept C185592680 @default.
- W2098485764 hasConcept C199360897 @default.
- W2098485764 hasConcept C199539241 @default.
- W2098485764 hasConcept C2776359362 @default.
- W2098485764 hasConcept C2779010991 @default.
- W2098485764 hasConcept C2780791683 @default.
- W2098485764 hasConcept C28034677 @default.
- W2098485764 hasConcept C40231798 @default.
- W2098485764 hasConcept C41008148 @default.
- W2098485764 hasConcept C41895202 @default.
- W2098485764 hasConcept C55493867 @default.
- W2098485764 hasConcept C62520636 @default.
- W2098485764 hasConcept C66746571 @default.
- W2098485764 hasConcept C80444323 @default.
- W2098485764 hasConcept C94625758 @default.
- W2098485764 hasConcept C97355855 @default.
- W2098485764 hasConceptScore W2098485764C104317684 @default.
- W2098485764 hasConceptScore W2098485764C110251889 @default.
- W2098485764 hasConceptScore W2098485764C111919701 @default.
- W2098485764 hasConceptScore W2098485764C121332964 @default.
- W2098485764 hasConceptScore W2098485764C125411270 @default.
- W2098485764 hasConceptScore W2098485764C136197465 @default.
- W2098485764 hasConceptScore W2098485764C138885662 @default.
- W2098485764 hasConceptScore W2098485764C154945302 @default.
- W2098485764 hasConceptScore W2098485764C168167062 @default.
- W2098485764 hasConceptScore W2098485764C17744445 @default.
- W2098485764 hasConceptScore W2098485764C185592680 @default.
- W2098485764 hasConceptScore W2098485764C199360897 @default.
- W2098485764 hasConceptScore W2098485764C199539241 @default.
- W2098485764 hasConceptScore W2098485764C2776359362 @default.
- W2098485764 hasConceptScore W2098485764C2779010991 @default.
- W2098485764 hasConceptScore W2098485764C2780791683 @default.
- W2098485764 hasConceptScore W2098485764C28034677 @default.
- W2098485764 hasConceptScore W2098485764C40231798 @default.
- W2098485764 hasConceptScore W2098485764C41008148 @default.
- W2098485764 hasConceptScore W2098485764C41895202 @default.
- W2098485764 hasConceptScore W2098485764C55493867 @default.
- W2098485764 hasConceptScore W2098485764C62520636 @default.
- W2098485764 hasConceptScore W2098485764C66746571 @default.
- W2098485764 hasConceptScore W2098485764C80444323 @default.
- W2098485764 hasConceptScore W2098485764C94625758 @default.
- W2098485764 hasConceptScore W2098485764C97355855 @default.
- W2098485764 hasIssue "05" @default.
- W2098485764 hasLocation W20984857641 @default.
- W2098485764 hasOpenAccess W2098485764 @default.
- W2098485764 hasPrimaryLocation W20984857641 @default.
- W2098485764 hasRelatedWork W140709781 @default.
- W2098485764 hasRelatedWork W1510159504 @default.
- W2098485764 hasRelatedWork W1581723585 @default.
- W2098485764 hasRelatedWork W2017583614 @default.
- W2098485764 hasRelatedWork W2156531654 @default.
- W2098485764 hasRelatedWork W2253069048 @default.
- W2098485764 hasRelatedWork W2294330161 @default.
- W2098485764 hasRelatedWork W2372020181 @default.
- W2098485764 hasRelatedWork W2804553224 @default.
- W2098485764 hasRelatedWork W4378714697 @default.
- W2098485764 hasVolume "16" @default.
- W2098485764 isParatext "false" @default.
- W2098485764 isRetracted "false" @default.
- W2098485764 magId "2098485764" @default.
- W2098485764 workType "article" @default.