DocumentCode :
3419812
Title :
Consistency and interoperability checking for component interaction rules
Author :
Jin, Yan ; Han, Jun
Author_Institution :
Fac. of ICT, Swinburne Univ. of Technol., Hawthorn, Vic., Australia
fYear :
2005
fDate :
15-17 Dec. 2005
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.
Keywords :
finite automata; formal languages; formal specification; formal verification; object-oriented programming; software quality; FSA-based semantic model; component interaction rules; component-based software development; component-based system architecture; consistency checking; interoperability checking; rule specification; semantic description; Australia; Computer architecture; Costs; Documentation; Formal languages; Formal specifications; Programming; Protocols; Software engineering; Software quality;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-2465-6
Type :
conf
DOI :
10.1109/APSEC.2005.55
Filename :
1607199
Link To Document :
بازگشت