Consistency Checking of Specification in UML

2014 ◽  
pp. 300-316
Author(s):  
P. G. Sapna ◽  
Hrushikesha Mohanty ◽  
Arunkumar Balakrishnan
Keyword(s):  
Software Development ◽  
Software Testing ◽  
Human Life ◽  
Unified Modeling Language ◽  
Software Systems ◽  
User Requirements ◽  
Consistency Checking ◽  
Unified Modeling ◽  
Development Cycle ◽  
Development Life Cycle

The increasing use of software is giving rise to the development of highly complex software systems. Further, software systems are required to be of high quality as a defect can have catastrophic effect on business as well as human life. Testing is defined as the process of executing a program with the intention of finding errors. Software testing is an expensive process of the software development life cycle consuming nearly 50% of development cost. Software testing aims not only to guarantee consistency in software specification but also to validate its implementation meeting user requirements. On the whole, it is observed that in general, errors in software systems set in at the early stages of the software development cycle (i.e. while gathering user requirements and deciding on specification of intended software). Even though formal specification in B and Z assures a provable system, its use has become less popular due to mathematical rigor. The Unified Modeling Language (UML), a semi-formal language with graphical notations consisting of various diagrams has caught software developers’ imaginations and, it has become popular in industry. UML, with its several diagrams, helps to develop a model of intended software, and the model behaviour is simulated and tested to the satisfaction of both developer as well as users. As a UML model includes specifications of different aspects of a software system through several diagrams, it is essential to maintain consistency among diagrams so that quality of the model is maintained, and through inconsistency checking and removal, the model moves toward completeness. The works reported in literature on this topic are reviewed here.

Consistency Checking of Specification in UML

2017 ◽  
pp. 993-1010
Author(s):  
P. G. Sapna ◽  
Hrushikesha Mohanty ◽  
Arunkumar Balakrishnan
Keyword(s):  
Software Development ◽  
Software Testing ◽  
Human Life ◽  
Unified Modeling Language ◽  
Software Systems ◽  
User Requirements ◽  
Consistency Checking ◽  
Unified Modeling ◽  
Development Cycle ◽  
Development Life Cycle

The increasing use of software is giving rise to the development of highly complex software systems. Further, software systems are required to be of high quality as a defect can have catastrophic effect on business as well as human life. Testing is defined as the process of executing a program with the intention of finding errors. Software testing is an expensive process of the software development life cycle consuming nearly 50% of development cost. Software testing aims not only to guarantee consistency in software specification but also to validate its implementation meeting user requirements. On the whole, it is observed that in general, errors in software systems set in at the early stages of the software development cycle (i.e. while gathering user requirements and deciding on specification of intended software). Even though formal specification in B and Z assures a provable system, its use has become less popular due to mathematical rigor. The Unified Modeling Language (UML), a semi-formal language with graphical notations consisting of various diagrams has caught software developers' imaginations and, it has become popular in industry. UML, with its several diagrams, helps to develop a model of intended software, and the model behaviour is simulated and tested to the satisfaction of both developer as well as users. As a UML model includes specifications of different aspects of a software system through several diagrams, it is essential to maintain consistency among diagrams so that quality of the model is maintained, and through inconsistency checking and removal, the model moves toward completeness. The works reported in literature on this topic are reviewed here.

scholarly journals PENGEMBANGAN MEDIA BELAJAR PUPUH BERBASIS ANDROID

2014 ◽  
Vol 11 (2) ◽  
Author(s):  
Gusti Ngurah Wira Satryawan ◽  
I Gede Mahendra Darmawiguna ◽  
I Made Gede Sunarya
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Unified Modeling Language ◽  
Functional Model ◽  
Modeling Language ◽  
Unified Modeling ◽  
Development Life Cycle ◽  
The Media ◽  
Software Development Life Cycle ◽  
Android Development

Pupuh is one of the four types of songs that exist in Bali. Pupuh is used to express advices, stories of heroism and feelings that usually shown on dramatari which is developedin Bali such as drama gong, arja and Bondres. This Media Belajar Pupuh Berbasis Android is a learning media pupuh with an Android device. This research aims to design andimplement application design Media Belajar Pupuh Berbasis Android.Development of the Media Belajar Pupuh Berbasis Android is using the software development life cycle SDLC (Software Development Life Cycle) with the waterfall model.Features in this application are intended as a learning pupuh for users with an Androiddevice. The features of this application are the theory of pupuh, uger-uger of pupuh, tunings of pupuh, songs of pupuh and recordings of the user.The result of this research is the design and implementation of the Media BelajarPupuh Berbasis Android that has been successfully carried out. The design is done by using a functional model of the UML (Unified Modeling Language). Implemented in Javaprogramming language using the Eclipse editor and ADT (Android Development Tools) plug- ins, and also using AndEngine as additional libraries. The entire functional requirementshave been successfully implemented in accordance with the design.

