AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications

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

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

Journal of Systems and Software ◽

10.1016/j.jss.2013.07.008 ◽

2013 ◽

Vol 86 (11) ◽

pp. 2890-2905 ◽

Cited By ~ 28

Author(s):

José R. Hoyos ◽

Jesús García-Molina ◽

Juan A. Botía

Keyword(s):

Domain Specific Language ◽

Context Aware ◽

Context Modeling ◽

Specific Language ◽

Domain Specific

Download Full-text

Assessing and Evolving a Domain Specific Language for Formalizing Software Engineering Experiments: An Empirical Study

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194014400178 ◽

2014 ◽

Vol 24 (10) ◽

pp. 1509-1531 ◽

Cited By ~ 3

Author(s):

Marília Freire ◽

Uirá Kulesza ◽

Eduardo Aranha ◽

Gustavo Nery ◽

Daniel Costa ◽

...

Keyword(s):

Software Engineering ◽

Empirical Study ◽

Statistical Design ◽

Domain Specific Language ◽

Controlled Experiments ◽

Specific Language ◽

Model Driven ◽

Domain Specific ◽

Computational Support ◽

Model Driven Approach

The research about the formalization and conduction of controlled experiments in software engineering has reported important insights and guidelines for their organization. However, the computational support to formalize and execute controlled experiments still requires deeper investigation. In this context, this paper presents an empirical study that evaluates a domain-specific language (DSL) proposed to formalize controlled experiments in software engineering. The language is part of a model-driven approach that allows the generation of executable workflows for the experiment participants, according to the statistical design of the experiment. Our study involves the modeling of 16 software engineering experiments to analyze the completeness and expressiveness of the investigated DSL when specifying different controlled experiments. The results highlight several limitations of the DSL that affect the formalization and execution of experiments. These outcomes were used to extend and improve the evaluated DSL. Finally, the improved version of the language was used to model the same experiments in order to illustrate the benefits of the proposed improvements.

Download Full-text

Midgar: Creation of a Graphic Domain-Specific Language to Generate Smart Objects for Internet of Things Scenarios Using Model-Driven Engineering

IEEE Access ◽

10.1109/access.2020.3012503 ◽

2020 ◽

Vol 8 ◽

pp. 141872-141894

Author(s):

Cristian Gonzalez Garcia ◽

Daniel Meana-Llorian ◽

Vicente Garcia-Diaz ◽

Andres Camilo Jimenez ◽

John Petearson Anzola

Keyword(s):

Internet Of Things ◽

Domain Specific Language ◽

Model Driven Engineering ◽

Smart Objects ◽

Specific Language ◽

Model Driven ◽

Domain Specific

Download Full-text

A domain-specific language for the model-driven construction of advanced web-based dialogs

Proceeding of the 17th international conference on World Wide Web - WWW '08 ◽

10.1145/1367497.1367660 ◽

2008 ◽

Cited By ~ 3

Author(s):

Patrick Freudenstein ◽

Martin Nussbaumer ◽

Florian Allerding ◽

Martin Gaedke

Keyword(s):

Domain Specific Language ◽

Web Based ◽

Specific Language ◽

Model Driven ◽

Domain Specific

Download Full-text

A domain-specific language for defining static structure of database applications

Computer Science and Information Systems ◽

10.2298/csis090203002d ◽

2010 ◽

Vol 7 (3) ◽

pp. 409-440 ◽

Cited By ~ 8

Author(s):

Igor Dejanovic ◽

Gordana Milosavljevic ◽

Branko Perisic ◽

Maja Tumbas

Keyword(s):

Source Code ◽

Domain Specific Language ◽

Static Structure ◽

Code Generator ◽

Specific Language ◽

Meta Model ◽

Model Driven ◽

Domain Specific ◽

Definition Of ◽

Execution Semantics

In this paper we present DOMMLite - an extensible domain specific language (DSL) for static structure definition of data base oriented applications. The model-driven engineering (MDE) approach, an emerging software development paradigm, has been used. The language structure is defined by the means of a meta model supplemented by validation rules based on Check language and extensions based on Extend language, which are parts of the openArchitectureWare framework [1]. The meta model has been defined along with the textual syntax, which enables creation, update and persistence of DOMMLite models using a common text editor. DSL execution semantics has been defined by the specification and implementation of the source code generator for a target platform with an already defined execution semantics. In order to enable model editing, a textual Eclipse editor has also been developed. DSL, defined in this way, has the capability of generating complete source code for GUI forms with CRUDS (Create-Read-Update-Delete-Search) and navigation operations [2,3,4,5].

Download Full-text

CrowDSL: Platform for Incidents Management in a Smart City Context

Big Data and Cognitive Computing ◽

10.3390/bdcc5030044 ◽

2021 ◽

Vol 5 (3) ◽

pp. 44

Author(s):

Darío Rodríguez-García ◽

Vicente García-Díaz ◽

Cristian González García

Keyword(s):

Smart City ◽

Smart Cities ◽

Expressive Power ◽

Incident Reporting ◽

Domain Specific Language ◽

Crowd Sourcing ◽

Specific Domain ◽

Specific Language ◽

Model Driven ◽

Domain Specific

The final objective of smart cities is to optimize services and improve the quality of life of their citizens, who can play important roles due to the information they can provide. This information can be used in order to enhance many sectors involved in city activity such as transport, energy or health. Crowd-sourcing initiatives focus their efforts on making cities safer places that are adapted to the population size they host. In this way, citizens are able to report the issues they identify to the relevant body so that they can be fixed and, at the same time, they can provide useful information to other citizens. There are several projects aimed at reporting incidents in a smart city context. In this paper, we propose the use of model-driven engineering by designing a graphical domain-specific language to abstract and improve the incident-reporting process. With the use of a domain-specific language, we can obtain several benefits in our research for users and cities. For instance, we can shorten the time for reporting the events by users and, at the same time, we gain an expressive power compared to other methodologies for incident reporting. In addition, it can be reused and is centered in this specific domain after being studied. Furthermore, we have evaluated the DSL with different users, obtaining a high satisfaction percentage.

Download Full-text