Interface Specification Methods for Software Components

Reference:

Jani Lampinen, Sami Liedes, Kari Kähkönen, Janne Kauttio, and Keijo Heljanko. Interface specification methods for software components. Technical Report TKK-ICS-R25, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, December 2009.

Abstract:

This work presents an interface specification language developed as a part of the LIME-project (LightweIght formal methods for distributed component-based Embedded systems). The intention is to provide a mechanism for specifying both external usage of a software component, as well as the internal behavior of a one. The described methodology is considered lightweight because there is no assumption of a complete model of a software component or its interface. The presented approach is an incremental description of properties that are at least expected to hold. The described approach can also be applied to a component which is already (completely or partially) implemented.

Keywords:

Interface specification, lightweight methods

Suggested BibTeX entry:

@techreport{TKK-ICS-R25,
    address = {Espoo, Finland},
    author = {Jani Lampinen and Sami Liedes and Kari K{\"a}hk{\"o}nen and Janne Kauttio and Keijo Heljanko},
    institution = {Helsinki University of Technology, Department of Information and Computer Science},
    month = {December},
    number = {TKK-ICS-R25},
    pages = {52},
    title = {Interface Specification Methods for Software Components},
    type = {Technical Report},
    year = {2009},
}