Development of Word Game Algorithm for Learning Javanese Script

The students consider learning Javanese script to be difficult particularly in distinguishing and memorizing Carakan, and memorizing Sandangan andPasangan with its writing rules. This work intends to develop a supporting medium for learning Javanese script. The development process is started by defining the game functionalities by using the use case diagrams, and then, the activity diagram is created to describe the workflow of the game algorithm. The database to support the game is also created and displayed by using the physical data model. Afterward, the game algorithm script is created using JavaScript so that the game can be played through a web browser. There are 27 respondents requested to fill questionnaires about the web application and to test the game. The results suggest that 100% ofrespondents agree that the web application is necessary and useful to learn Javanese script. The application provides positive benefit to the users such as students who still need to learn Javanese script in schools with 97% average success rate to run the gam

Development of Word Game Algorithm for Learning Javanese Script

The students consider learning Javanese script to be difficult particularly in distinguishing and memorizing Carakan, and memorizing Sandangan and Pasangan with its writing rules. This work intends to develop a supporting medium for learning Javanese script. The development process is started by defining the game functionalities by using the use-case diagrams, and then, the activity diagram is created to describe the workflow of the game algorithm. The database to support the game is also created and displayed by using the physical data model. Afterward, the game algorithm script is created using JavaScript so that the game can be played through a web browser. There are 27 respondents requested to test the game and to fill in questionnaires about the web application. The results suggest that 100% of respondents agree that the web application is necessary and useful to learn Javanese script. The application provides positive benefit to the users such as students who still need to learn Javanese script in schools with 97% average success rate to run the gam

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, capturing such systems, writing corresponding properties, and verifying them require domain knowledge. This makes it not accessible for researchers and engineers who may not have the required knowledge. Previous studies have extended UML activity diagrams (ADs), developed transformations, and implemented accompanying tools for automation. The research, however, is incomprehensive and not fully open, which makes it hard to be evaluated, extended, adapted, and accessed. In this paper, we propose a comprehensive verification framework for ADs, including a new profile for probability, time, and quality annotations, a semantics interpretation of ADs in three Markov models, and a set of transformation rules from activity diagrams to the PRISM language, supported by PRISM and Storm. Most importantly, we developed algorithms for transformation and implemented them in a tool, called QASCAD, using model-based techniques, for fully automated verification. We evaluated one case study where multiple robots are used for delivery in a hospital and further evaluated six other examples from the literature. With all these together, this work makes noteworthy contributions to the verification of ADs by improving evaluation, extensibility, adaptability, and accessibility.Comment: 43 pages, 29 figures, 5 tables, submitted to Journal of Systems and Software (JSS