Loading...
Please wait, while we are loading the content...
Similar Documents
Research on protocol-level behavioral substitutability of software components in component-based software system.
| Content Provider | CiteSeerX |
|---|---|
| Author | Hu, Haiyang Hu, Hua |
| Abstract | Abstract: The component-based software development (CBSD) has been paid more attention by software practicers in recent years. How to analyze and verify behavior-level component substitutability is very important when the component-based software system needs upgrading or maintaining. Concentrating on the component-based software system, this paper formally specifies the components and their interaction behaviors, analyzes the behavior of the new component compared with the old one, and then presents a set of rules for verifying behavioral substitutability of components in software system to ensure the behavioral compatibility whenever a component is replaced by a new one. Finally, an example of e-commerce is presented to illustrate the feasibility and pertinence of this approach. Key-Words: software component component composition behavioral compatibility behavioral substitutability |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Component-based Software System Protocol-level Behavioral Substitutability Software Component Behavioral Compatibility Component-based Software Development Behavior-level Component Substitutability Recent Year Software Practicers New Component Behavioral Substitutability Interaction Behavior Software System |
| Content Type | Text |
| Resource Type | Article |