Towards verified Java code generation from concurrent state machines

D. Zhang; D. Bosnacki; M.G.J. Brand, van den; L.J.P. Engelen; C. Huizing; R. Kuiper; A.J. Wijs

Towards verified Java code generation from concurrent state machines

D. Zhang, D. Bosnacki, M.G.J. Brand, van den, L.J.P. Engelen, C. Huizing, R. Kuiper, A.J. Wijs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

101 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 language	English
Title of host publication	Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))
Editors	J. Dingel, J. Lara, de, L. Lúcio, H. Vangheluwe
Publisher	CEUR-WS.org
Pages	64-69
Publication status	Published - 2014
Event	conference; Workshop on Analysis of Model Transformations - Duration: 1 Jan 2014 → …

Publication series

Name	CEUR Workshop Proceedings
Volume	1277
ISSN (Print)	1613-0073

Conference

Conference	conference; Workshop on Analysis of Model Transformations
Period	1/01/14 → …
Other	Workshop on Analysis of Model Transformations

Access to Document

publishers versionFinal published version, 263 KB

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.

@inproceedings{98622e25b6c5460299cdfffcffeeb2d6,

title = "Towards verified Java code generation from concurrent state machines",

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.",

author = "D. Zhang and D. Bosnacki and {Brand, van den}, M.G.J. and L.J.P. Engelen and C. Huizing and R. Kuiper and A.J. Wijs",

year = "2014",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "64--69",

editor = "J. Dingel and {Lara, de}, J. and L. L{\'u}cio and H. Vangheluwe",

booktitle = "Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))",

note = "conference; Workshop on Analysis of Model Transformations ; Conference date: 01-01-2014",

}

Zhang, D, Bosnacki, D , Brand, van den, MGJ, Engelen, LJP, Huizing, C , Kuiper, R & Wijs, AJ 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)). CEUR Workshop Proceedings, vol. 1277, CEUR-WS.org, pp. 64-69, conference; Workshop on Analysis of Model Transformations, 1/01/14.

Towards verified Java code generation from concurrent state machines. / Zhang, D.; Bosnacki, D.; Brand, van den, M.G.J. et al.
Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)). ed. / J. Dingel; J. Lara, de; L. Lúcio; H. Vangheluwe. CEUR-WS.org, 2014. p. 64-69 (CEUR Workshop Proceedings; Vol. 1277).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards verified Java code generation from concurrent state machines

AU - Zhang, D.

AU - Bosnacki, D.

AU - Brand, van den, M.G.J.

AU - Engelen, L.J.P.

AU - Huizing, C.

AU - Kuiper, R.

AU - Wijs, A.J.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

SP - 64

EP - 69

BT - Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))

A2 - Dingel, J.

A2 - Lara, de, J.

A2 - Lúcio, L.

A2 - Vangheluwe, H.

PB - CEUR-WS.org

T2 - conference; Workshop on Analysis of Model Transformations

Y2 - 1 January 2014

ER -

Zhang D, Bosnacki D , Brand, van den MGJ, Engelen LJP, Huizing C , Kuiper R et al. Towards verified Java code generation from concurrent state machines. In Dingel J, Lara, de J, Lúcio L, Vangheluwe H, editors, Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)). CEUR-WS.org. 2014. p. 64-69. (CEUR Workshop Proceedings).

Towards verified Java code generation from concurrent state machines

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this