Deriving functional interface specifications for composite components

Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationSoftware Composition - 10th International Conference, SC 2011, Proceedings
Pages1-17
Number of pages17
DOIs
StatePublished - 2011
Externally publishedYes
Event10th International Conference on Software Composition, SC 2011 - Zurich, Switzerland
Duration: 30 Jun 20111 Jul 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6708 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Software Composition, SC 2011
Country/TerritorySwitzerland
CityZurich
Period30/06/111/07/11

Fingerprint

Dive into the research topics of 'Deriving functional interface specifications for composite components'. Together they form a unique fingerprint.

Cite this