On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

2021 ◽  
Author(s):  
Neeraj Kumar Singh ◽  
Yamine Aït-Ameur ◽  
Romain Geniet ◽  
Dominique Méry ◽  
Philippe Palanque
Keyword(s):  
Real Life ◽  
Safety Properties ◽  
Mvc Pattern ◽  
Interactive Applications ◽  
Model View Controller ◽  
Interactive Application ◽  
Development Approach ◽  
Refinement Strategy ◽  
Model View ◽  
Structure And Design

Abstract This paper presents a formal development approach for designing interactive applications using a correct-by-construction approach. In this work, we propose a refinement strategy using model-view-controller (MVC) to structure and design Event-B formal models of the interactive application. The proposed MVC-based refinement strategy facilitates the development of an abstract model and a series of refined models by introducing the possible modes, controller’s behaviour and visual components of the interactive application while preserving the required interaction-related safety properties. To demonstrate the effectiveness, scalability, reliability and feasibility of our approach, we use a small example (from automotive domain) and real-life industrial case studies (from aviation). The entire development is realized in Event-B and the associated Rodin tool is used to analyse and verify the correctness of the formalized model. Finally, the developed Event-B models are used to generate source code using EB2ALL tool for going from the specification to the implementation of the interactive application.

Study on MVC-Based Teaching System Design in Engineering Colleges

2014 ◽  
Vol 519-520 ◽  
pp. 1622-1625
Author(s):  
Yi Bin Hu
Keyword(s):  
System Design ◽  
System Architecture ◽  
Technology Implementation ◽  
Business Processes ◽  
Main Function ◽  
Functional Modules ◽  
Mvc Pattern ◽  
Framework Technology ◽  
Model View Controller ◽  
Model View

This paper studies the pattern of ASP.NET Model-View-Controller, and its workflow, implementation of each part of the framework. The main objective of the system is analyzed, the system's main functions, system architecture and system business processes, while further study ASP.NET MVC framework technology implementation and expansion, mainly to explain the framework of implementation of the system, described in detail in ASP.NET under the MVC pattern, workflow and implementation of each part of the component framework. The main function of the functional modules and the main implementation is studied in the last part.

scholarly journals PERANCANGAN SISTEM INFORMASI MANAJEMEN PERPUSTAKAAN MENGGUNAKAN POLA MODEL-VIEW-CONTROLLER (MVC)

2016 ◽  
Vol 2 (1) ◽  
Author(s):  
Rangga Sanjaya
Keyword(s):  
Information Technology ◽  
Management Information System ◽  
Business Processes ◽  
Accounting Information ◽  
Management Information ◽  
Mvc Pattern ◽  
Management Processes ◽  
Model View Controller ◽  
Development And Management ◽  
Model View

Abstract - Systems based on information technology has revolutionized almost every aspect of an organization's business processes. Information technology has improved the access processes of information by integrating information across data sources. Website is one of the popular information technology. Website by using the Model-View-Controller (MVC) pattern, gives quality to the process of development and management access of information resources. Features on the website were built very useful for libraries management processes, transactions, and accounting information. Keywords: Management, Information, System, Library, Website, MVC Abstraksi - Sistem berbasis teknologi informasi telah merevolusi hampir setiap aspek dari proses bisnis organisasi. Teknologi informasi meningkatkan proses akses informasi dengan mengintegrasikan informasi dari seluruh sumber data. Website merupakan salah satu teknologi informasi yang populer. Website dengan menggunakan pola Model-View-Controller (MVC), memberikan kualitas proses pembangunan dan akses pengelolaan sumber daya informasi. Fitur pada situs web yang dibangun sangat berguna untuk proses manajemen, transaksi, dan informasi akuntansi perpustakaan. Kata Kunci: Manajemen, Sistem, Informasi, Perpustakaan, Website, MVC

The Research on Scientific Research Management System Based on Improved MVC Pattern

2012 ◽  
Vol 155-156 ◽  
pp. 459-463
Author(s):  
Cai Xian Chen ◽  
Rui Zhang
Keyword(s):  
Management System ◽  
Web Application ◽  
Scientific Research ◽  
Higher Learning ◽  
Research Management ◽  
Mvc Pattern ◽  
Digital Campus ◽  
Mvc Model ◽  
Model View Controller ◽  
Model View

