Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes

Understanding concurrent and parallel programming can be a very hard task on first contact by students. This paper describes the development and experimental results of the FSP2JAVA tool. The proposed method starts from concurrent systems modeling through Finite State Processes (FSP). After that, th...

Descripción completa

Detalles Bibliográficos
Autores principales: Monteiro, Edwin, Pereira, Kelvinn, Barreto, Raimundo
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7304761/
http://dx.doi.org/10.1007/978-3-030-50436-6_44
_version_ 1783548321732755456
author Monteiro, Edwin
Pereira, Kelvinn
Barreto, Raimundo
author_facet Monteiro, Edwin
Pereira, Kelvinn
Barreto, Raimundo
author_sort Monteiro, Edwin
collection PubMed
description Understanding concurrent and parallel programming can be a very hard task on first contact by students. This paper describes the development and experimental results of the FSP2JAVA tool. The proposed method starts from concurrent systems modeling through Finite State Processes (FSP). After that, the method includes an automatic code generation from the model. This goal is achieved by a domain-specific language compiler which translates from the FSP model to Java code. The FSP2JAVA tool is available for free download in the github site. We argue that this tool helps in teaching concurrent systems, since it abstracts all complex languages concern and encourages the student to be focused at the fundamental concepts of modeling and analysis.
format Online
Article
Text
id pubmed-7304761
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73047612020-06-22 Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes Monteiro, Edwin Pereira, Kelvinn Barreto, Raimundo Computational Science – ICCS 2020 Article Understanding concurrent and parallel programming can be a very hard task on first contact by students. This paper describes the development and experimental results of the FSP2JAVA tool. The proposed method starts from concurrent systems modeling through Finite State Processes (FSP). After that, the method includes an automatic code generation from the model. This goal is achieved by a domain-specific language compiler which translates from the FSP model to Java code. The FSP2JAVA tool is available for free download in the github site. We argue that this tool helps in teaching concurrent systems, since it abstracts all complex languages concern and encourages the student to be focused at the fundamental concepts of modeling and analysis. 2020-05-25 /pmc/articles/PMC7304761/ http://dx.doi.org/10.1007/978-3-030-50436-6_44 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Monteiro, Edwin
Pereira, Kelvinn
Barreto, Raimundo
Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title_full Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title_fullStr Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title_full_unstemmed Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title_short Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes
title_sort modeling and automatic code generation tool for teaching concurrent and parallel programming by finite state processes
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7304761/
http://dx.doi.org/10.1007/978-3-030-50436-6_44
work_keys_str_mv AT monteiroedwin modelingandautomaticcodegenerationtoolforteachingconcurrentandparallelprogrammingbyfinitestateprocesses
AT pereirakelvinn modelingandautomaticcodegenerationtoolforteachingconcurrentandparallelprogrammingbyfinitestateprocesses
AT barretoraimundo modelingandautomaticcodegenerationtoolforteachingconcurrentandparallelprogrammingbyfinitestateprocesses

Ejemplares similares