• DocumentCode
    580147
  • Title

    Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines

  • Author

    Morris, Karl A. ; Wei, Jinpeng ; Clarke, Peter J. ; Costa, Fábio M.

  • Author_Institution
    Sch. of Comput. & Inf. Sci., Florida Int. Univ., Miami, FL, USA
  • fYear
    2012
  • fDate
    25-27 Oct. 2012
  • Firstpage
    82
  • Lastpage
    89
  • Abstract
    A developing paradigm in the area of Software Engineering is that of Model Driven Development where models are used to express operations that are thereafter interpreted and executed through the use of an execution engine. The high level of abstraction within these models present inherent challenges in guaranteeing operation that respect policies and other constraints during execution. Additionally, the domain specificity necessarily present within these execution engines make them rigid and not suited for repurposing across different domains. We propose to address these issues through the use of a middleware architecture that is responsible for the service delivery aspect of the execution engine. Our architecture will provide a separation of domain specific and domain independent concerns, resulting in a set of domain specific artifacts which possess domain knowledge, and a generalized execution platform that inherits its operations from the domain artifacts. Our design facilitates the realization of user intent through the generation, validation and execution of adaptation models at runtime constrained by policies. We show the viability of this approach in the User-Centric Communication Middleware, a layer of the Communication Virtual Machine, which is responsible for enforcing communication requirements.
  • Keywords
    middleware; program verification; software architecture; specification languages; virtual machines; adaptable middleware architecture; communication virtual machine layer; domain independent concerns; domain specific artifacts; domain specific concerns; generalized execution platform; i-DSML execution engines; interpreted domain-specific modeling language; model driven development; service delivery validation; software engineering; user-centric communication middleware; Adaptation models; Computer architecture; Cryptography; Engines; Middleware; Runtime; Virtual machining; Adaptable Middleware; Domain Independence; Functional Assurance; Models at Runtime;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on
  • Conference_Location
    Omaha, NE
  • ISSN
    1530-2059
  • Print_ISBN
    978-1-4673-4742-6
  • Type

    conf

  • DOI
    10.1109/HASE.2012.25
  • Filename
    6375641