Formal specification of generative component assembly using two-level grammar

Barrett R Bryant,Rajeev R Raje,Andrew M Olson,Mikhail Auguston,Carol C Burt

doi:10.1145/568760.568796

Formal specification of generative component assembly using two-level grammar

Barrett R Bryant, Rajeev R Raje + Show 3 more

https://doi.org/10.1145/568760.568796

Copy DOI

Publication Date: Jul 15, 2002

Citations: 11

Affiliation: Indiana University – Purdue University Indianapolis, University of Alabama at Birmingham, New Mexico State University

#Two-Level Grammar #Set Of Test Cases + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

Two-Level Grammar (TLG) is proposed as a formal specification language for generative assembly of components. Both generative domain models and generative rules may be expressed in TLG and these specifications may be automatically translated into an implementation which realizes an integration of components according to the principles of the Unified Meta-component Model (UMM) and Unified Approach (UA) to component integration. Furthermore, this implementation realizes Quality of Service (QoS) guarantees by means of static QoS verification at the time of system assembly, and dynamic QoS validation on a set of test cases.

Full Text