Jurnal Internasional Ilmu Komp

Sage Publication : Behavior Protocols for Software Components

---

In this paper, we propose a means to enhance an architecture description language with a description of component
behavior. A notation used for this purpose should be able to express the “interplay” on the component’s interfaces and reflect step-bystep
refinement of the component’s specification during its design. In addition, the notation should be easy to comprehend and allow
for formal reasoning about the correctness of the specification refinement and also about the correctness of an implementation in terms
of whether it adheres to the specification. Targeting all these requirements together, the paper proposes employing behavior protocols
which are based on a notation similar to regular expressions. As proof of the concept, the behavior protocols are used in the SOFA
architecture description language at three levels: interface, frame, and architecture. Key achievements of this paper include the
definitions of bounded component behavior and protocol conformance relation. Using these concepts, the designer can verify the
adherence of a component’s implementation to its specification at runtime, while the correctness of refining the specification can be
verified at design time.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

EJ1.14

Penerbit

: ., 2002

Deskripsi Fisik

-

Bahasa

English

ISBN/ISSN

-

Klasifikasi

EJ1.14

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar