Specification-oriented semantics for communicating processes
Acta Informatica
An overview of Manifold and its implementation
Concurrency: Practice and Experience
A calculus of mobile processes, I
Information and Computation
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A formal model for componentware
Foundations of component-based systems
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Equations for Describing Dynamic Nets of Communicating Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
| Hi-index | 0.00 |
Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the semantics of its constituent components, and the conditions under which this derivation system is sound and complete. Our main results in this paper are the theorems that formulate the notion of compositionality and the completeness of the derivation system that supports this property in a component-based system.