loading...
Consistency and Interoperability Checking for Component Interaction Rules
Taipei, Taiwan December 15-December 17
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.5512th Asia-Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Yan Jin, Swinburne University of Technology, Hawthorn, Australia
Jun Han, Swinburne University of Technology, Hawthorn, Australia
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.
Citation:
Yan Jin, Jun Han, "Consistency and Interoperability Checking for Component Interaction Rules," apsec, pp.595-602, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.