You are on page 1of 2

Rekayasa Kebutuhan untuk Sistem Reaktif dengan Coloured Petri Nets: Contoh Pengendali Pompa Bensin

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

pengguna pemodelan dari

CPN adalah

perilaku generik

controller

contoh

modul

menafsirkan deskripsi skenario ditentukan dalam CPN ML.

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.

2. Penggunaan Kasus dan Skenario untuk studi Kasus


Dalam tulisan ini, disajikan sebuah pendekatan berbasis model untuk rekayasa persyaratan untuk reaktif sistem, sebuah dan CPN lebih khusus yang untuk kontroler. Pendekatan persyaratan ini bertujuan untuk memperoleh

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,

menggambarkan dengan diberikan)

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.

You might also like