A Scheme of Construct Association from PROMELA to Java

• المؤلفون الرئيسيون: Suprapto, Suprapto, Wardoyo, Retantyo, Pulungan, Reza, Wijaya, Belawati
• التنسيق: Conference or Workshop Item PeerReviewed
• اللغة: English
• منشور في: 2013
• الموضوعات: Makalah prosiding
• الوصول للمادة أونلاين: https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf; https://repository.ugm.ac.id/35110/
• المؤسسة: Universitas Gadjah Mada

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