Current Proceedings on Technology

Yazarlar: Sara Basiri, Vahid Rafe

Konular:-

Anahtar Kelimeler:Refinement,Π-ARL,Π-ADL,SADL,RAPID,Z ,VDM,UNITY,AADL,Graph Transformation System

Özet: Complex systems cannot be developed in one step. Often, these systems are implemented through a stepwise refinement. Refinement is a sequence of steps which starts from a high-level specification of the architecture and , leads to a concrete model by adding more details in each step. There are different architecture definition languages for performing refinement. There are different number of languages and methods for model refinement such as π-ARL, π-ADL, SADL, etc. It is important for designers to know when and where they should use which language or method. In this article, we briefly explain and compare different refinement approaches. 

---