With development of internet, constructing digital campus, realizing office automation, has become the key to realize the modernization of management in institutes of higher learning, Due to the shortcomings of traditional methods in developing Web application, the MVC (Model-View-Controller) pattern is introduced. This paper analyses MVC pattern. On the purpose of the unanimous solution of scientific research management and commercialization, an improved MVC pattern based on the conventional one is introduced. The practice of developing the scientific research management system proved the improved pattern is feasible.

The Concept of Model-View-Controler (MVC) as Solution Software Development

CCIT Journal ◽  
2010 ◽  
Vol 3 (3) ◽  
pp. 377-402
Author(s):  
Ermatita Ermatita ◽  
Huda Ubaya ◽  
Dwirosa Indah
Keyword(s):  
Software Development ◽  
Model View Controller ◽  
On Line ◽  
Line Test ◽  
Model View

Pengembangan perangkat lunak adalah tugas kompleks dan membutuhkan adaptasi untuk mengakomodasi kebutuhan pengguna. Untuk membuat konsep dan perubahan perangkat lunak, dalam pemeliharaan, sekarang telah dikembangkan lebih mudah dalam pengembangan perangkat lunak, pola model-view-controller, yang merupakan arsitektur yang dapat membantu memfasilitasi dalam pengembangan dan pemeliharaan perangkat luna. Hal ini, karena dalam arsitektur model tiga-lapis, yaitu: tampilan dan pengontrolan dalam pembangunan dilakukan secara independen, sehingga dapat memberikan dahan dalam pengembangan dan pemeliharaan. Selain itu, arsitektur ini juga dapat melihat hal-hal yang sederhana dan menarik bagi pengguna. Software sistem on-line test adalah perangkat lunak yang memerlukan interaksi dengan pengguna, dan pemeliharaan perangkat adaptif. Karena sistem ujian on-line memerlukan pengembangan perangkat lunak untuk mengakomodasi kebutuhan ini berkembang dengan cepat. Makalah ini untuk menganalisis Model-View-Controller dan mencoba pembangunan, untuk menerapkannya dalam pengembangan perangkat lunak sistem pengujian on-line. 

APLIKASI PEMESANAN MAKANAN BERBASIS WEB

e-NARODROID ◽  
2015 ◽  
Vol 1 (2) ◽  
Author(s):  
Immah Inayati
Keyword(s):  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Unified Modeling ◽  
Model View Controller ◽  
Model View

Perkembangan dunia teknologi berjalan sangat cepat. Selaras dengan hal itu, kebutuhan manusia hususnya dibidang bisnis juga semakin berkembang. salah satunya adalah R.M. Lesehan Berkah Ilaahi. Rumah makan ini merupakan rumah makan yang memiliki banyak pelanggan. Dengan semakin bertambahnya jumlah pelanggan, maka [penumpukan antrian banyak terjadi. Di samping itu rumah makan ini memiliki potensi untuk dapat terus mengembangkan bisnisnya. Untuk itu dibutuhkan sebuah sistem yang mampu memfasilitasi proses pemesanan melalui online serta mampu membantu pemilik bisnis dalam melakukan promosi dan penawaran, terlebih kepada pelanggan yang daya belinya tinggi. Jurnal ini memaparkan proses pembangunan sistem pemesanan berbasis web dengan menekankan pada tahap analisa, desain, dan implementasi. Analisis kondisi lapangan dilakukan dengan cara observasi lapangan, studi literatur sistem lama, wawancara dan kuesioner pelanggan. Hasil analisa akan digambarkan menggunakan notasi UML (Unified Modeling Language) untuk selanjutnya diimplementasikan dalam sebuah aplikasi e-CRM menggunakan bahasa pemrograman PHP serta basis data PostgreSQL. Metode pengembangan yang digunakan adalah Object oriented dengan memanfaatkan Yii Framework yang merupakan framework PHP berbasis Model View Controller (MVC). Selain itu digunakan pula bootstrap framework dari sisi desain aplikasi untuk memberikan fleksibilitas aplikasi ketika diakses dengan device yang resolusinya lebih kecil seperti telephon genggam. Kata kunci : Observasi, Wawancara, Kuesioner, UML (Unified Modeling Language), Yii Framework, Object oriented, Model View Controller (MVC), bootstrap framework.

Sign in / Sign up

Export Citation Format

Share Document