Sofiane Boukelkoul

Learn More
Business process “BP” modeling and simulation is performed on different levels. For each level, a set of formalisms or languages are more suitable. BPMN “Business Process Modeling Notation” is a less formal language used at the conceptual phase of BPs modeling. However, models in BPMN cannot be executed directly. They need to be(More)
Modeling and analysis of resource constraints in business process is becoming a challenging research topic. In fact, business process improvement requires rational handling of resource constraints at both design time and runtime. This paper presents a model-based DEVS “Discrete Event System Specification” for modeling, analysis and checking of(More)
Complex systems have many aspects to be modeled. So it is necessary to implement mechanisms to allow coupling and coexisting of heterogeneous formalism models. Transformation of that kind of models to a pivotal model is a technique within this context. This paper proposes a Petri nets translation approach to DEVS <;<; Discrete Event System(More)
Complex systems are made of many elementary components in interaction. To model such systems, it is generally more convenient to decompose them into subsystems that are simpler to handle. This new division is to be made in a methodical way, by identification and complete definition of the various structures, actions and interactions of those subsystems. In(More)
Complex systems are characterized not only by the diversity of their components, but also by the interconnections and interactions between them. For modeling such systems, we often need several formalisms and we must concern ourselves with the coexistence of heterogeneous models. This objective can be achieved by using multi-modeling. The transformation of(More)
  • 1