Conformance notions for the coordination of interaction components

DOI10.1016/J.SCICO.2009.12.005zbMATH Open1200.68072OpenAlexW2014104806MaRDI QIDQ967558FDOQ967558

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

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

zbMATH Keywords

frameworkssoftware componentscomposition predictabilityconformance verificationcoordination patterns

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Model of Component-Based Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioral subtyping relations for active objects
• Computer Aided Verification
• Component adaptation through flexible subservicing
• Coordination Models and Languages
• Pattern-oriented software architecture
• Typing the behavior of software components using session types
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Coordination Models and Languages
• Title not available (Why is that?)
• Rigorous development of component-based systems using component metadata and patterns
• A Coordination Model for Interactive Components
• Title not available (Why is that?)

Uses Software

• SYNTHESIS
• WSAT
• FDR2

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)