A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams

2018 IEEE International Conference on Information Reuse and Integration (IRI) ◽

10.1109/iri.2018.00081 ◽

2018 ◽

Author(s):

Chafika Djaoui ◽

Elhillali Kerkouche ◽

Allaoua Chaoui ◽

Khaled Khalfaoui

Keyword(s):

Graph Transformation ◽

Transformation Approach

Download Full-text

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams

Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering - C3S2E '15 ◽

10.1145/2790798.2790801 ◽

2008 ◽

Cited By ~ 2

Author(s):

Abdelkamel Hettab ◽

Elhillali Kerkouche ◽

Allaoua Chaoui

Keyword(s):

Graph Transformation ◽

Test Cases ◽

Automatic Test ◽

Activity Diagrams ◽

Transformation Approach ◽

Uml Activity Diagrams

Download Full-text

A graph transformation approach of mobile activity diagram to nested Petri nets

International Journal of Computer Aided Engineering and Technology ◽

10.1504/ijcaet.2013.050549 ◽

2013 ◽

Vol 5 (1) ◽

pp. 44 ◽

Cited By ~ 1

Author(s):

Fayçal Guerrouf ◽

Allaoua Chaoui ◽

Ali Aldahoud

Keyword(s):

Petri Nets ◽

Graph Transformation ◽

Activity Diagram ◽

Transformation Approach

Download Full-text

A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach

International Journal of Computer Aided Engineering and Technology ◽

10.1504/ijcaet.2020.105578 ◽

2020 ◽

Vol 12 (2) ◽

pp. 237

Author(s):

Elhillali Kerkouche ◽

Khaled Khalfaoui ◽

Allaoua Chaoui

Keyword(s):

Graph Transformation ◽

Rewriting Logic ◽

Activity Diagrams ◽

Transformation Approach ◽

Uml Activity Diagrams

Download Full-text

Graph Transformation Approach for the Shortest Path Search and Length Calculation

Bulletin of informatics and cybernetics ◽

10.5109/3625 ◽

2003 ◽

Vol 35 (1/2) ◽

pp. 57-67

Author(s):

Masao Mori ◽

Yoshihiro Mizoguchi

Keyword(s):

Shortest Path ◽

Graph Transformation ◽

Transformation Approach ◽

Path Search ◽

Shortest Path Search

Download Full-text

Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture

Applications of Graph Transformations with Industrial Relevance - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89020-1_12 ◽

2008 ◽

pp. 152-167 ◽

Cited By ~ 6

Author(s):

Ole Kniemeyer ◽

Günter Barczik ◽

Reinhard Hemmerling ◽

Winfried Kurth

Keyword(s):

Graph Transformation ◽

Transformation Approach ◽

Parallel Graph

Download Full-text

A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach

International Journal of Computer Aided Engineering and Technology ◽

10.1504/ijcaet.2020.10026291 ◽

2020 ◽

Vol 12 (2) ◽

pp. 237

Author(s):

Elhillali Kerkouche ◽

Khaled Khalfaoui ◽

Allaoua Chaoui

Keyword(s):

Graph Transformation ◽

Rewriting Logic ◽

Activity Diagrams ◽

Transformation Approach ◽

Uml Activity Diagrams

Download Full-text

A graph transformation approach to software architecture reconfiguration

Science of Computer Programming ◽

10.1016/s0167-6423(02)00036-9 ◽

2002 ◽

Vol 44 (2) ◽

pp. 133-155 ◽

Cited By ~ 66

Author(s):

Michel Wermelinger ◽

José Luiz Fiadeiro

Keyword(s):

Software Architecture ◽

Graph Transformation ◽

Transformation Approach

Download Full-text

A bidirectional graph transformation approach to analysis of concurrent software models

2010 IEEE International Conference on Software Engineering and Service Sciences ◽

10.1109/icsess.2010.5552447 ◽

2010 ◽

Cited By ~ 1

Author(s):

Yuting Chen

Keyword(s):

Graph Transformation ◽

Concurrent Software ◽

Software Models ◽

Transformation Approach

Download Full-text

Graphical and Incremental Type Inference: A Graph Transformation Approach

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-22941-1_5 ◽

2011 ◽

pp. 66-83

Author(s):

Silvia Clerici ◽

Cristina Zoltan ◽

Guillermo Prestigiacomo

Keyword(s):

Graph Transformation ◽

Type Inference ◽

Transformation Approach

Download Full-text

A Graph Transformation Approach for Testing Timed Systems

Communications in Computer and Information Science - Information and Software Technologies ◽

10.1007/978-3-642-33308-8_11 ◽

2012 ◽

pp. 123-137 ◽

Cited By ~ 1

Author(s):

Hiba Hachichi ◽

Ilham Kitouni ◽

Kenza Bouaroudj ◽

Djamel-Eddine Saidouni

Keyword(s):

Graph Transformation ◽

Timed Systems ◽

Transformation Approach

Download Full-text