Interface compatibility checking for software modules

DOI10.1007/3-540-45657-0_35MaRDI QIDQ4804914zbMATH OpenFDO

Authors Arindam Chakrabarti, Luca De Alfaro, Marcin Jurdziński, Freddy Y. C. Mang, Thomas A. Henzinger

Publication date 1 May 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040428.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synchronous and bidirectional component interfaces
• A generic framework for n-protocol compatibility checking
• An interface model of software components
• A generalised theory of interface automata, component compatibility and error
• A generalised theory of interface automata, component compatibility and error

Cited in

(11)

• Generalized interface automata with multicast synchronization
• Partition refinement of component interaction automata
• Formal verification of safety protocol in train control system
• Modular strategies for recursive game graphs
• Highly dependable concurrent programming using design for verification
• Program Compatibility Approaches
• A generic framework for n-protocol compatibility checking
• scientific article; zbMATH DE number 1515322 (Why is no real title available?)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Can we communicate? Using dynamic logic to verify team automata
• Verification of evolving software via component substitutability analysis

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Interface compatibility checking for software modules

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