Typing communicating component assemblages

Authors:
Michael Lienhardt;Alan Schmitt;Jean-Bernard Stefani
Affiliations:
Université Grenoble I, France, Grenoble, France;INRIA, Grenoble, France;INRIA, Grenoble, France
Venue:
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Year:
2008

Citing 34
Cited 2

Type inclusion constraints and type inference

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
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
Intensional polymorphism in type-erasure semantics

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
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
Type inference with constrained types

Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Building reliable, high-performance communication systems from components

Proceedings of the seventeenth ACM symposium on Operating systems principles
The Click modular router

Proceedings of the seventeenth ACM symposium on Operating systems principles
A formal language for composition

Foundations of component-based systems
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
Simplifying subtyping constraints: a theory

Information and Computation
Assigning types to processes

Information and Computation
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
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
Dream types: a domain specific type system for component-based message-oriented middleware

SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
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)
A calculus for reasoning about software composition

Theoretical Computer Science - Formal methods for components and objects
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
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)
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
The kell calculus: a family of higher-order distributed process calculi

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

Typing Component-Based Communication Systems

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
Improving complex distributed software system availability through information hiding

Proceedings of the 2010 ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a type-system-based approach to avoid message handling errors when assembling component-based communication systems. Such errors are not captured by classical type systems of host programming languages such as Java or ML. Our approach relies on the definition of a small process calculus that captures the operational essence of our target component-based framework for communication systems, and on the definition of a novel type system that combines row types with process types.