Raida ElMansouri - Academia.edu (original) (raw)

Papers by Raida ElMansouri

SemanticQA: Exploiting Semantic Associations for Cross-Document Question Answering ……………………………. 1... more SemanticQA: Exploiting Semantic Associations for Cross-Document Question Answering ……………………………. 1 Samir Tartir, Ismailcem Budak Arpinar and Bobby Mcknight OntBot : Ontology based ChatBot ………...……………………………………………………………………… ..……. 7 Hadeel Al-Zubaide and Ayman Issa XMap++ : A novel semantic approach for alignment of OWL-Full ontologies based on semantic relationship using WordNet ………………………… …………………..……………………………………………………...…………… 13 Tarek ...

International Journal of Innovative Computing Information Control Ijicic, Nov 1, 2013

UML provides standard abstractions to simplify the documentation, understanding, and maintenance ... more UML provides standard abstractions to simplify the documentation, understanding, and maintenance of object oriented complex software systems. UML sequence diagrams are used to describe the behaviors of systems. However, UML is a semi-formal language that lacks tools for analysis and validation of user requirements. In other hand, Petri Nets models are tools for the validation and performance analysis of distributed systems. In this paper we present an approach for transforming UML sequence diagrams to labeled generalized stochastic Petri nets. By this transformation we aim to bridge the gap between the semiformal notation (UML) and the formal notations (Petri nets) for analysis and validation purposes. UML is used for modeling and Petri nets are used for analysis. The approach is based on the combined use of Meta-Modeling and graph grammars. Since the input and the output models are graphs, we use Java based graph transformation to perform this process automatically. The approach is illustrated through an example from e-entrepreneurship domain.

The Unified Modeling Language (UML) has become a widely accepted standard in the object oriented ... more The Unified Modeling Language (UML) has become a widely accepted standard in the object oriented software development industry. However, the UML is a semi-formal language which lacks precisely defined constructs. On the other hand, CSP language is a formal specification language. So, UML and CSP have complementary features: UML can be used for modeling while CSP can be used for analysis. In this paper we propose an approach and a tool to transform UML activity diagrams to CSP. Our approach is based on graph transformation and uses ATOM 3 tool. The purpose of this transformation is to provide some verification of properties ranging from simple deadlock verification to more specific properties.

It is now recognized that UML is considered nowadays as the standardized language for object orie... more It is now recognized that UML is considered nowadays as the standardized language for object oriented modeling and analysis. However, UML cannot be used for automatic analysis and simulation. So, UML needs a well-defined semantic base for its notation. Petri nets are a formal and graphical language appropriate for systems modelling and analysis. ECATNets are a category of Petri nets based on a safe combination of algebraic abstract types and high level Petri Nets. ECATNets' semantic is defined in terms of rewriting logic allowing us to built models by formal reasoning. Furthermore, the rewriting logic language Maude gives to ECATNets dynamic aspects which are not measurable without simulation. In this paper we propose an approach to generate ECATNets models from UML sequence diagrams. Then the resulting models are mapped to Maude language for analysis purposes. The approach is illustrated by two examples.

2009 Fourth South-East European Workshop on Formal Methods, 2009

Page 1. From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Tr... more Page 1. From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation based Approach for modelling and analysis of business processes in virtual enterprises Raida ElMansouri1 ...

Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large n... more Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited components to relatively simple functionalities. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services must be made able to be composed to offer added value services. In this paper, a web services composition approach, modelled by Objects-Oriented Petri nets, is presented. In his context, an expressive algebra, which successfully solves the web services complex composition problem, is proposed. A java tool that allows automating this approach; based on a definite algebra and a G-nets meta-model, proposed by us, is developed.

Communications in Computer and Information Science, 2011

E-Government Strategies and Advancements, 2011

2013 The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE), 2013

ABSTRACT

International Symposium on Innovations in Information and Communications Technology, 2011

... ca/ 3. M. Bouarioua, A. Chaoui, and R. Elmansouri, From UML Sequence diagrams to Labeled Gene... more ... ca/ 3. M. Bouarioua, A. Chaoui, and R. Elmansouri, From UML Sequence diagrams to Labeled Generalized Stochastic Petri Nets, to appear the proceedings of ICeND2011, CCIS 171, Springer Verlag. 4. Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui: Transforming UML ...

International Journal of Information Technology and Computer Science, 2013

In this work we present an approach and a tool for transforming business patterns to labelled Pet... more In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformat ion is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelled Petri nets Meta-Models in UM L Class Diagram fo rmalis m with the Meta-Modelling tool Atom3, and then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar wh ich transforms Business Patterns models to Labelled Petri Nets model for analysis purposes. The approach is illustrated with examples.

2012 22nd International Conference on Computer Theory and Applications (ICCTA), 2012

In this paper we propose a graph transformation based approach and a tool for transforming busine... more In this paper we propose a graph transformation based approach and a tool for transforming business patterns to Colored Petri nets for which efficient analysis techniques exist. First, we specify business patterns and Colored Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Colored Petri Nets model for analysis purposes. The approach is illustrated with examples.

Communications in Computer and Information Science, 2012

Lecture Notes on Software Engineering, 2013

UML is a standard modeling language with an open notation and several concepts to be widely used ... more UML is a standard modeling language with an open notation and several concepts to be widely used in software modeling. However UML suffers from a lack of formal semantics. So, their models still need to be formally checked against incoherencies or inconsistencies. To reach this goal we propose in this paper, a framework and a tool based on graph transformation allowing an automatic translation of some UML diagrams to equivalent Maude formal specifications. To realize this automatic mapping we use UML Class diagram formalism to define three meta-models. The first one for Class Diagram, the second for State Machine Diagram and the third for the Communication Diagram. Then, we propose a graph grammar to generate Maude specifications of the UML diagrams based on theses meta-models. The meta-modeling tool AToM 3 is used to produce our visual modeling tool according to the proposed UML meta-models. An example is presented to illustrate our approach.

International Journal of Computer Aided Engineering and Technology, 2014

ABSTRACT Aspect-oriented modelling (AOM) is a paradigm aiming to deal with the limits of object-o... more ABSTRACT Aspect-oriented modelling (AOM) is a paradigm aiming to deal with the limits of object-oriented modelling and for solving the problem of interaction or separation (crosscutting) between base (functional) and aspectual (not functional) model. In this paper, we propose an approach that transforms some UML 2.0 diagrams to aspect-oriented diagrams using graph transformation. To realise this work, we have proposed a meta-model for each UML diagram and Aspect models (diagram of aspect class, activity, and communication) and a graph grammar that performs the transformation process. We have used the meta-modelling tool ATOM3 and python language to implement our transformations. A detailed example is presented to illustrate our approach.