Study on Behavior Consistency of System on Component Evolution

LUO Yi,LI Xing-Yu,G Lian-Wei,HU Hao
DOI: https://doi.org/10.3969/j.issn.1002-137X.2008.01.075
2008-01-01
Computer Science
Abstract:Component based software development(CBSD)facilitate the construction of software and support dynamic evolution.In CBSD,software is built by assembling components which are already developed and prepared for integration,so the software system behavior is changed with component evolution.Our work is to verify system behavior and ensure behavior consistency of system.At first,component behavior and interaction between components are formalized by Petri-net,and then,system behavior is verified by consistency rule based on behavior inheritance theory.In this way,system behavior is consistent when component is evolving.
What problem does this paper attempt to address?