Supporting Separation of Concerns to Automation of Code Generation
نویسنده
چکیده
Aspect-oriented framework is a new paradigm that complements the aspect-oriented technology. The premise of aspect-oriented technology is the separation of concerns, where functional components are designed relatively in isolation of the non-functional components in order to avoid the code-tangling phenomena. In this paper we present a formal methodology that supports the aspectual behavioral modeling for concurrent software systems in order to aid the system designers in validating the design of a concurrent software system against its requirements and automating the implementation of these systems from their constructed models. Keyword: Aspect Orientation, Code Automation, Framework, CASE
منابع مشابه
Rewritable Reference Attributed Grammars design, implementation, and applications
This thesis presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRAGs), is completely declarative and supports both rewrites and computations by means of attributes. We have implemented ReRAGs in our aspect-oriented compiler compiler tool JastAdd II. We present the ReRAG formalism, ...
متن کاملA Giotto-Based Helicopter Control System
We demonstrate the feasibility and benefits of Giotto-based control software development by reimplementing the autopilot system of an autonomously flying model helicopter. Giotto offers a clean separation between the platformindependent concerns of software functionality and I/O timing, and the platformdependent concerns of software scheduling and execution. Functionality code such as code comp...
متن کاملAutomated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging technique that helps improve separation of concerns in software systems. It has received a great deal of recent interest. However, algorithms and empirical results for testing of aspect-oriented programs are lagging some way behind this upsurge in interest. To date, there are few published approaches to automated test data generation for aspectoriented...
متن کاملAn Approach for Supporting Aspect-Oriented Domain Modeling
This paper describes a technique for improving separation of concerns at the level of domain modeling. A contribution of this new approach is the construction of support tools that facilitate the elevation of crosscutting modeling concerns to first-class constructs in a type-system. The key idea is the application of a variant of the OMG Object Constraint Language to models that are stored pers...
متن کاملEnabling High-Level Application Development for the Internet of Things. (Environnement de développement d'applications pour l'Internet des objets)
Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakeholders involved in the application development have to address issues that can be attributed to different life-cycle...
متن کامل