( en | de | ru )

 

Disambiguation of "Chaoui, Allaoua"

Author of the publication

copydeleteadd this publication to your clipboard
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.

, , , and . J. Object Technol., 9 (4): 25-43 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hanane Allaoua

Rabih Chaoui

Zouheir Chaoui

Rabih Chaoui

Fouzia Chaoui

 

Other publications of authors with the same name

From UML Statecharts to LOTOS Expressions Using Graph Transformation., , and . ICIST, volume 538 of Communications in Computer and Information Science, page 548-559. Springer, (2015)A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams., , and . C3S2E, page 88-97. ACM, (2015)A New Approach for Generating LOTOS Specifications from UML Dynamic Models., , and . C3S2E, page 138-143. ACM, (2015)On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models., , , and . J. Softw., 5 (11): 1279-1291 (2010)A Checking Service Composition Approach based on Model Transformation., and . Int. J. Embed. Real Time Commun. Syst., 7 (1): 30-47 (2016)A high-level Petri net based model for web services composition and verification., , and . Int. J. Comput. Appl. Technol., 51 (4): 306-323 (2015)Adaptive service composition in an ambient environment with a multi-agent system., , and . J. Ambient Intell. Humaniz. Comput., 9 (2): 367-380 (2018)SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach., , , and . Comput. Stand. Interfaces, (2021)An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations., , and . FNC/MobiSPC, volume 56 of Procedia Computer Science, page 604-611. Elsevier, (2015)PNTools: a Multi-Language Environment to Integrate Petri Nets Tools., and . CIIA, volume 547 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)