Deriving State-Based Implementations of Interactive Components with History Abstractions

DOI10.1007/978-3-540-70881-0_17MaRDI QIDQ3401943zbMATH OpenOpenAlexFDO

Authors Walter Dosch, Annette Stümpel

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_17

zbMATH Keywords

communication historyhistory abstractioninteractive componentstate transition machinestream processing function

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• State inference for dynamically changing interfaces
• scientific article; zbMATH DE number 1670557
• A framework for analysing state-abstraction methods
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 4056977
• scientific article; zbMATH DE number 1304366
• A theory of history dependent abstractions for learning interface automata

Cited in

(2)

• Implementing Services by Partial State Machines
• State inference for dynamically changing interfaces

This page was built for publication: Deriving State-Based Implementations of Interactive Components with History Abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401943)