A Logical Interface Description Language for Components

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.

[1]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[2]  Frank S. de Boer.  Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures , 1998, CONCUR.

[3]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[4]  Farhad Arbab,et al.  A coordination language for mobile components , 2000, SAC '00.

[5]  Frank S. de Boer,et al.  A Compositional Model for Confluent Dynamic Data-Flow Networks , 2000, MFCS.

[6]  Manfred Broy,et al.  Equations for Describing Dynamic Nets of Communicating Systems , 1994, COMPASS/ADT.

[7]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[8]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[9]  Farhad Arbab,et al.  A transition system semantics for the control-driven coordination language MANIFOLD , 2000, Theor. Comput. Sci..

[10]  Jifeng He,et al.  A Theory of Synchrony and Asynchrony , 1990, Programming Concepts and Methods.

[11]  C. A. R. Hoare,et al.  Specification-Oriented Semantics for Communicating Processes , 1983, ICALP.

[12]  Radu Grosu,et al.  A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing , 1996, AMAST.

[13]  Andreas Rausch,et al.  An Integrated View On Componentware – Concepts, Description Techniques, and Development Process , 1999 .

[14]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[15]  Manfred Broy,et al.  A Formal Model for Componentware , 1999, FBT.

[16]  Farhad Arbab,et al.  An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..