• Publications
  • Influence
UML/OCL and Refinement
Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levelsExpand
  • 5
  • 1
Verification and validation of PDDL descriptions using Event-B formal method
The automatic planning community of Artificial Intelligence AI have developed a de facto standard language for PDDL, producing formal modeling of Planning problems. Equally it have conceived andExpand
  • 2
  • 1
Schéma de refactoring de diagrammes de classes basé sur la notion de délégation
L'activite de refactoring consiste a restructurer un modele en vue d'ameliorer certains facteurs de qualite, tout en preservant la coherence de ce modele. Dans cet article, nous proposons un schemaExpand
  • 2
  • 1
  • PDF
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model
The components based approach aims at the re-use by an easy components assembly. Vis-a-vis to the objects based approach, the component based approach moves the complexity of a graph of classesExpand
  • 8
Towards a Practical Approach to Check Service Component Architecture
The components based approach aims at the re-use by an easy components assembly. A coherent components assembly requires the verification of properties related to the consistency of interface,Expand
  • 6
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior
Verifying Web service composition in a dynamic environment remains one of the most difficult tasks despite the efforts and the previous proposed research works because new services can be composedExpand
  • 9
Verifying Composite Service Transactional Behavior with EVENT-B
A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of serviceExpand
  • 10
Towards an approach of formal verification of mediation protocol based on web services
SOA (Service Oriented Architecture) defines a new Web services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration hasExpand
  • 9
Towards an approach of formal verification of mediation protocol based on web services of MDE type
Purpose – The purpose of this paper is to formally verify the composition of web services to reduce inconsistencies in software architectures.Design/methodology/approach – In order to check the webExpand
  • 7