A Scheme of Construct Association from PROMELA to Java
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...
محفوظ في:
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | Conference or Workshop Item PeerReviewed |
| اللغة: | English |
| منشور في: |
2013
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf https://repository.ugm.ac.id/35110/ |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | 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. |
|---|