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
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;
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on
Conference_Location :
Omaha, NE
Print_ISBN :
978-1-4673-4742-6
DOI :
10.1109/HASE.2012.25