DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET
Abstract
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.
Downloads
References
Bordbar, B., Giacomini, L., Holding, D.J., Design Of Distributed Manufacturing Systems Using Uml And Petri Nets, Department of Electronic Engineering, School of Engineering, Aston University, Aston Triangle, Birmingham.
David, R. dan Alla, H. 2005, Discrete, Continuous, and Hybrid Petri Nets, Springer-Verlag Berlin Heidelberg, New York.
Saldhana, J.A., Shatz, S.M., UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis, Department of Electrical Engineering and Computer Science University of Illinois, Chicago.
Storrle, H, Models of Software Architecture, Fakult¨at f¨ur Mathematik und Informatik Ludwig-Maximilians-Universit¨at M¨unchen
Authors who publish with this Journal agree to the following terms:
- Author retain copyright and grant the journal right of first publication with the work simultaneously licensed under a creative commons attribution license that allow others to share the work within an acknowledgement of the work’s authorship and initial publication of this journal.
- Authors are able to enter into separate, additional contractual arrangement for the non-exclusive distribution of the journal’s published version of the work (e.g. acknowledgement of its initial publication in this journal).
- Authors are permitted and encouraged to post their work online (e.g. in institutional repositories or on their websites) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published works.
