A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Towards Verified Java Code Generation from Concurrent State Machines
2014
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
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.
dblp:conf/models/ZhangBBEHKW14
fatcat:gx2ta4ltpnayxlb3zzueuanuta