Loading...
Please wait, while we are loading the content...
Similar Documents
A Component-based Framework for the Speci cation , Veri cationand Validation of Open Distributed SystemsA
| Content Provider | Semantic Scholar |
|---|---|
| Author | Universit, P. Estraillier Estraillier, Pascal. |
| Copyright Year | 1997 |
| Abstract | Open distributed systems have inherent complexity related to their control that makes it necessary to have a component-based approach to each of the activities undertaken along their life-cycle. Such an approach allows to apply the divide and conquer principles. In this paper, we propose a framework to undertake the speciication, the veriication and the validation (V&V) of distributed systems based on those composition principles. The approach herein uses a speciication model which allows to describe the components of a distributed system. This model focuses also on the description of the interactions between the components in order to compose them into (subsystems s. The properties expected are described and veriied in a compositional way from the components to the (subsystems s. The speciication model is automatically transformed into a V&V model which is a modular Petri net standing with an object-based semantics. The veriication of the properties is performed by model-checking on the reachability graphs computed from these nets. Other Petri nets structural analysis tools can also be applied to these nets as far as they support modular approaches. The compositionality allows to infer global properties from modular ones. Based on the direct executability of nets, the speciication models are made executable so that they can be validated by simulation. The formal speciication of a system can be validated against its informal initial requirements while involving its end-users and owners. Speciic scenarios can be animated on the V&V model. This allows to achieve traceability of the conndence levels between the diierent stages of the life-cycle. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
