MODEL-DRIVEN DEVELOPMENT : FASE AWAL VERIFIKASI MODEL DESIGN REKAM MEDIS ELEKTRONIS MENGGUNAKAN PERUMUSAN GRAF LENGKAP

  • Acep Taryana Fakultas Teknik, Universitas Jenderal Soedirman
  • Bangun Wijayanto Fakultas Teknik, Universitas Jenderal Soedirman
  • Naoyasu Ubayashi Faculty of Information Science and Electrical Engineering, Kyushu University
  • Joko Setyono Fakultas Kedokteran, Universitas Jenderal Soedirman

Abstract

In this paper will be shown a graph formulation as a formal approaches in research Model-Driven Development (MDD) with a case study : the development of Electronic Medical Record (RME) on the scope of the public  health center. The model was designed using UML notation and be selected a State Machine diagram that represents prerequisite user needs (requirements). Before the model is derived (driven) into the skeleton code, the accuracy of the state machine must be verified. In order for  the State Machine can be verified by  formal approach, the State Machine should be first transformed into a propositional formula using the complete graph approach, and partial models. The initial phase of verification will check the suitability of the model  with the requirements in Propositional Normal Form (PNF) using SAT Solver, respectively as   and  . SAT solver will provide a design decision, whether a requirement represented in the model or not. If these requirements are not hold in the model,  the requirement is not certainty (uncertain) and model must be redesigned.

Published
2014-12-26
How to Cite
TARYANA, Acep et al. MODEL-DRIVEN DEVELOPMENT : FASE AWAL VERIFIKASI MODEL DESIGN REKAM MEDIS ELEKTRONIS MENGGUNAKAN PERUMUSAN GRAF LENGKAP. Jurnal Ilmiah Matematika dan Pendidikan Matematika, [S.l.], v. 6, n. 2, p. 53-64, dec. 2014. ISSN 2550-0422. Available at: <http://jos.unsoed.ac.id/index.php/jmp/article/view/2904>. Date accessed: 01 feb. 2023. doi: https://doi.org/10.20884/1.jmp.2014.6.2.2904.

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.