scholarly journals PENGEMBANGAN MEDIA BELAJAR PUPUH BERBASIS ANDROID

2014 ◽  
Vol 11 (2) ◽  
Author(s):  
Gusti Ngurah Wira Satryawan ◽  
I Gede Mahendra Darmawiguna ◽  
I Made Gede Sunarya
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Unified Modeling Language ◽  
Functional Model ◽  
Modeling Language ◽  
Unified Modeling ◽  
Development Life Cycle ◽  
The Media ◽  
Software Development Life Cycle ◽  
Android Development

Pupuh is one of the four types of songs that exist in Bali. Pupuh is used to express advices, stories of heroism and feelings that usually shown on dramatari which is developedin Bali such as drama gong, arja and Bondres. This Media Belajar Pupuh Berbasis Android is a learning media pupuh with an Android device. This research aims to design andimplement application design Media Belajar Pupuh Berbasis Android.Development of the Media Belajar Pupuh Berbasis Android is using the software development life cycle SDLC (Software Development Life Cycle) with the waterfall model.Features in this application are intended as a learning pupuh for users with an Androiddevice. The features of this application are the theory of pupuh, uger-uger of pupuh, tunings of pupuh, songs of pupuh and recordings of the user.The result of this research is the design and implementation of the Media BelajarPupuh Berbasis Android that has been successfully carried out. The design is done by using a functional model of the UML (Unified Modeling Language). Implemented in Javaprogramming language using the Eclipse editor and ADT (Android Development Tools) plug- ins, and also using AndEngine as additional libraries. The entire functional requirementshave been successfully implemented in accordance with the design.

scholarly journals Sistem Informasi Order Fulfillment untuk Usaha Kecil Menengah

2018 ◽  
Vol 1 (1) ◽  
Author(s):  
Johanes Fernandes Andry ◽  
Reinaldo Reinaldo
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Order Fulfillment ◽  
Unified Modeling ◽  
Development Life Cycle ◽  
Software Development Life Cycle

<p>Perusahaan akan tahu kebutuhan, cita-cita, kelebihan dan kekurangan diri. Terutama jika hal ini dikaitkan dengan manajemen <em>Order Fulfillment</em> dalam suatu perusahaan, terutama di UKM = usaha kecil menengah. Pengembangan untuk <em>Order Fulfillment</em> dan kemampuan layanan pelanggan, untuk mendapatkan pengukuran yang tepat. Pengukuran menyediakan peta jalan untuk membantu UKM dari apa adanya kemampuan yang diinginkan. Proses Pemenuhan adalah proses kunci dalam mengelola rantai. Pasokan adalah pesanan pelanggan yang membuat rantai pasokan bergerak, dan mengisinya secara efisien dan efektif adalah langkah pertama dalam menyediakan layanan pelanggan. Dalam hal ini kerangka berfikir menggunakan <em>Software Development Life Cycle</em> (SDLC) adalah proses yang digunakan oleh industri perangkat lunak untuk merancang, mengembangkan perangkat lunak. Berdasarkan perkembangan Sistem Informasi <em>Order Fulfillment</em>, sumber informasi diperlukan untuk mengarahkan proses pengembangan yang lebih baik. Oleh karena itu, proses bisnis sebagai informasi yang terkait dengan pengembangan telah diperoleh dari bisnis yang membutuhkan sistem informasi tersebut. Usulan Sistem Berdasarkan proses bisnis yang dijelaskan sebelumnya, analisis pembuatan sistem informasi <em>Order Fulfillment</em> dibuat menggunakan <em>Unified Modeling Language</em> (UML). Kesimpulan Pemenuhan Ketertiban Sistem Informasi untuk Usaha Kecil Menengah adalah pengolahan data cepat, ketepatan waktu dari informasi yang diterima berarti bahwa jika informasi yang diterima terlambat. Maka ini akan mengurangi nilai manfaat dari informasi itu sendiri, Ini memiliki tingkat informasi yang tinggi. ketepatan; informasi yang akurat adalah informasi yang penuh dengan kepastian, Efisiensi sumber daya manusia dan Akses mudah ke informasi.<strong></strong></p>

