Professional Documents
Culture Documents
Abstraksi. Kontribusi dari makalah ini adalah untuk menyajikan sebuah model berbasis pendekatan khusus untuk rekayasa kontroler. persyaratan Pendekatan untuk ini sistem reaktif, penciptaan dan sebuah lebih CPN
menunjukkan
model yang didasarkan pada diagram beberapa, untuk memvalidasi persyaratan fungsional dari sistem dalam pengembangan. Pengendali otomatis pompa bensin
digunakan sebagai studi kasus. Kami mengusulkan struktur generik untuk CPN yang model yang sistem. pengguna untuk berinteraksi Modul dan mengatasi dengan pemodelan dan controller, manusia entitas yang fisik beroperasi manusia yang mampu
controller, untuk
CPN adalah
perilaku generik
controller
contoh
modul
1.Pendahuluan
Sebuah sistem reaktif adalah "sebuah sistem yang mampu menciptakan efek yang diinginkan dalam lingkungannya dengan memungkinkan, menegakkan, atau mencegah kejadian-kejadian di lingkungan ini karakterisasi menunjukkan bahwa dalam rekayasa persyaratan untuk sistem reaktif itu berguna, dan sering perlu, untuk menggambarkan tidak hanya sistem itu sendiri, tetapi juga lingkungan dimana sistem harus beroperasi.
model
menggambarkan
melalui
skenario
dikombinasikan
dengan deskripsi perilaku dari entitas fisik yang berinteraksi dengan kontroller.
Sebagai studi kasus, diuraikan penerapan CPN pada Pompa Bensin Otomatis, yang merupakan sistem berbasis komputer yang memungkinkan pelanggan untuk membeli bahan bakar dengan cara melayani sendiri, ada satu tangki penyimpanan untuk setiap jenis bahan bakar (solar, bensin oktan 92, dan bensin 95 oktan). Pompa harus dinonaktifkan untuk jenis tertentu bahan bakar, bila jumlah bahan bakar di tangki terkait kurang dari ambang batas tertentu (akan
ditentukan). Ada juga tiga nosel yang berbeda, satu untuk setiap jenis bahan bakar.
Langkah selanjutnya dalam proses pemodelan adalah untuk menyempurnakan deskripsi skenario, untuk memperkenalkan informasi lebih rinci untuk mengizinkan tugas-tugas pengembangan lebih lanjut yang akan dilakukan. Dalam pendekatan ini memerlukan dua hal yang berbeda. Pertama, adalah penting untuk menyempurnakan diagram urutan level user dengan menunjukkan entitas fisik yang khusus dengan mana pengguna melakukan pertukaran pesan pada setiap titik waktu.
Kedua, pesan yang mengalir dalam antarmuka juga perlu diperhatikan dalam pendekatan kita. Hal ini memungkinkan pengembang untuk memperkenalkan rincian tentang bagaimana kontroller sebenarnya bereaksi terhadap rangsangan dari entitas fisik, yang seharusnya dimulai oleh pengguna. Deskripsi ulang skenario ini dapat dianggap sebagai bagian dari persyaratan sistem. Singkatnya, perbedaan ini mengasumsikan bahwa "persyaratan adalah hubungan yang diinginkan antara fenomena lingkungan dari suatu sistem, yang akan dibawa oleh hardware sedangkan persyaratan ". / software spesifikasi yang akan dibuat dan dipasang mesin di untuk lingkungan, mencapai
menggambarkan
perilaku
Langkah pengembangan selanjutnya adalah membangun sebuah model CPN yang mewakili semua perilaku dijelaskan oleh koleksi diagram urutan yang dipertimbangkan. Bahasa pemodelan CPN dipilih, karena model CPN adalah eksekusi dan
formal, dapat memberikan keseimbangan yang baik antara konstruksi grafis dan tekstual, dapat mengatasi baik perilaku dan data dari sistem, dan menangani pemodelan
aspek seperti concurrency dan lokalitas dengan cara yang bagus. Pembangunan model CPN didasarkan pada skenario, yang penting
untuk menjamin bahwa model tersebut mencerminkan semua perilaku parsial yang diidentifikasi dan dibahas dengan klien dan pengguna sistem dalam pengembangan. Selain itu, model CPN harus disusun sedemikian rupa sehingga pemisahan antara
controller dan lingkungan mudah untuk mengidentifikasi. Oleh karena itu, pendekatan ini memastikan bahwa CPN tersebut dibangun menjadi
kontroler-dan-lingkungan-dipartisi dan berbasis skenario. Top-level Aktor Module, manusia, Modul fisik, ini dan berisi tiga substitusi Ini substitusi transisi: tiga
Entitas
Controller.
transisi merupakan domain yang berbeda dan digunakan untuk pemodelan fungsional persyaratan, masing-masing. Physical untuk Entities perilaku Module, dari aktuator Modul dan sensor ini ini yang juga digunakan menghubungkan disebut entitas sebagai fisik perilaku pengetahuan domain, dan perilaku controller,
controller (atau
lingkungan indikasi
fisiknya. sifat
Perilaku
lingkungan;
telah memberikan pola perilaku, yang berfungsi sebagai kerangka kerja untuk pengoperasian controller. Controller and Human Actors Modules, kontroller dan aktor manusia, dengan substitusi transisi yang mengacu ke modul Interpreter SD. Modul generik bertindak sebagai penterjemah tekstual CPN ML untuk representasi elemen dasar dari urutan diagram UML 2,0. Modul ini dimanfaatkan baik untuk melaksanakan skenario
dimana pengguna dalam berinteraksi dengan sistem dan untuk mewakili perilaku kontroller.