A translation approach to component specification

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.

[1]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[2]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[3]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[4]  Rajeev R. Raje,et al.  A Unified Approach for the Integration of Distributed Heterogeneous Software Components , 2001 .

[5]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[6]  Beum-Seuk Lee,et al.  Two-level grammar as an object-oriented requirements specification language , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[7]  Rajeev R. Raje,et al.  Formal specification of generative component assembly using two-level grammar , 2002, SEKE '02.

[8]  Terry Quatrani.  Visual modelling with Rational Rose 2000 and UML , 1998 .

[9]  Rajeev R. Raje.  UMM: Unified Meta-object Model for Open Distributed Systems , 2000 .

[10]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[11]  Yuichi Nakamura,et al.  Building Web Services with Java: Making Sense of XML, SOAP, WSDL, and UDDI , 2001 .

[12]  Rajeev R. Raje,et al.  A Quality of Service Catalog for Software Components , 2002 .

[13]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[14]  Fei Cao,et al.  Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge , 2002, ICFEM.

[15]  Terry Quatrani.  Visual modeling with Rational Rose 2000 and UML (2nd ed.) , 2000 .