Researcher profile

Boutheina Bannour

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Model-Driven Consistency Verification for Service-Oriented Applications

2015

Model Driven Engineering (MDE) is a promising approach that eases the design, development and verification of Service-Oriented Applications. However, despite the importance of providing verification mechanisms, current MDE tool implementations lack methodologies of consistency verification …
Specializing Anti-unification for Interaction Models Composition via Gate Connections

2026 · Lecture notes in computer science

Abstract Interaction models describe distributed systems as algebraic terms, with gates marking interaction points between local views. Composing local models into a coherent global one requires aligning these gates while respecting the algebraic laws of …