scholarly journals Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems

Author(s):  
Fatma Dhaou ◽  
Ines Mouakher ◽  
Christian Attiogbé ◽  
Khaled Bsaies
Author(s):  
MOHAMMAD MOSHIRPOUR ◽  
ABDOLMAJID MOUSAVI ◽  
BEHROUZ H. FAR

Emergent behavior is an important issue in distributed systems' design. Detecting and removing emergent behavior during the design phase will lead to huge savings in deployment costs of such systems. An effective approach for the design of distributed systems is to describe system requirements using scenarios. A scenario, commonly known as a message sequence chart or a sequence diagram, is a temporal sequence of messages sent between system components. However, scenario-based specifications are prone to subtle deficiencies with respect to analysis and validation known as incompleteness and partial description. In this research, a method for detecting emergent behavior of scenario-based specification is proposed. The method is demonstrated and verified using a mine-sweeping robot as an example. Furthermore it has been demonstrated in this paper that scenario-based specifications can be used in agile software development and that the proposed methodologies in this research can be utilized effectively in agile approaches.


1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  

1989 ◽  
Vol 4 (5) ◽  
pp. 268 ◽  
Author(s):  
Geoffrey F. Carpenter ◽  
Andrew M. Tyrrell
Keyword(s):  

ICIT Journal ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 50-60
Author(s):  
Ilamsyah Ilamsyah ◽  
Sri Rahayu ◽  
Dewi Lisnawati

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


2014 ◽  
pp. 209-214
Author(s):  
P. Ilin ◽  
◽  
J. Sieck ◽  
V. Brovkov ◽  
M. Pashkovskyi

Sign in / Sign up

Export Citation Format

Share Document