Penerapan sistem persuasif pada platform e-skripsi UIN Maulana Malik Ibrahim Malang

Thesis (skripsi) merupakan salah satu tahapan akademik yang harus di lalui oleh mahasiswa untuk memperoleh gelar, baik S1 (Sarjana) atau S2 (Master). Untuk menggapai hal tersebut dibutuhkan alur atau tahapan yang panjang. Di era pandemi Covid-19 seperti ini tahapan-tahapan untuk mencapai gelar tersebut harus dilakukan jarak jauh atau daring oleh para mahasiswa. Untuk mewadai hal tersebut dibutuhkan suatu sistem yang dapat menjembatani hal tersebut agar dapat berjalan tahapan thesis (skripsi) walaupun dengan jarak jauh atau daring. Sistem tersebut adalah Platfrom e-Thesis, suatu sistem thesis (skripsi) online yang di generate untuk menyesuaikan alur kebutuhan thesis (skripsi) dari setiap Perguruan Tinggi. Terdapat 4 tahap alur thesis (skripsi) yang umumnya ada pada Perguruan Tinggi yaitu pra proposal, seminar proposal, seminar hasi, dan ujian thesis (skripsi). Berdasarkan pengujian menggunakan metode black box pada Paltform e-Thesis di Jurusan Teknik Informatika UIN Maulana Malik Ibrahim Malang dengan menggunakan 4 tahap tersebut menghasilkan 2 erorr function. Pada 4 tahapan tersebut menggunakan jumlah user yang berbeda-beda, untuk tahap 1 dan 2 menggunakan 248 user, tahap 3 menggunakan 188 user dan tahap 4 menggunakan 180 user. Perbedaan penggunaan user karena setiap tahap waktunya berbeda-beda. Berdasarkan pengujian pada Platform e-Thesis yang memiliki 2 erorr function diharapakn dapat diterapkan disemua Jurusan Perguruan Tinggi

Penerapan sistem persuasif pada platform e-skripsi UIN Maulana Malik Ibrahim Malang

Thesis (skripsi) merupakan salah satu tahapan akademik yang harus di lalui oleh mahasiswa untuk memperoleh gelar, baik S1 (Sarjana) atau S2 (Master). Untuk menggapai hal tersebut dibutuhkan alur atau tahapan yang panjang. Di era pandemi Covid-19 seperti ini tahapan-tahapan untuk mencapai gelar tersebut harus dilakukan jarak jauh atau daring oleh para mahasiswa. Untuk mewadai hal tersebut dibutuhkan suatu sistem yang dapat menjembatani hal tersebut agar dapat berjalan tahapan thesis (skripsi) walaupun dengan jarak jauh atau daring. Sistem tersebut adalah Platfrom e-Thesis, suatu sistem thesis (skripsi) online yang di generate untuk menyesuaikan alur kebutuhan thesis (skripsi) dari setiap Perguruan Tinggi. Terdapat 4 tahap alur thesis (skripsi) yang umumnya ada pada Perguruan Tinggi yaitu pra proposal, seminar proposal, seminar hasi, dan ujian thesis (skripsi). Berdasarkan pengujian menggunakan metode black box pada Paltform e-Thesis di Jurusan Teknik Informatika UIN Maulana Malik Ibrahim Malang dengan menggunakan 4 tahap tersebut menghasilkan 2 erorr function. Pada 4 tahapan tersebut menggunakan jumlah user yang berbeda-beda, untuk tahap 1 dan 2 menggunakan 248 user, tahap 3 menggunakan 188 user dan tahap 4 menggunakan 180 user. Perbedaan penggunaan user karena setiap tahap waktunya berbeda-beda. Berdasarkan pengujian pada Platform e-Thesis yang memiliki 2 erorr function diharapakn dapat diterapkan disemua Jurusan Perguruan Tinggi

Hybrid model checking approach to analysing rule conformance applied to HIPAA privacy rules, A

2017 Summer.Includes bibliographical references.Many of today's computing systems must show evidence of conformance to rules. The rules may come from business protocol choices or from multi-jurisdictional sources. Some examples are the rules that come from the regulations in the Health Insurance Portability and Accountability Act (HIPAA) protecting the privacy of patient information and the Family Educational Rights and Privacy Act (FERPA) protecting the privacy of student education records. The rules impose additional requirements on already complex systems, and rigorous analysis is needed to show that any system implementing the rules exhibit conformance. If the analysis finds that a rule is not satisfied, we adjudge that the system fails conformance analysis and that it contains a fault, and this fault must be located in the system and fixed. The exhaustive analysis performed by Model Checking makes it suitable for showing that systems satisfy conformance rules. Conformance rules may be viewed in two, sometimes overlapping, categories: process- aware conformance rules that dictate process sequencing, and data-aware conformance rules that dictate acceptable system states. Where conformance rules relate to privacy, the analysis performed in model check- ing requires the examination of fine-grained structural details in the system state for showing conformance to data-aware conformance rules. The analysis of these rules may cause model checking to be intractable due to a state space explosion when there are too many system states or too many details in a system state. To over- come this intractable complexity, various abstraction techniques have been proposed that achieve a smaller abstracted system state model that is more amenable to model checking. These abstraction techniques are not useful when the abstractions hide the details necessary to verify conformance. If non-conformance occurs, the abstraction may not allow isolation of the fault. In this dissertation, we introduce a Hybrid Model Checking Approach (HMCA) to analyse a system for both process- and data-aware conformance rules without abstracting the details from a system's detailed process- and data models. Model Checking requires an analysable model of the system under analysis called a program graph and a representation of the rules that can be checked on the program graph. In our approach, we use connections between a process-oriented (e.g. a Unified Modelling Language (UML) activity model) and a data-oriented (e.g. UML class model) to create a unified paths-and-state system model. We represent this unified model as a UML state machine. The rule-relevant part of the state machine along with a graph-oriented formalism of the rules are the inputs to HMCA. The model checker uses an exhaustive unfolding of the program graph to produce a transition system showing all the program graph's reachable paths and states. Intractable complexity during model checking is encountered when trying to create the transition system. In HMCA, we use a divide and conquer approach that applies a slicing technique on the program graph to semi- automatically produce the transition system by analysing each slice individually, and composing its result with the results from other slices. Our ability to construct the transition system from the slices relieves a traditional model checker of that step. We then return to use model checking techniques to verify whether the transition system satisfies the rules. Since the analysis involves examining system states, if any of the rules are not satisfied, we can isolate the specific location of the fault from the details contained in the slices. We demonstrate our technique on an instance of a medical research system whose requirements include the privacy rules mandated by HIPAA. Our technique found seeded faults for common mistakes in logic that led to non-conformance and underspecification leading to conflicts of interests in personnel relationships

Activity Diagrams Patterns for Modeling Business Processes

Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA (Service Oriented Architecture) paradigm. UML activity diagrams are often used to model business processes. Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics prevents the use of automated verification techniques. In this paper, (i) we propose activity diagram patterns for modeling business processes, (ii) we devise a modular mechanism to compose diagram fragments into a UML activity diagram, and (iii) we propose a semantics for the produced activity diagrams, formalized by colored Petri nets. Our approach guides the modeler task (helping to avoid common mistakes), and allows for automated verification