A domain-specific language for context modeling in context-aware systems

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.

Download Full-text

Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0008910502990306 ◽

2020 ◽

Cited By ~ 1

Author(s):

Stefan Kapferer ◽

Olaf Zimmermann

Keyword(s):

Domain Specific Language ◽

Context Modeling ◽

Specific Language ◽

Domain Specific

Download Full-text

A MDSD Approach for Adaptable Service Oriented Systems based on Domain Specific Language Engineering

International Journal of Adaptive Resilient and Autonomic Systems ◽

10.4018/ijaras.2016010101 ◽

2016 ◽

Vol 7 (1) ◽

pp. 1-25

Author(s):

Mohammed Lethrech ◽

Adil Kenzi ◽

Issam Elmagrouni ◽

Mahmoud Nassar ◽

Abdelaziz Kriouile

Keyword(s):

Domain Specific Language ◽

Context Aware ◽

Context Model ◽

Code Generator ◽

Language Engineering ◽

Specific Language ◽

Domain Specific ◽

Service Oriented ◽

Final Code ◽

Variability Model

The simultaneous use of the new computing paradigms: Domain Specific Modeling, Context Oriented Computing and Service Oriented Computing, raises many challenges. Particularly, the challenge of engineering such systems, which consists of the definition of modeling approaches, processes, techniques and tools to facilitate their construction. The proposed MDSD approach for context-aware service oriented systems is based on Domain Specific Language Engineering. The Context-Aware, Domain Specific and Service Oriented (CADSSO) development approach is based on five models. The first one is domain specific context model; it symbolizes the services context of use. The second is domain specific services model; it takes care of services modeling. The third is service variability model; it formulates services variants. The fourth is adaptation rules model, which is the joint between service variability model and context model. The fifth is business rules model, used to model domain business. A code generator is in charge of the transformation of the five models to the final code.

Download Full-text