The algebraic structure of interfaces

DOI10.1016/J.SCICO.2003.04.001MaRDI QIDQ1887174zbMATH OpenOpenAlexFDO

Authors D. Ll. L. Rees, K. Stephenson, John V. Tucker

Publication date 23 November 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2003.04.001

zbMATH Keywords

InterfaceAlgebraic specificationAbstract syntaxFlatteningSoftware architectureImportsInterface definition languageObject-oriented architecture

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal Methods in Software and Systems Modeling
• Specifying, relating and composing object oriented interfaces, components and architectures
• An algebraic theory of interface automata
• Algebraic specification of modules and their basic interconnections
• An expressive language of signatures

Cited in

(7)

• All isomorphic distinct cases for multi-component interfaces in a block.
• scientific article; zbMATH DE number 5263223 (Why is no real title available?)
• An expressive language of signatures
• The Algebra of Connectors—Structuring Interaction in BIP
• Formal Methods in Software and Systems Modeling
• Specifying, relating and composing object oriented interfaces, components and architectures
• General interface problems—II

This page was built for publication: The algebraic structure of interfaces

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