On refinement of generic state-based software components

DOI10.1007/978-3-540-27815-3_38MaRDI QIDQ5313003zbMATH OpenOpenAlexFDO

Authors Sun Meng, L. S. Barbosa

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

zbMATH Keywords

coalgebraic modelsComponentsrefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• State-based components made generic
• Refinement and state machine abstraction
• A framework for analysing state-abstraction methods
• Compositional semantics and refinement of Statecharts
• Refinements in Typed Abstract State Machines

Cited in

(13)

• Probabilistic mediator: a coalgebraic perspective
• State-based components made generic
• Pre-Galois connection on coalgebras for generic component refinement
• State-bases approaches: from Z to Object-Z
• A single complete relational rule for coalgebraic refinement
• Deriving State-Based Implementations of Interactive Components with History Abstractions
• scientific article; zbMATH DE number 1569136 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Formal Methods for Components and Objects
• Refinement and state machine abstraction
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement
• Service refinement

This page was built for publication: On refinement of generic state-based software components

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