scholarly journals Pengembangan “Digital Interactive Storyteller” Berbasis Android Untuk Tunanetra

2014 ◽  
Vol 3 (3) ◽  
pp. 142
Author(s):  
Anak Agung Istri Ita Paramitha ◽  
Made Windu Antara Kesiman ◽  
I Ketut Resika Arthana
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling ◽  
Development Tools ◽  
Development Life Cycle ◽  
Software Development Life Cycle ◽  
Android Development

Storytelling merupakan suatu kesenian yang dilakukan secara lisan dengan alat atau tanpa alat untuk menyampaikan sesuatu yang dapat berupa pesan, informasi ataupun cerita yang menghibur. Storytelling memiliki banyak manfaat dalam perkembangan anak, salah satunya adalah mengembangkan imajinasi anak. “Digital Interactive Storyteller” merupakan  aplikasi storytelling dengan menggunakan perangkat Android yang ditujukan untuk pengguna tunanetra. Penelitian ini bertujuan untuk merancang dan mengimplementasikan rancangan aplikasi “Digital Interactive Storyteller” Berbasis Android untuk Tunanetra. Pengembangan aplikasi “Digital Interactive Storyteller” Berbasis Android untuk Tunanetra menggunakan siklus hidup pengembangan perangkat lunak SDLC (Software Development Life Cycle) dengan model waterfall atau model air terjun. Fitur utama dalam aplikasi ini adalah audio dongeng interaktif dengan menggunakan perangkat Android. Interaktif yang dimaksudkan adalah pengguna dapat memilih alur dongeng sendiri. Hasil dari penelitian ini yaitu perancangan dan implementasi dari aplikasi “Digital Interactive Storyteller” Berbasis Android untuk Tunanetra yang telah berhasil dilakukan. Perancangan dilakukan dengan menggunakan model fungsional berupa UML (Unified Modeling Language). Diimplementasikan dalam bahasa pemrograman Java dengan menggunakan editor  Eclipse dan plug-ins ADT (Android Development Tools). Seluruh kebutuhan fungsional telah berhasil diimplementasikan sesuai dengan rancangan.

scholarly journals THE E-COMMERCE POTENTIAL FOR HOME-BASED BUSINESSES: A CASE STUDY

2016 ◽  
Vol 8 (2) ◽  
pp. 139 ◽  
Author(s):  
Johanes Fernandes Andry ◽  
Julia Loisa
Keyword(s):  
System Development ◽  
Unified Modeling Language ◽  
Software Systems ◽  
Web Based ◽  
Unified Modeling ◽  
Analysis And Design ◽  
Home Based ◽  
Development Life Cycle ◽  
Web Based System

In Jakarta, the e-Business adoption has not only captured the interest of large organizations but has also been acknowledged and adopted by small, medium and micro sized enterprises. Mostly, these small and medium e-commerce-adopted companies are called Home-Based Business. The object of this research is a family home-based business which is adopted e-commerce system.  The commonly used software development method is System Development Life Cycle (SDLC), and The Unified Modeling Language (UML) is generally accepted as the standard modeling notation for the analysis and design of the object that oriented on software systems. This research concludes that a web-based system can addressed the need of home-based business to expand the market scope by the internet penetration as one alternative to do the business expansion.

scholarly journals APLIKASI PERENCANAAN PENGELOLAAN KEUANGAN KELUARGA BERBASIS ANDROID

INOVA-TIF ◽  
2018 ◽  
Vol 1 (1) ◽  
Author(s):  
Adithia Hermansyah ◽  
Fety Fatimah ◽  
Dewi Primasari
Keyword(s):  
Life Cycle ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling ◽  
Development Life Cycle

