Loading...
Please wait, while we are loading the content...
Similar Documents
Petri nets in modeling component behavior and verifying component compatibility.
| Content Provider | CiteSeerX |
|---|---|
| Author | Craig, D. C. Zuberek, W. M. |
| Abstract | Abstract. In component-based systems, two components are compatible if all possible sequences of services requested by one component can be provided by the other component. Verification of component compatibility is essential in large software systems as otherwise subtle software failures can exist which are difficult to detect through software testing. For verification of compatibility, the behavior of interacting components, at their interfaces, is modeled by labeled Petri nets with labels representing the requested and provided services, and such component models are then composed. The composition operation is designed in such a way that component incompatibilities are manifested as deadlocks in the composed model. Compatibility verification is thus performed through deadlock detection in the composed models. Efficient structural techniques are proposed for deadlock analysis. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Petri Net Verifying Component Compatibility Modeling Component Behavior Composed Model Labeled Petri Net Large Software System Possible Sequence Component Compatibility Subtle Software Failure Composition Operation Compatibility Verification Component-based System Component Model Efficient Structural Technique Component Incompatibility Deadlock Analysis Deadlock Detection |
| Content Type | Text |
| Resource Type | Article |
