A Strategy for the Formal Composition of Frameworks

Authors:
Walter Mesquita;Augusto Sampaio;Ana C. V. De Melo
Affiliations:
Universidade Federal de Pernambuco, Brazil;Universidade Federal de Pernambuco, Brazil;Universidade de Sao Paulo, Brazil
Venue:
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Year:
2005

Citing 9
Cited 3

Communicating sequential processes

Communicating sequential processes
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Framework integration problems, causes, solutions

Communications of the ACM
Model-checking CSP-Z: strategy, tool support and industrial application

Science of Computer Programming - Specical issue on fundamental approaches to software engineering
A CSP View on UML-RT Structure Diagrams

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Structured Component Composition Frameworks for Embedded System Design

HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
OOD Frameworks in Component-Based Software - Development in Computational Logic

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
A formal approach to software architecture

A formal approach to software architecture

Formal Specification Generation from Requirement Documents

Electronic Notes in Theoretical Computer Science (ENTCS)
Framework composition conformance via refinement checking

Proceedings of the 2008 ACM symposium on Applied computing
Conformance notions for the coordination of interaction components

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Framework composition, when used for designing and implementing applications, offers great potential for reuse and extensibility in large scale. However, the literature shows that composing frameworks may result in unexpected side-effects like, for instance, the introduction of deadlock. In this work, we use the process algebra CSP to formally characterize the framework composition problem, abstracting from implementation details or technology. We propose a framework composition strategy which guarantees that the properties of the compound frameworks are preserved after composition. The strategy is presented through a case study: a client/server application.