Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/2455

Download PDF (Published version) (Adobe Acrobat PDF, -1 bytes)

Title

Consistency and interoperability checking for component interaction rules

Author(s)

Han, J.;  Jin, Y.

Abstract

In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viable system. A body of recent work has explored the use of formal languages in specifying component interaction protocols for interoperability checking, but lacks the practicality required by software practitioners for daily use. Faced with this, we have developed a lightweight specification approach to component interaction rules, which has the necessary expressiveness and employs event patterns in rule specification for easy adoption by practitioners. In this paper, we present a FSA-based semantic model for such rules and novel studies of rule consistency and system-wide protocol interoperability for components annotated with interaction rules. We also develop incremental approaches and tools to check these properties, which provide an effective means to discover errors in the design of component interaction rules and component-based system architectures.

Publication type

Conference paper

Research centre

Swinburne University of Technology. Faculty of Information and Communication Technologies

Source

Proceedings of the 12th Asia-Pacific Software Engineering Conference, 15-17 December 2005, Taipei, Taiwan, pp. 595-602

Publication year

2005

Publisher

IEEE Computer Society

ISBN

0 7695 2465 6

Publisher URL

http://dx.doi.org/10.1109/APSEC.2005.55

Copyright

Copyright © 2005 IEEE. Published version of the paper reproduced here in accordance with the copyright policy of the publisher. 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.

Full text

Peer reviewed