Stream X-Machine (original) (raw)
The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification Based Software Testing.Based on Samuel Eilenberg's X-machine, an extended finite-state machine for processing data of the type X, the Stream X-Machine is a kind of X-machine for processing a memory data type Mem with associated input and output streams In* and Out*, that is, where X = Out* × Mem × In*. The transitions of a Stream X-Machine are labelled by functions of the form φ: Mem × In → Out × Mem, that is, which compute an output value and update the memory, from the current memory and an input value.
| Property | Value |
|---|---|
| dbo:abstract | The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification Based Software Testing.Based on Samuel Eilenberg's X-machine, an extended finite-state machine for processing data of the type X, the Stream X-Machine is a kind of X-machine for processing a memory data type Mem with associated input and output streams In* and Out*, that is, where X = Out* × Mem × In*. The transitions of a Stream X-Machine are labelled by functions of the form φ: Mem × In → Out × Mem, that is, which compute an output value and update the memory, from the current memory and an input value. Although the general X-machine had been identified in the 1980s as a potentially useful formal model for specifying software systems, it was not until the emergence of the Stream X-Machine that this idea could be fully exploited. Florentin Ipate and Mike Holcombe went on to develop a theory of complete functional testing, in which complex software systems with hundreds of thousands of states and millions of transitions could be decomposed into separate SXMs that could be tested exhaustively, with a guaranteed proof of correct integration. Because of the intuitive interpretation of Stream X-Machines as "processing agents with inputs and outputs", they have attracted increasing interest, because of their utility in modelling real-world phenomena. The SXM model has important applications in fields as diverse as computational biology, software testing and agent-based computational economics. (en) |
| dbo:wikiPageExternalLink | http://eurace.group.shef.ac.uk/ http://www.dcs.shef.ac.uk/~ajhs/motive/ http://www.dcs.shef.ac.uk/~wmlh/ http://www.x-machines.net |
| dbo:wikiPageID | 10388845 (xsd:integer) |
| dbo:wikiPageLength | 9593 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1035252327 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Samuel_Eilenberg dbc:Software_testing dbr:Communicating_X-Machine dbr:Computational_biology dbr:Computational_economics dbr:Functional_testing dbc:Models_of_computation dbc:Theory_of_computation dbr:Software_testing dbr:X-Machine_Testing dbr:Sheffield_University dbr:Finite-state_machine dbr:X-machine |
| dcterms:subject | dbc:Software_testing dbc:Models_of_computation dbc:Theory_of_computation |
| gold:hypernym | dbr:Model |
| rdf:type | dbo:Person yago:WikicatModelsOfComputation yago:Assistant109815790 yago:CausalAgent100007347 yago:LivingThing100004258 yago:Model110324560 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 |
| rdfs:comment | The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification Based Software Testing.Based on Samuel Eilenberg's X-machine, an extended finite-state machine for processing data of the type X, the Stream X-Machine is a kind of X-machine for processing a memory data type Mem with associated input and output streams In* and Out*, that is, where X = Out* × Mem × In*. The transitions of a Stream X-Machine are labelled by functions of the form φ: Mem × In → Out × Mem, that is, which compute an output value and update the memory, from the current memory and an input value. (en) |
| rdfs:label | Stream X-Machine (en) |
| owl:sameAs | freebase:Stream X-Machine yago-res:Stream X-Machine wikidata:Stream X-Machine https://global.dbpedia.org/id/4vzw2 |
| prov:wasDerivedFrom | wikipedia-en:Stream_X-Machine?oldid=1035252327&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Stream_X-Machine |
| is dbo:wikiPageRedirects of | dbr:SXM_(computational_model) |
| is dbo:wikiPageWikiLink of | dbr:List_of_acronyms:_S dbr:Communicating_X-Machine dbr:Lazy_systematic_unit_testing dbr:X-Machine_Testing dbr:SXM_(computational_model) dbr:X-machine |
| is foaf:primaryTopic of | wikipedia-en:Stream_X-Machine |