Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Software Component Specification: A Study in Perspective of Component Selection and Reuse
ICCBSS '06 Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integration of Extra-Functional Properties in Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Towards composing software components in both design and deployment phases
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
A Classification Framework for Software Component Models
IEEE Transactions on Software Engineering
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |
An interface specification serves as the sole medium for component understanding and use. Current practice of deriving these specifications for composite components does not give much weight to doing it systematically and unambiguously. This paper presents our progress on developing an approach to tackle this issue. We focus on deriving functional interface specifications for composite components, constructed via composition operators. In our approach, the composites' interfaces are not generated in an ad hoc manner via delegation mechanisms, but are derived systematically, consistently and largely automatically via a set of functions on the functional interfaces of the composed components. Via an example, we illustrate the aforementioned benefits as well as the fact that our approach provides a new view into the space of interface generation.