<p>Pada hakikatnya masalah yang paling umum dihadapi saat sudah berkeluarga salah satunya adalah masalah pengelolaan keuangan keluarga. Pengelolaan keuangan keluarga sangat penting bagi kesejahteraan setiap individu dan keluarga dalam kehidupan sehari-hari. Pada dasarnya pengelolaan keuangan keluarga adalah pengelolaan dengan mengatur skala prioritas dan merencanakan anggaran pengeluaran keuangan keluarga yang berorientasi kepada kebutuhan<br />(need) dan mendahulukan manfaat (utility) serta berusaha mengurangi keinginan yang berlebihan. Berkembangnya teknologi dan informasi dapat digunakan untuk mendukung kebijakan dalam membentuk keluarga yang sejahtera khususnya dalam mengelola keuangan secara baik dan cermat. Penelitian ini mengembangkan sebuah aplikasi perencanaan pengelolaan keuangan keluarga berbasis android yang dapat membantu dalam mengatur mengelola keuangan keluarga. Metodologi yang digunakan untuk mengembangkan aplikasi ini adalah SDLC (System<br />Development Life Cycle) dan menggunakan pemodelan UML (Unified Modeling Language). Pada proses pembuatan aplikasi perencanaan pengelolaan keuangan keluarga dirancang dengan software menggunakan android studio dan penyimpanan data menggunakan SQLite. Hasil dari penelitian ini aplikasi perencanaan pengelolaan keuangan keluarga memiliki menu yang<br />dibutuhkan melakukan pengelolaan keuangan keluarga diantaranya terdapat menu pemasukan, menu pengeluaran, menu anggaran pengeluaran, menu mutasi, menu laporan dan menu evaluasi.</p>

scholarly journals DevOPS Now and Then

2020 ◽  
Author(s):  
Raju Singh
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Continuous Improvement ◽  
Building Blocks ◽  
Extended Version ◽  
Agile Method ◽  
Development Cycle ◽  
Development Life Cycle ◽  
Continuous Delivery ◽  
Software Development Life Cycle

DevOps is an emerging practice to be followed in the Software Development life cycle. The name DevOps indicates that it&rsquo;s an integration of the Development and Operation team. It is followed to integrate the various stages of the development cycle. DevOps is an extended version of the existing Agile method. DevOps aims at continuous integration, Continuous Delivery, Continuous Improvement, faster feedback and security. This paper reviews the building blocks of DevOps, challenges in adopting DevOps, Models to improve DevOps practices and Future works on DevOps

scholarly journals SISTEM INFORMASI PENGAMANAN SKCK MENGGUNAKAN BARCODE PADA DIT INTELKAM POLDA RIAU

2019 ◽  
Vol 5 (1) ◽  
pp. 1
Author(s):  
Eki Saputra ◽  
Desi Fitri
Keyword(s):  
Life Cycle ◽  
System Development ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Life Cycle Model ◽  
Cycle Model ◽  
Activity Diagram ◽  
Unified Modeling ◽  
Development Life Cycle

Dit Intelkam Polda Riau menyelenggarakan fungsi untuk memberikan pelayanan kepada masyarakat yaitu pelayanan pengurusan Surat Keterangan Catatan Kepolisian (SKCK). Pengurusan SKCK ini dilakukan dengan mendatangi langsung kantor Dit Intelkam Polda Riau. Proses pembuatan SKCK pada Dit Intelkam Polda Riau, saat ini telah menggunakan database dalam penyimpanan datanya. Namun kelemahannya yaitu data lama pemohon akan hilang apabila belum dilakukannya perpanjangan oleh pemohon sebelum masa berlakunya habis. Hal ini disebabkan karena data lama yang tertimpa oleh data baru yang di-input-kan ke database.Selain itu SKCK yang lama juga tidak mempunyai sistem keamanan sehingga data SKCK tersebut dapat disalahgunakan oleh pihak yang tidak bertanggung jawab. Permohonan penerbitan SKCK pada Dit Intelkam Polda Riau bisa mencapai 200 penerbitan perharinya dengan kategori high section yaitu jumlah bagian dengan penerbitan tertinggi dalam satu hari. Sedangkan untuk pengurusan dalam pertahun dari Tahun 2016 pengurusan bisa mencapai sebanyak 30.000 lembar.Sistem ini menggunakan keamanan barcode, dimana barcode tersebut mempunyai informasi didalamnya yaitu: nama, nomor NIK, tujuan dan masa berlaku SKCK. Metode pengembangan yang digunakan dalam penelitian ini yaitu System Development Life Cycle Model Waterfall yang menggunakan tiga buah diagram Unified Modeling Language (UML), yaitu: usecasediagram, activity diagram dan sequence diagramserta memanfaatkan penggunaan ERD dalam pembuatan database. Pembangunan sistem dilakukan menggunakan beberapa aplikasi pendukung yaitu: PHP dan MySQL,Sublime Text 3, Javascript, dan HTML.Hasil dari penelitian ini dapat memberikan keamanan terhadap data SKCK pemohon dan dapat mempermudah Admin Kepolisian Daerah dalam proses pembuatan surat SKCK

Sign in / Sign up

Export Citation Format

Share Document