Towards verified Java code generation from concurrent state machines

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
61 Downloads (Pure)

Samenvatting

We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed out. We discuss solutions based on Java synchronization concepts.
Originele taal-2Engels
TitelWorkshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))
RedacteurenJ. Dingel, J. Lara, de, L. Lúcio, H. Vangheluwe
UitgeverijCEUR-WS.org
Pagina's64-69
StatusGepubliceerd - 2014
Evenementconference; Workshop on Analysis of Model Transformations -
Duur: 1 jan 2014 → …

Publicatie series

NaamCEUR Workshop Proceedings
Volume1277
ISSN van geprinte versie1613-0073

Congres

Congresconference; Workshop on Analysis of Model Transformations
Periode1/01/14 → …
AnderWorkshop on Analysis of Model Transformations

Vingerafdruk

Duik in de onderzoeksthema's van 'Towards verified Java code generation from concurrent state machines'. Samen vormen ze een unieke vingerafdruk.

Citeer dit