Abstract | ||
---|---|---|
This paper presents a formal behavioural specification framework for specifying and verifying the correct behaviour of distributed
Fractal components. The first contribution is a parameterised and hierarchical behavioural model called pNets that serves as a low-level semantic framework for expressing the behaviour of various classes of distributed languages and
as a common internal format for our tools. Then, we use this model to define the generation of behavioural models for applications
ranging from sequential Fractal components, to distributed objects, and finally to distributed components. Our models are
able to characterise both functional and non-functional behaviours and the interaction between the two concerns. Finally,
this work has resulted in the development of tools allowing the non-expert programmer to specify the behaviour of his components
and (semi)automatically verify properties of his application. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s12243-008-0069-7 | Annales des Télécommunications |
Keywords | Field | DocType |
hierarchical components · distributed asynchronous components · formal verification · behavioural specification · model-checking,fractal,verification,formal verification,distributed objects,model checking | Hierarchical control system,Distributed object,Model checking,Programmer,Computer science,Fractal,Formal specification,Theoretical computer science,Semantics,Formal verification | Journal |
Volume | Issue | ISSN |
64 | 1-2 | 1958-9395 |
Citations | PageRank | References |
33 | 1.25 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomás Barros | 1 | 115 | 6.77 |
Rabéa Boulifa | 2 | 60 | 5.05 |
Antonio Cansado | 3 | 103 | 6.61 |
Ludovic Henrio | 4 | 304 | 34.43 |
Eric Madelaine | 5 | 261 | 25.38 |