Paper Info
Title
Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.
Abstract
The PDDL language is used to formally describe planning problems. It has tools called planners to solve planning problems described in PDDL. Equally, it has plan validation tools to validate the solution plans. Our automatic approach to transform a planning problem written in PDDL to Event-B method allows the use of the correct-by-construction paradigm associated to Event-B formal method. We propose a modeling PDDL for Software Architecture Evolution. Then, we translate our PDDL description in Event-B using our plugin PDDL2EventB. Finally, we reason on the Event-B model generated by the use of ProB including: animation, model checking and deadlock-free.
Year
DOI
Venue
2016
10.1007/978-3-319-53480-0_81
INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS (ISDA 2016)
Keywords
Field
DocType
PDDL,Event-B,ProB,Static/Dynamic analysis,Software architecture evolution
Model checking,Programming language,Coupling,Computer science,Animation,Artificial intelligence,Plug-in,Formal methods,Software architecture,Machine learning,Planning Domain Definition Language
Conference
Volume
ISSN
Citations 
557
2194-5357
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Farah Fourati100.68
Mohamed Tahar Bhiri25216.56
Riadh Robbana300.34