Gabor Karsai, Alessandro Coglio, Abhishek Dubey
2022
The increasing complexity of software systems and rapid requirement changes necessitate flexible development approaches that can quickly propagate changes throughout system designs. This work is significant because it provides technologies for intent-driven development that separates specification from implementation, enabling rapid adaptation to changing requirements. The domain-specific language and synthesis approaches automate much of the configuration process.
This work presents MODEL-BASED INTENT-DRIVEN ADAPTIVE SOFTWARE (MIDAS), a comprehensive technology for rapid configuration and adaptation of service-based system software. The framework uses domain-specific modeling languages for program synthesis and a specification tool for deferred concretization of software system designs. The approach enables automatic generation of software implementations from high-level specifications.
The framework was evaluated through implementation of service-based systems and demonstrated successful generation of software implementations from specifications. The approach reduced development time and enabled more rapid response to requirement changes. The flexibility of the domain-specific language allowed expression of complex system behaviors while maintaining clear separation between intent and implementation.
@techreport{karsai2022model,
author = {Karsai, Gabor and Coglio, Alessandro and Dubey, Abhishek},
institution = {Vanderbilt University},
title = {Model-Based Intent-Driven Adaptive Software (MIDAS)},
year = {2022},
abstract = {The increasing complexity of software systems makes the rapid propagation of requirement changes into the design and implementation code very problematic. The goal of the Intent-Driven Adaptive Software program was to develop technologies that assist developers in making changes to requirements and automatically propagating those changes to the design and implementation of software systems. The Model-based Intent-Driven Adaptive software project developed a vision for a comprehensive technology to achieve this goal by developing and implementing two components of that vision a program specification and synthesis tool, and a domain-specific language and generators for the rapid configuration and adaptation of service-based architectures. These two results can serve as a foundation for the future implementation of the vision.},
keywords = {model-based software engineering, domain-specific languages, program synthesis, service-based systems}
}