DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET
Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram keg...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universitas Pattimura
2013-03-01
|
| Series: | Barekeng |
| Subjects: | |
| Online Access: | https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849771062929129472 |
|---|---|
| author | Dorteus L. Rahakbauw |
| author_facet | Dorteus L. Rahakbauw |
| author_sort | Dorteus L. Rahakbauw |
| collection | DOAJ |
| description |
Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram kegiatan Unified Modeling Language (UML) ke dalam suatu model Petri net. Atas dasar perubahan bentuk ini dimungkinkan untuk memenuhi verifikasi model dinamis dari sistim riil, yaitu untuk mengevaluasi apakah aktivitas dan ordernya terdefinisi dengan baik (well defined). Ini juga mungkin untuk memecahkan permasalahan alur dan sinkronisasi aktivitas suatu sistim, seperti juga untuk mengoptimalkan model dinamis. Permasalahan yang dibahas dalam tulisan ini adalah bagaimana memodelkan layanan ATM dengan berdasar pada diagram aktivasi UML (Unified Modelling Language) dan bagaimana memodelkan layanan ATM (Automated Teller Machine) dengan menggunakan Petri Nets. Dihasilkan 49 Transisi dan 26 place untuk menggambarkan kedinamikan suatu ATM.
|
| format | Article |
| id | doaj-art-75a7a7ee0702455a8bb5ad752f44251a |
| institution | DOAJ |
| issn | 1978-7227 2615-3017 |
| language | English |
| publishDate | 2013-03-01 |
| publisher | Universitas Pattimura |
| record_format | Article |
| series | Barekeng |
| spelling | doaj-art-75a7a7ee0702455a8bb5ad752f44251a2025-08-20T03:02:45ZengUniversitas PattimuraBarekeng1978-72272615-30172013-03-017110.30598/barekengvol7iss1pp9-14DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NETDorteus L. Rahakbauw0Jurusan Matematika FMIPA Universitas Pattimura Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram kegiatan Unified Modeling Language (UML) ke dalam suatu model Petri net. Atas dasar perubahan bentuk ini dimungkinkan untuk memenuhi verifikasi model dinamis dari sistim riil, yaitu untuk mengevaluasi apakah aktivitas dan ordernya terdefinisi dengan baik (well defined). Ini juga mungkin untuk memecahkan permasalahan alur dan sinkronisasi aktivitas suatu sistim, seperti juga untuk mengoptimalkan model dinamis. Permasalahan yang dibahas dalam tulisan ini adalah bagaimana memodelkan layanan ATM dengan berdasar pada diagram aktivasi UML (Unified Modelling Language) dan bagaimana memodelkan layanan ATM (Automated Teller Machine) dengan menggunakan Petri Nets. Dihasilkan 49 Transisi dan 26 place untuk menggambarkan kedinamikan suatu ATM. https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240Petri Net, ATM, UML |
| spellingShingle | Dorteus L. Rahakbauw DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET Barekeng Petri Net, ATM, UML |
| title | DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET |
| title_full | DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET |
| title_fullStr | DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET |
| title_full_unstemmed | DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET |
| title_short | DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET |
| title_sort | diagram unified modelling language untuk memodelkan layanan automated teller machine dengan petri net |
| topic | Petri Net, ATM, UML |
| url | https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240 |
| work_keys_str_mv | AT dorteuslrahakbauw diagramunifiedmodellinglanguageuntukmemodelkanlayananautomatedtellermachinedenganpetrinet |