Unblockable compositions of software components

Authors:
Ruzhen Dong;Johannes Faber;Zhiming Liu;Jiri Srba;Naijun Zhan;Jiaqi Zhu
Affiliations:
UNU-IIST, Macao, Macao;UNU-IIST, Macao, Macao;UNU-IIST, Macao, Macao;Aalborg University, Aalborg, Denmark;Institute of Software, CAS, Beijing, China;Institute of Software, CAS, Beijing, China
Venue:
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Year:
2012

Citing 16
Cited 1

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Assumption Generation for Software Component Verification

Proceedings of the 17th IEEE international conference on Automated software engineering
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Enforcing Secure Service Composition

CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Assume-Guarantee Verification for Interface Automata

FM '08 Proceedings of the 15th international symposium on Formal Methods
Sessions and Pipelines for Structured Service Programming

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Refinement and verification in component-based model-driven design

Science of Computer Programming
Timed I/O automata: a complete specification theory for real-time systems

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Modal I/O automata for interface and product line theories

ESOP'07 Proceedings of the 16th European conference on Programming
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Interface input/output automata

FM'06 Proceedings of the 14th international conference on Formal Methods
On modal refinement and consistency

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

On composing and proving the correctness of reactive behavior

Proceedings of the Eleventh ACM International Conference on Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new automata-based interface model describing the interaction behavior of software components. Contrary to earlier component- or interface-based approaches, the interface model we propose specifies all the non-blockable interaction behaviors of a component with any environment. To this end, we develop an algorithm to compute the unblockable interaction behavior, called the interface model of a component, from its execution model. Based on this model, we introduce composition operators for the components and prove important compositionality results, showing the conditions under which composition of interface models preserves unblockable sequences of provided services.