Conformance notions for the coordination of interaction components

DOI10.1016/J.SCICO.2009.12.005MaRDI QIDQ967558zbMATH OpenOpenAlexFDO

Authors Augusto Sampaio, Alexandre Mota, Rodrigo A. Ramos

Publication date 29 April 2010

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

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

zbMATH Keywords

frameworkssoftware componentscomposition predictabilityconformance verificationcoordination patterns

Mathematics Subject Classification ID

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

Recommendations

• Coordination Models and Languages
• Mathematical Frameworks for Component Software
• scientific article; zbMATH DE number 2163031
• Composition for component-based modeling
• A formal abstract framework for modelling and testing complex software systems

Cites work

• scientific article; zbMATH DE number 4210083 (Why is no real title available?)
• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 1955871 (Why is no real title available?)
• scientific article; zbMATH DE number 1955918 (Why is no real title available?)
• scientific article; zbMATH DE number 1452531 (Why is no real title available?)
• A Model of Component-Based Programming
• Behavioral subtyping relations for active objects
• Component adaptation through flexible subservicing
• Computer Aided Verification
• Coordination Models and Languages
• Pattern-oriented software architecture
• Typing the behavior of software components using session types

Cited in

(5)

• Coordination Models and Languages
• scientific article; zbMATH DE number 1630019 (Why is no real title available?)
• Rigorous development of component-based systems using component metadata and patterns
• A Coordination Model for Interactive Components
• scientific article; zbMATH DE number 5542573 (Why is no real title available?)

Describes a project that uses

Uses Software

• FDR2
• WSAT
• SYNTHESIS

This page was built for publication: Conformance notions for the coordination of interaction components

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