A translation approach to component specification

Authors:
Fei Cao;Barrett R. Bryant;Wei Zhao;Carol C. Burt;Rajeev R. Raje;Mikhail Auguston;Andrew M. Olson
Affiliations:
University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL;Indiana University Purdue University at Indianapolis;New Mexico State University;Indiana University Purdue University at Indianapolis
Venue:
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2002

Citing 10
Cited 1

Communicating sequential processes

Communicating sequential processes
The Z notation: a reference manual

The Z notation: a reference manual
Abstractions for Software Architecture and Tools to Support Them

IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing architectural connection

ICSE '94 Proceedings of the 16th international conference on Software engineering
Visual modeling with Rational Rose 2000 and UML (2nd ed.)

Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Building Web Services with Java: Making Sense of Xml, Soap, Wsdl, and Uddi

Building Web Services with Java: Making Sense of Xml, Soap, Wsdl, and Uddi
Formal specification of generative component assembly using two-level grammar

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
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
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

A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

UniFrame is a framework for seamlessly assembling heterogeneous distributed components. It is based on the Unified Meta-component Model (UMM). UniFrame uses two-level grammar (TLG) for formally specifying components and translation into other component representations for component service export and assembly.