UniFrame: A Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems

Abstract : This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components on a network in order to assemble a specified system. UniFrame employs a formal specification language to define the components and serve as a basis for generating glue/wrapper code that connects heterogeneous components. It also provides a high level language for the system developer to use for inserting code in a created system to validate it empirically and estimate the quality of service it supports. The chapter demonstrates how a comprehensive approach, which involves the practicing community as well as technical experts, can lead to solutions of many of the difficulties inherent in constructing distributed computing systems.

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  Oscar Nierstrasz,et al.  Towards a formal composition language , 1997 .

[3]  Wolfgang Weck.  Independently Extensible Component Frameworks , 1997 .

[4]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[5]  Rajeev R. Raje,et al.  The Uniframe Quality of Service Framework , 2002 .

[6]  Rajeev R. Raje,et al.  A quality‐of‐service‐based framework for creating distributed heterogeneous software components , 2002, Concurr. Comput. Pract. Exp..

[7]  Martin L. Griss.  Product-line architectures , 2001 .

[8]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

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

[10]  John. Butler.  Succeeding with Component-Based Architecture in e-Government , 2003 .

[11]  Rajeev R. Raje,et al.  An Architecture for the UniFrame Resource Discovery Service , 2002, SEM.

[12]  Richard Mark Soley,et al.  Model Driven Architecture-The Architecture Of Choice For A Changing World , 2001 .

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

[14]  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.

[15]  Mikhail Auguston.  Program Behavior Model Based on Event Grammar and its Application for Debugging Automation , 1995, AADEBUG.

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

[17]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[18]  Peter Fritzson,et al.  Using assertions in declarative and operational models for automated debugging , 1994, J. Syst. Softw..

[19]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[20]  Changlin Sun.  QoS Composition and Decomposition Model in Uniframe , 2003 .

[21]  Zhisheng Huang.  The Uniframe System-Level Generative Programming Framework , 2003 .

[22]  Don S. Batory,et al.  Composition Validation and Subjectivity in GenVoca Generators , 1997, IEEE Trans. Software Eng..