Aliran Data Aljabar Sebagai Spesifikasi Formal dari Data Flow Diagram

Data Flow Diagrams (DFD) merupakan sebuah teknik dasar yang mewakili struktur suatu sistem. DFD juga merupakan bagian yang penting dari keseluruhan metodologi sistem analisis struktur seperti SSADM dan Yourdon, sebuah pendekatan yang berorientasi pada objek. Selain itu, DFD juga dikenal sebagai metodologi desain, misalnya diagram struktur yang digunakan oleh Yourdon dapat dianggap sebagai dasar dari DFD. Diagram struktur merupakan diagram yang digunakan untuk menggambarkan struktur perangkat keras dan komunikasi dalam suatu sistem. Proses diagram tersebut kemudian digunakan untuk menggambarkan sistem paralel (message-passing).

Oleh karena DFD begitu banyak digunakan, maka DFD menjadi sangat penting dan harus memiliki sistem spesifikasi formal terutama dalam situasi dimana desain aspek keamanan menjadi aspek yang kritikal sehingga memerlukan penalaran tentang perilaku sistem untuk membangun kepercayaan secara formal. untuk menunjukkan bagaimana peraturan yang mengatur topologi DFD dalam metodologi tertentu dapat mengembalikan dan mendefinisikan DFD, seperti menentukan semantik dari DFD, menyediakan kerangka kerja yang dapat menghasilkan spesifikasi formal untuk DFD.

Beberapa pendekatan sejauh ini hanya berfokus pada spesifikasi proses dalam komponen individual. Masalah dari pendekatan tersebut adalah ketika mereka digunakan untuk kasus yang sederhana dimana aliran data terjadi secara berurutan (sequencing) sehingga pengolahan dapat diprediksi. Mereka tidak memprediksi permasalahan yang lebih kompleks. Beberapa upaya telah dilakukan untuk mengatasi masalah urutan (sequencing) ini, baik menggunakan non-deterministic model maupun activation logic untuk mengaktifkan urutan yang mungkin ditentukan dari pola-pola aliran data. Dalam setiap kasus, akar permasalahannya adalah berasal dari DFD itu sendiri, yaitu diagram tidak memberitahukan cara bagaimana proses perlu diaktifkan untuk menangani input aliran data atau bagaimana cara menghasilkan output aliran data.

Gambaran DFD ditunjukkan dalam Figure 1 (yang menggunakan versi sederhana dari notasi SSADM, proses ditampilkan sebagai persegi). Gambar tersebut tidak menunjukkan indikasi urutan (sequencing) dari aliran data tertentu, namun cara input dan output individu dalam proses akan sangat berkaitan. Gambar tersebut menunjukkan bahwa kedatangan suatu data dalam sebuah pesan akan menghasilkan satu data keluaran dan metodologi digunakan untuk mengintepretasi kondisi tersebut. 

Sumber : Dataflow Algebras as Formal Specifications of Data Flow Diagrams Oleh A. J. Cowling