Formal semantics of executable node and activity group of UML 2.5 activity diagram

2017 ◽  
Author(s):  
Maryam Jamal ◽  
Nazir Ahmad Zafar
Keyword(s):  
Formal Semantics ◽  
Activity Diagram ◽  
Activity Group

The formal semantics of an UML activity diagram

2004 ◽  
Vol 8 (3) ◽  
pp. 322-327 ◽  
Author(s):  
Yi-zhi D. Candidate Liang ◽  
Yan-zhang Wang ◽  
Yun-fei Liu
Keyword(s):  
Formal Semantics ◽  
Activity Diagram ◽  
Uml Activity Diagram

scholarly journals Modelling biological behaviours with the unified modelling language: an immunological case study and critique

2014 ◽  
Vol 11 (99) ◽  
pp. 20140704 ◽  
Author(s):  
Mark Read ◽  
Paul S. Andrews ◽  
Jon Timmis ◽  
Vipin Kumar
Keyword(s):  
Formal Semantics ◽  
System Level ◽  
Emergent Properties ◽  
Modelling Language ◽  
Activity Diagram ◽  
The Real ◽  
Unified Modelling Language ◽  
Biological Entities ◽  
Diagrammatic Modelling

We present a framework to assist the diagrammatic modelling of complex biological systems using the unified modelling language (UML). The framework comprises three levels of modelling, ranging in scope from the dynamics of individual model entities to system-level emergent properties. By way of an immunological case study of the mouse disease experimental autoimmune encephalomyelitis, we show how the framework can be used to produce models that capture and communicate the biological system, detailing how biological entities, interactions and behaviours lead to higher-level emergent properties observed in the real world. We demonstrate how the UML can be successfully applied within our framework, and provide a critique of UML's ability to capture concepts fundamental to immunology and biology more generally. We show how specialized, well-explained diagrams with less formal semantics can be used where no suitable UML formalism exists. We highlight UML's lack of expressive ability concerning cyclic feedbacks in cellular networks, and the compounding concurrency arising from huge numbers of stochastic, interacting agents. To compensate for this, we propose several additional relationships for expressing these concepts in UML's activity diagram. We also demonstrate the ambiguous nature of class diagrams when applied to complex biology, and question their utility in modelling such dynamic systems. Models created through our framework are non-executable, and expressly free of simulation implementation concerns. They are a valuable complement and precursor to simulation specifications and implementations, focusing purely on thoroughly exploring the biology, recording hypotheses and assumptions, and serve as a communication medium detailing exactly how a simulation relates to the real biology.

Pemodelan Website Geografis Tempat Pelayanan Kesehatan di Palembang

2018 ◽  
Vol 7 (2) ◽  
pp. 144
Author(s):  
Arsia Rini ◽  
Heki Aprianto
Keyword(s):  
Object Oriented ◽  
Use Case ◽  
Activity Diagram ◽  
Use Case Diagram

Tempat pelayanan kesehatan bertujuan untuk memberikan pelayanan kesehatan kepada masyarakat melalui lembaga institusi pelayanan kesehatan. Masyarakat di Kota Palembang mendapatkan informasi tempat pelayanan kesehatan melalui informasi masyarakat sekitar, lembaga pelayanan kesehatan dan beberapa situs internet yang ditampilkan secara terpisah. Maka sebuah website geografis diperlukan untuk menampilkan tata letak lokasi pelayanan kesehatan dan informasi lengkap tentang pelayanan kesehatan di Kota Palembang. Penelitian ini bertujuan untuk membuat sebuah pemodelan website geografis tempat pelayanan kesehatan di Kota Palembang. Pemodelan yang digunakan berbasis object oriented dengan menerapkan use case diagram dan activity diagram.

Prototype Aplikasi Analisa Sistem Informasi Inventory Barang Pada PT Anugrah Distributor Indonesia

ICIT Journal ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 50-60
Author(s):  
Ilamsyah Ilamsyah ◽  
Sri Rahayu ◽  
Dewi Lisnawati
Keyword(s):  
Sequence Diagram ◽  
Class Diagram ◽  
Use Case ◽  
Modelling Language ◽  
Activity Diagram ◽  
Unified Modelling Language ◽  
Use Case Diagram

Inventory adalah aktiva yang meliputi barang-barang milik perusahaan, instansi, bidang pendidikan dan lain-lain. PT Anugrah Distributor Indonesia merupakan instansi milik perusahaan teknologi informasi yang didalamnya terdapat bagian logistik. Logistik berfungsi untuk mengelola kegiatan transaksi pembelian dan pengeluaran barang. Pengelolaan tersebut masih memanfaatkan Ms Excel. Sistem ini memakan waktu lama dalam proses pengelolaan data dan tingkat keakuratannya belum maksimal. Untuk memperoleh keakuratan data, logistik membutuhkan suatu sistem yang efisien, efektif dan valid dalam mengelola kegiatan transaksi pembelian dan pengeluaran barang. Dengan demikian dalam penelitian ini peneliti melakukan pengembangan sistem logistik yang saling terintegrasi menggunakan Unified Modelling Language (UML) yang digambarkan dengan Use Case Diagram, Activity Diagram, Sequence Diagram dan Class Diagram dan menggunakan bahasa pemprogramman PHP (Hypertext Preprocessor). Hasil akhir dari penelitian ini adalah sistem informasi inventory stok barang yang sesuai dengan kebutuhan dan memudahkan user dalam menginput dan membuat laporan persediaan barang. Sistem ini dibuat agar proses inventory dapat terkendali dengan baik, menjadi efektif dan efisien. Kata kunci: Sistem inventory, UML, PHP, Sistem Informasi

Sign in / Sign up

Export Citation Format

Share Document