Domain specific modeling language

Abstract: The gap between the demand for complex system software and the supply of this demand has widened. This distance and complexity of software design has led software engineers to find a solution to these two problems as a crisis. Due to this problem, systems have become more complex and creating software for them has become increasingly difficult due to the timely completion of the project and the project budget constraints. Reusing software as a major factor in reducing some problems Due to the software crisis, it has become increasingly important. Traditional approaches to reusing software in dealing with the software crisis are considered ineffective in practice. Over the past few years, a new approach to software reuse has attracted much attention from the industry. This approach is known as the software development product line, and software reuse has become a major achievement within the organization. Has been. Production lines in the manufacturing industry have long been used to reduce costs and increase productivity by exploiting commonalities between products.
However, the product line in practice in the software industry is a relatively new concept. Studies have shown that organizations can use this approach, significant improvements in productivity, market entry time, product quality and satisfaction. Have a customer.

Data acquisition is the process of capturing and measuring physical data and then converting the results into a digital form that is further manipulated by a computer program. Within the industry, data acquisition systems (measurement systems) are used in a wide variety of fields, including product quality testing. Usually measuring systems are complicated devices, however newer data acquisition systems tend to be easier to use. As such, they open the door for the development of customized software, which can be easily manipulated, not only by programmers but also by domain experts, enabling them to understand and modify programs. Raising the level of abstraction, particularly with those programs that use visual models, can be an effective aid for domain experts, who are then able to model their programs on their own. This paper describes the design and use of a domain-specific modeling language called the Sequencer, integrated with the measuring equipment DEWESoft, which enables domain experts to model their own data acquisitions. Specifically, in this paper the Sequencer is exposed to: domain concepts identification, the construction of modeling notation, a connection with execution framework, and the end-users’ point of view on the modeling tool. The use of the Sequencer will be presented on car brake tests. For this purpose, the Sequencer has already been successfully applied in the automotive industry.

In this paper we present our approach to rigorously handle variation within a family of languages. Our starting point is a case study that we developed with industrial partners, where a major difficulty arised from the need to work with a set of domain specific languages (DSLs). Our solution is based on using the category theory. We consider the category

The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive , in the sense that they allow the formal analysis, verification, and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software.

Abstract Software agents are considered as autonomous software components which are capable of acting to meet its design objectives. To perform their tasks and interact with each other, agents constitute systems called Multi-agent systems (MAS). Although agent researchers have a great effort in MAS metamodeling and model-driven MAS development, a significant deficiency exists in current studies when we consider providing a complete Domain Specific Modeling Language (DSML) for MASs. We believe that a DSML ...

Domain-specific modeling languages amortize the cost of the development of a language over all the software products they can be used for. This paper describes an infrastructure for developing DSMLs and using them in a systematic manner. The infrastructure consists of a modeling ...

Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure to describe systems using domain-specific abstractions, to specify and imple- ment model transformations, and to analyze structural properties of models. In spite of its general importance the structural semantics of modeling languages are not well-understood. In this paper we develop the formal

Abstract. OCL 2.0 specifies a standard library of predefined types and associated operations. A model-level representation of the library is required to reference its elements within the abstract syntax model created by an OCL parser. Existing OCL engines build this model in the implementation code which severely limits reusability, flexibility and maintainability. To address these problems, we show how a common pivot model with explicit support for template types can help to externalize the definition of the standard library and integrate it with instances of arbitrary domain-specific modeling languages. We exemplify the feasibility of our approach with a prototypical implementation for the Dresden OCL2 Toolkit and present a tailored EMF editor for modeling the OCL types and operations. We limit our discussion to the model level, i.e., we do not consider an implementation of the standard library for an execution engine. 1

Domain-specific modeling languages amortize the cost of the development of a language over all the software products they can be used for. This paper describes an infrastructure for developing DSMLs and using them in a systematic manner. The infrastructure consists of a modeling ...

The use of social networks is still confined to infrastructure-based networks such as the Internet. However, many situations (conferences, fairs, etc.) may require the implementation and rapid deployment of an ad-hoc application for disseminating information: we call this type of application, Ad-hoc Social Network. These applications are necessarily distributed, deployable on mobile units, etc. They therefore inevitably share the same characteristics as those inherent in ad-hoc mobile networks and make them good candidates for their deployment. In this paper, by using techniques from the field of generative programming, we propose an approach to produce environments for generating such applications from their specifications in a domain-specific language. By applying this approach, we have developed SMGenerator, an environment for generating mobile ad-hoc social network applications for Android devices. Moreover by using SMGenerator, we easily generated the ConfInfo application: an ad-hoc social network application for disseminating information to participants in a scientific manifestation.

The design of safety-critical systems and business-critical services necessitates to coordinate between a large variety of tools used in different phases of the development process. As certification frequently prescribes to achieve justified compliance with regulations of authorities, integrated tool chain should strictly adhere to the development process itself. In order to manage complexity, we follow a model-driven approach where the development process is captured using a precise domain-specific modeling language. Each individual step within this process is represented transparently as a service. Moreover, to carry out individual tasks, systems engineers are guided by semi-automated transformation steps and well-formedness constraint checking. Both of them are formalized by graph patterns and graph transformation rules as provided by the Viatra2 framework. In our prototype implementation, we use the popular JBPM workflow engine as orchestration means between different design and verification tools. We also give some insights how this tool integration approach was applied in recent projects.

It is widely acknowledged that Automated Demand Response (ADR) is a key factor for the success of the Smart Grid. However, for ADR to be realized to its full extent a new generation of Building Automation Systems (BASs) will have to be developed and the existing upgraded to leverage dynamic tariff plans and curtailment calls sent from the grid. It is well known that developing BASs is an involved matter, mostly because application software is costly to develop and maintain. In practice, this state of affairs is slowing the rise of innovative solutions for ADR. In recent years, software engineering practices such as Model-Driven Engineering have been proposed as a means to alleviate the problem of developing BASs, which we believe should be presented to the Smart Grid community. This article presents the main challenges of creating software for BASs (from a modelling perspective), overviews the state-of-the-art and presents an outlook on possible model-driven engineering techniques that can be effectively applied to significantly improve the development of BASs in the near future.

It is widely acknowledged that Automated Demand Response (ADR) is a key factor for the success of the Smart Grid. However, for ADR to be realized to its full extent a new generation of Building Automation Systems (BASs) will have to be developed and the existing upgraded to leverage dynamic tariff plans and curtailment calls sent from the grid. It is well known that developing BASs is an involved matter, mostly because application software is costly to develop and maintain. In practice, this state of affairs is slowing the rise of innovative solutions for ADR. In recent years, software engineering practices such as Model-Driven Engineering have been proposed as a means to alleviate the problem of developing BASs, which we believe should be presented to the Smart Grid community. This article presents the main challenges of creating software for BASs (from a modelling perspective), overviews the state-of-the-art and presents an outlook on possible model-driven engineering techniques that can be effectively applied to significantly improve the development of BASs in the near future.

The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive , in the sense that they allow the formal analysis, verification, and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software.