Formal specification of generative component assembly using two-level grammar

Authors:
Barrett R. Bryant;Carol C. Burt;Mikhail Auguston;Rajeev R. Raje;Andrew M. Olson
Affiliations:
Univ. Alabama-Birmingham, Birmingham, AL;Univ. Alabama-Birmingham, Birmingham, AL;New Mexico State University, Las Cruces, NM;Indiana Univ. Purdue Univ., Indianapolis, IN;Indiana Univ. Purdue Univ., Indianapolis, IN
Venue:
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Year:
2002

Citing 4
Cited 4

Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Two-Level Grammar as an Object-Oriented Requirements Specification Language

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
ProcessNFL: A Language for Describing Non-functional Properties

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
An architecture for the UniFrame resource discovery service

SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware

Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A generative approach to framework instantiation

Proceedings of the 2nd international conference on Generative programming and component engineering
A translation approach to component specification

OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A component-based approach for constructing high-confidence distributed real-time and embedded systems

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

Quantified Score

Hi-index	0.02

Visualization

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.