Sciweavers

Share
ICCBSS
2005
Springer

Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability

11 years 3 months ago
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditionally, COTS component vendors provide some of this information in accompanying documentation. However, the documentation is often informal and likely contains ambiguous and inconsistent statements. Even equipped with interface descriptions clearly defining the basic aspects of component use, such as operation signatures and operating platforms, this documentation does not provide a mathematically sound means for addressing the behavioural interoperability issues in component-based system design. In this paper, we propose a formal but user-friendly component specification approach which augments commercial IDLs with the capability of capturing component interoperability requirements. This approach uses unambiguous temporal operators to define sequencing and concurrency constraints between component operati...
Yan Jin, Jun Han
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICCBSS
Authors Yan Jin, Jun Han
Comments (0)
books