A Generic Model of Execution for Synthesizing Domain-Specific Models
Reads0
Chats0
TLDR
The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process, where the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed.Abstract:
OF THE DISSERTATION A GENERIC MODEL OF EXECUTION FOR SYNTHESIZING DOMAIN-SPECIFIC MODELS by Mark Allison Florida International University, 2014 Miami, Florida Professor Peter J. Clarke, Major Professor Software engineering researchers are challenged to provide increasingly more powerful levels of abstractions to address the rising complexity inherent in software solutions. One new development paradigm that places models as abstraction at the forefront of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code. Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process.read more
Citations
More filters
Journal ArticleDOI
A user-centric approach to dynamic adaptation of reusable communication services
TL;DR: This work proposes a balance between smart reusable integration, automation and user controllability, through a dynamically adaptive user-centric approach that utilizes goal-oriented intent modeling that leverages the convergence of services and providers for the user through reuse, autonomic adaptation of services.
Comparative transition system semantics
TL;DR: Sequential composition, non-deterministic choice, iteration, and interleaving are analyzed alongside a notion of data and a “logical” approach to the notion of a bisimulation is taken.
References
More filters
Journal Article
Extensible Markup Language (XML).
TL;DR: XML is an extremely simple dialect of SGML which is completely described in this document, to enable generic SGML to be served, received, and processed on the Web in the way that is now possible with HTML.
Journal ArticleDOI
Software reuse
TL;DR: This paper surveys the different approaches to software reuse found in the research literature and uses a taxonomy to describe and compare the different approach and make generalizations about the field of software reuse.
Journal ArticleDOI
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation
A.J. Albrecht,J.E. Gaffney +1 more
TL;DR: In this paper, the equivalence between Albrecht's external input/output data flow representative of a program (the function points" metric) and Halstead's [2] "software science" or "software linguistics" model of a programming program as well as the "soft content" variation of Halsteads model suggested by Gaffney [7] was demonstrated.
Journal ArticleDOI
Domain-specific languages: an annotated bibliography
TL;DR: The literature available on the topic of domain-specific languages as used for the construction and maintenance of software systems is surveyed, and a selection of 75 key publications in the area is listed.
Refactoring object-oriented frameworks
TL;DR: This thesis gives some conservative algorithms for determining whether a program satisfies constraints, and describes how to use this design information to refactor a program.