Towards verified Java code generation from concurrent state machines

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
61 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationWorkshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))
EditorsJ. Dingel, J. Lara, de, L. Lúcio, H. Vangheluwe
PublisherCEUR-WS.org
Pages64-69
Publication statusPublished - 2014
Eventconference; Workshop on Analysis of Model Transformations -
Duration: 1 Jan 2014 → …

Publication series

NameCEUR Workshop Proceedings
Volume1277
ISSN (Print)1613-0073

Conference

Conferenceconference; Workshop on Analysis of Model Transformations
Period1/01/14 → …
OtherWorkshop on Analysis of Model Transformations

Fingerprint

Dive into the research topics of 'Towards verified Java code generation from concurrent state machines'. Together they form a unique fingerprint.

Cite this