Typing Component-Based Communication Systems

Authors:
Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani
Affiliations:
INRIA, France;INRIA, France;INRIA, France;INRIA, France
Venue:
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Year:
2009

Citing 34
Cited 1

Type inference with polymorphic recursion

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference for records in natural extension of ML

Theoretical aspects of object-oriented programming
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Basic simple type theory

Basic simple type theory
Building adaptive systems using ensemble

Software—Practice & Experience - Special issue on multiprocessor operating systems
Coyote: a system for constructing fine-grain configurable communication services

ACM Transactions on Computer Systems (TOCS)
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building reliable, high-performance communication systems from components

Proceedings of the seventeenth ACM symposium on Operating systems principles
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
The click modular router

ACM Transactions on Computer Systems (TOCS)
Assigning types to processes

Information and Computation
Programming language optimizations for modular router configurations

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
JOIN(X): Constraint-Based Type Inference for the Join-Calculus

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Architectural Reasoning in ArchJava

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Higher-Order Intensional Type Analysis

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Assigning Types to Processes

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A Constraint-Based Presentation and Generalization of Rows

LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Achieving Middleware Customization in a Configuration-Based Development Environment: Experience with the Aster Prototype

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Type inference for a distributed π-calculus

Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware

IEEE Distributed Systems Online
Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform

WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
A constraint-based approach to guarded algebraic data types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Language support for fast and reliable message-based communication in singularity OS

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Knit: component composition for systems software

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Model-checking Distributed Components: The Vercors Platform

Electronic Notes in Theoretical Computer Science (ENTCS)
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Electronic Notes in Theoretical Computer Science (ENTCS)
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typing communicating component assemblages

GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Compositional Verification for Component-Based Systems and Application

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Sequence Types for the π-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Instant polymorphic type systems for mobile process calculi: just add reduction rules and close

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Conflict detection in delta-oriented programming

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblage errors. We present a novel type system and type inference algorithm that prevent interconnection and message-handling errors when assembling component-based communication systems. These errors are typically not captured by classical type systems of host programming languages such as Java or ML. We have implemented our approach by extending the architecture description language (ADL) toolset used by the Dream framework, and used it to check Dream-based communication systems.