A Scheme of Construct Association from PROMELA to Java
| Main Authors: | Suprapto, Suprapto, Wardoyo, Retantyo, Pulungan, Reza, Wijaya, Belawati |
|---|---|
| Format: | Proceeding PeerReviewed application/pdf |
| Bahasa: | eng |
| Terbitan: |
, 2013
|
| Subjects: | |
| Online Access: |
https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf https://repository.ugm.ac.id/35110/ |
Daftar Isi:
- PROMELA is one of the most widely used modeling languages to model concurrent and reactive systems. Although model checking can be veru useful, once PROMELA model has been generated it is still necessary to write the application manually by hand. In accordance with the features of language, Java is one of a few reasonable candidates that could be used as a target language in the code generator tool (application). The contribution of this research is provide a database of construct association from PROMELA to Java based on the programmer's point of view by quick observation toward both semantics.