Systematic Development of Trustworthy Component Systems

Authors:
Rodrigo Ramos;Augusto Sampaio;Alexandre Mota
Affiliations:
Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil CEP 50732970;Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil CEP 50732970;Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil CEP 50732970
Venue:
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Year:
2009

Citing 12
Cited 1

A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Coordinating interaction patterns

Proceedings of the 2001 ACM symposium on Applied computing
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Component Verification with Automatically Generated Assumptions

Automated Software Engineering
Framework composition conformance via refinement checking

Proceedings of the 2008 ACM symposium on Applied computing
PACC starter kit: developing software with predictable behavior

Companion of the 30th international conference on Software engineering
An Approach to Modelling and Verification of Component Based Systems

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
How to implement software connectors? a reusable, abstract and adaptable connector

DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
A semantics for UML-RT active classes via mapping into circus

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Transformation laws for UML-RT

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Analyzing component-based systems on the basis of architectural constraints

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a systematic approach, based on the CSP process algebra, to preserve deadlock- and livelock-freedom by construction in I/O component composition. In contrast to existing classical approaches, we allow components to have complex behaviour, protocols and contracts. As a consequence, it is possible to predict the behaviour of a wide range of component-based systems prior to their implementation, based on known properties of the system components.