Compatibility test for coordination aspects of software components

Zaha, Johannes Maria & Albani, Antonia (2006) Compatibility test for coordination aspects of software components. In 2006 Australian Software Engineering Conference, 18-21 April 2006, Sydney, Australia.

View at publisher


Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as the business-related aspects of the services provided and required by the corresponding software components and second, automated compatibility tests in order to identify components fulfilling demands specified by component requestors. Adequate techniques for the specification of component services are consolidated in a multilayered specification framework, where formal notations are preferred in order to enable the execution of automated compatibility tests. These tests are a prerequisite for the existence of component markets where third party software components are traded and components that fulfil the specified demands are identified. This paper presents an algorithm for the layer of the specification framework where coordination aspects of a software component are described. On this layer an extension of the object constraint language (OCL) by temporal operators is used to specify the succession relationships between the services of related software components. Thereby the connections to other layers are tagged and existing tests are integrated.

Impact and interest:

2 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

315 since deposited on 04 Sep 2007
101 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 9336
Item Type: Conference Paper
Refereed: No
Keywords: formal specification object, oriented languages object, oriented programming program testing
DOI: 10.1109/ASWEC.2006.22
ISBN: 0769525512
ISSN: 1530-0803
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2006 IEEE
Copyright Statement: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Deposited On: 04 Sep 2007 00:00
Last Modified: 09 Jun 2010 12:45

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page