E
Elhillali Kerkouche
Researcher at University of Jijel
Publications - 38
Citations - 245
Elhillali Kerkouche is an academic researcher from University of Jijel. The author has contributed to research in topics: Unified Modeling Language & Graph rewriting. The author has an hindex of 9, co-authored 31 publications receiving 204 citations.
Papers
More filters
Journal ArticleDOI
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
TL;DR: This approach is based on graph transformations where the input and output of the transformation process are graphs and aims to bridge the gap between informal notation (UML diagrams) and more formal notation (Colored Petri net models) for analysis purposes.
Book ChapterDOI
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation
TL;DR: Two automatic steps are proposed to perform the transformation of G-Nets models to their equivalent in PROD Language, which is a key step in a large project aiming at using graph transformation to formalize UML diagrams using G-nets models.
Journal ArticleDOI
Verification of Model Transformations Using Isabelle/HOL and Scala
TL;DR: This paper extends previous work using Isabelle/HOL that transforms UML State Machine Diagrams (SMD) to Colored Petri nets (CPN) models and proves that certain structural properties of this transformation are correct and performs the verified transformation using Scala.
Journal ArticleDOI
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation
TL;DR: This paper proposes a framework to transform automatically UML activity diagram 2.0 to Petri Nets for the analysis purpose using INA analyzer tool and proposes a meta-model for UML-AD and another one for PN.
Journal ArticleDOI
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
TL;DR: An approach for transforming BPMN models to Colored Petri nets models using GROOVE and EMF/Xpand tools and an approach for checking the correctness of the transformation itself is proposed.