Towards verified Java code generation from concurrent state machines

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

5 Citations (Scopus)
52 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

    Zhang, D., Bosnacki, D., Brand, van den, M. G. J., Engelen, L. J. P., Huizing, C., Kuiper, R., & Wijs, A. J. (2014). Towards verified Java code generation from concurrent state machines. In J. Dingel, J. Lara, de, L. Lúcio, & H. Vangheluwe (Eds.), Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)) (pp. 64-69). (CEUR Workshop Proceedings; Vol. 1277). CEUR-WS.org.