Abstract state machine (original) (raw)
In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations) and relations over the set).
| Property | Value |
|---|---|
| dbo:abstract | In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations) and relations over the set). (en) Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit , ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer abstrakten Zustandsmaschine allgemeine mathematische Strukturen. Im Gebiet des Übersetzerbaus dient das Modell der Beschreibung der Semantik des zu übersetzenden Programms, und es hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung). Bei der Entwicklung von Software im Allgemeinen erlaubt das Modell in der Analyse- und Entwurfsphase eine formale Beschreibung der funktionalen Anforderungen. Diese mathematische Herangehensweise verbessert beispielsweise Verifizierbarkeit und Wiederverwendbarkeit. Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen. (de) En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr) Nel campo dell'informatica il termine Abstract State Machine (letteralmente macchina a stati astratti) o ASM è usato spesso come sinonimo di macchina a stati finiti per quanto riguarda gli algoritmi astratti (come l'ordinamento, la ricerca, ecc.). Una particolare teoria sull'utilizzo degli ASM per la specifica formale è stata sviluppata da . (it) Em ciência da computação, uma máquina de estados abstratos (ASM) é uma máquina de estados finitos operando em estados que são estruturas de dados arbitrárias (estruturas no sentido de lógica matemática, que é um conjunto não-vazio juntamente com um número de funções (operações sobre o conjunto) e relações). O Método ASM é um método de engenharia de sistemas prático e cientificamente bem-embasado que diminui a lacuna entre as duas extremidades do desenvolvimento de sistema: * o entendimento humano e a formulação de problemas do mundo-real (análise de requerimentos por uma modelagem acurada de alto nível com o nível de abstração determinada pelo domínio da aplicação) * a implementação de suas soluções algorítmicas por máquinas de execução de código em plataformas de mudança (definição de decisão de projeto, sistema, e detalhes de implementação). O método é construído em cima de três conceitos básicos: * ASM: uma forma precisa de pseudo-código, generalizando Máquina de Estados Finitos para operar sobre estruturas arbitrárias de dados; * modelo terra: uma forma rigorosa de blueprints, servindo de modelo de referência de autorização para o design; * refinamento: um esquema mais geral para instanciações passo-a-passo de abstrações de modelo para elementos concretos de sistema, provendo ligações controláveis e descrições mais detalhadas nos sucessivos estágios de desenvolvimento de sistema. Na concepção original de ASMs, um único agente executa um programa em uma seqüência de passos, possivelmente interagindo com o seu ambiente. Esta noção foi estendida para capturar processamento distribuído, no qual múltiplos agentes executam seus programas concorrentemente. Já que modelos algorítmicos ASM em níveis arbitrários de abstração, podem prover visões de baixo, alto, e médio níveis do projeto de um hardware e software, especificações ASM freqüentemente consistem em uma série de modelos ASM, começando com um modelo terra abstrato e procedendo para níveis maiores de detalhes em sucessivos refinamentos ou detalhamentos. Devido à natureza algorítmica e matemática destes três conceitos, modelos ASM e suas propriedades de interesse podem ser analisadas usando quaisquer forma rigorosa de verificação (pelo raciocínio) ou validação (por experimentação, testando modelos de execução). (pt) |
| dbo:wikiPageExternalLink | http://www.asmcenter.org/ http://www.codeplex.com/AsmL/ http://www.di.unipi.it/~boerger/AsmBook/ http://www.inderscience.com/search/index.php%3Faction=record&rec_id=12626&prevQuery=&ps=10&m=or http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html http://www.jucs.org/jucs_3_5/integrating_asm http://www.springeronline.com/978-3-540-87602-1 http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html https://www.dagstuhl.de/06191 http://asmeta.sourceforge.net http://tocl.acm.org http://www.di.unipi.it/~boerger/jbook/ http://www.iste.co.uk/index.php%3Ff=a&ACTION=View&id=100 http://www.jucs.org/doi%3Fdoi=10.3217/jucs-014-12 http://www.jucs.org/jucs_6_7 http://www.jucs.org/jucs_7_11 http://www.jucs.org/jucs_7_11/formal_definition_of_sdl https://www.dagstuhl.de/02101 https://www.dagstuhl.de/99241 http://www.sciencedirect.com/science/issue/5674-2005-996639997-594598 https://github.com/CoreASM https://web.archive.org/web/20061002142048/http:/www.univ-paris12.fr/lacl/dima/asm05/asm05-contents.html https://web.archive.org/web/20090719170052/http:/chacs.nrl.navy.mil/books/realtime/overview.html https://web.archive.org/web/20090913202636/http:/www.sciencedirect.com/science%3F_ob=ArticleURL&_udi=B6VRG-48FKC55-2&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=9da4c19ef309568c1598d3f6c48db4b6The https://web.archive.org/web/20090913202642/http:/fi.mimuw.edu.pl/abs77.html https://web.archive.org/web/20090914111707/http:/www.tydo.de/doktorarbeit.html http://www.eecs.umich.edu/gasm/ http://portal.acm.org/citation.cfm%3Fid=1770371 https://dblp.org/db/conf/asm/asm2000 https://dblp.org/db/conf/asm/asm2003 https://dblp.org/db/conf/asm/asm2004 https://dblp.org/db/conf/birthday/borger2009 https://dblp.org/db/conf/csl/csl95 https://dblp.org/db/conf/dagstuhl/fm1995 https://dblp.org/db/conf/korso/korso1995fd https://dblp.org/db/conf/lipari/lipari2007 |
| dbo:wikiPageID | 2575836 (xsd:integer) |
| dbo:wikiPageLength | 11575 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1099301864 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Programming_languages dbr:Prolog dbr:Algorithm dbr:Relation_(mathematics) dbr:Requirements_analysis dbr:Design_language dbr:Invariant_(mathematics) dbr:Software_agent dbr:Universal_algebra dbr:Mathematical_logic dbr:Church–Turing_thesis dbr:Egon_Börger dbr:Function_(mathematics) dbr:CoreASM dbr:Computer_hardware dbr:Computer_science dbr:Parallel_computing dbr:Mathematical_structure dbr:State_(computer_science) dbr:Systems_engineering dbr:C_(programming_language) dbr:Distributed_computing dbr:Abstraction dbr:Oxford_University_Press dbr:Formal_specification dbr:Unified_Modeling_Language dbr:Specification_and_Description_Language dbr:Isomorphisms dbr:Java_(programming_language) dbr:State_machine dbr:Archive.org dbc:Formal_methods dbc:Models_of_computation dbr:Axiomatic_system dbr:SourceForge dbr:Springer_Nature dbr:Springer_Science+Business_Media dbr:Emulated dbr:Operation_(mathematics) dbr:Set_(mathematics) dbr:Turing_machine dbr:Simulation dbr:Software dbr:Yuri_Gurevich dbr:Verification_and_Validation_(software) dbr:State_transition dbr:Finite_State_Machines dbr:Program_refinement |
| dbp:wikiPageUsesTemplate | dbt:Distinguish dbt:Doi dbt:External_links dbt:ISBN dbt:More_footnotes dbt:Multiple_issues dbt:Reflist |
| dcterms:subject | dbc:Formal_methods dbc:Models_of_computation |
| rdf:type | owl:Thing |
| rdfs:comment | In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations) and relations over the set). (en) En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr) Nel campo dell'informatica il termine Abstract State Machine (letteralmente macchina a stati astratti) o ASM è usato spesso come sinonimo di macchina a stati finiti per quanto riguarda gli algoritmi astratti (come l'ordinamento, la ricerca, ecc.). Una particolare teoria sull'utilizzo degli ASM per la specifica formale è stata sviluppata da . (it) Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit , ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer abstrakten Zustandsmaschine allgemeine mathematische Strukturen. Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen. (de) Em ciência da computação, uma máquina de estados abstratos (ASM) é uma máquina de estados finitos operando em estados que são estruturas de dados arbitrárias (estruturas no sentido de lógica matemática, que é um conjunto não-vazio juntamente com um número de funções (operações sobre o conjunto) e relações). O Método ASM é um método de engenharia de sistemas prático e cientificamente bem-embasado que diminui a lacuna entre as duas extremidades do desenvolvimento de sistema: O método é construído em cima de três conceitos básicos: (pt) |
| rdfs:label | Abstrakte Zustandsmaschine (de) Abstract state machine (en) Machine à états abstraits (fr) Abstract state machine (it) Máquina de estados abstratos (pt) |
| owl:differentFrom | dbr:Algorithmic_state_machine |
| owl:sameAs | wikidata:Abstract state machine dbpedia-de:Abstract state machine dbpedia-fr:Abstract state machine dbpedia-it:Abstract state machine dbpedia-pt:Abstract state machine dbpedia-vi:Abstract state machine https://global.dbpedia.org/id/34RgN |
| prov:wasDerivedFrom | wikipedia-en:Abstract_state_machine?oldid=1099301864&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Abstract_state_machine |
| is dbo:wikiPageRedirects of | dbr:Abstract_State_Machines dbr:Abstract_state_machines dbr:Abstract_State_Machine dbr:Abstract_state_machine_(version_2) dbr:Evolving_Algebras |
| is dbo:wikiPageWikiLink of | dbr:Interactive_computation dbr:Timeline_of_Russian_innovation dbr:Extended_finite-state_machine dbr:Abstract_State_Machines dbr:Abstract_state_machines dbr:Abstract_State_Machine_Language dbr:Finite-state_machine dbr:Abstract_State_Machine dbr:Abstract_state_machine_(version_2) dbr:Evolving_Algebras |
| is owl:differentFrom of | dbr:Algorithmic_state_machine |
| is foaf:primaryTopic of | wikipedia-en:Abstract_state_machine |