Communicating sequential processes
Communicating sequential processes
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Jiazzi: new-age components for old-fasioned Java
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Verified systems by composition from verified components
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
SuperGlue: component programming with object-oriented signals
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Integrating Refinement into Software Development Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement and verification in component-based model-driven design
Science of Computer Programming
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
Harnessing rCOS for tool support: the CoCoME experience
Formal methods and hybrid real-time systems
Robustness testing for software components
Science of Computer Programming
Design and Verification of a Trustable Medical System
Electronic Notes in Theoretical Computer Science (ENTCS)
Component publications and compositions
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Electronic Notes in Theoretical Computer Science (ENTCS)
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Modeling and specification of real-time interfaces with UTP
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, and new functionality. Models of components are required to support black-box compositionality and substitutability by a third party as well as interoperability. However, the glue codes and programs designed by users of the components for new applications in general do not require these features, and they can be even designed in programming paradigms different from those of the components. In this paper, we extend the rCOS calculus of components with a model for glue programs and application programs that is different from that of components. We study the composition of a glue program with components and prove that the components glued by the glue program yield a new component.