Journal articles: 'DSML(Domain Specific Modeling language)'

1

Jiang, Tao, and Weihong Zhou. "An Approach of Defining Domain Constraints for Domain-Specific Modeling Language." International Journal of Pattern Recognition and Artificial Intelligence 35, no. 09 (April 10, 2021): 2153002. http://dx.doi.org/10.1142/s0218001421530025.

Full text

Abstract:

Many Domain-Specific Modeling Languages (DSML) cannot formally define their semantics, leading to difficulties in identifying user-defined domain constraints. In this study, we propose a user-defined mechanism of domain constraints based on the formalization of structural semantics of DSML. First, we formally define concepts and decision methods of consistency and validity of domain constraints. Subsequently, we establish concepts and reasoning methods of domain-based model consistency. Thus, several domain constraint instances are defined and different models instances’ consistency are reasoned based on formalization of software architecture domain metamodel to illustrate our approach. Finally, our formal definition mechanism of domain constraint is added to our automatic translator for formalizing DSML and its models to automatically reason about domain constraints built based on DSML.

APA, Harvard, Vancouver, ISO, and other styles

2

Zamani, Bahman, and Shiva Rasoulzadeh. "A Domain Specific Modeling Language for Enterprise Application Development." International Journal of Information Technologies and Systems Approach 11, no. 2 (July 2018): 51–70. http://dx.doi.org/10.4018/ijitsa.2018070104.

Full text

Abstract:

This article describes how experience in domain specific modeling can be captured and abstracted in a domain specific modeling language (DSML). Modeling with a DSML results in quality models. Patterns of enterprise application architecture (PofEAA) is a rich set of patterns that can be used by designers when designing (modeling) web-based enterprise applications. This article aims at defining a DSML based on PofEAA patterns, as well as providing tool support for designing web-based enterprise applications that use these patterns. The authors have built a DSML using the profile extension mechanism of UML, by defining stereotypes. In addition to the proposed profile, this article has implemented the structure and behavior of PofEAA patterns in Rational Software Architecture (RSA) which is resulted in a tool that facilitates the design of software for designers. To show the usefulness of the tool, it is used for modeling two small systems based on the PofEAA patterns. The results show that many of the design is automated and the modeling speed is increased.

APA, Harvard, Vancouver, ISO, and other styles

3

CHEN, KAI, JOSEPH PORTER, JANOS SZTIPANOVITS, and SANDEEP NEEMA. "COMPOSITIONAL SPECIFICATION OF BEHAVIORAL SEMANTICS FOR DOMAIN-SPECIFIC MODELING LANGUAGES." International Journal of Semantic Computing 03, no. 01 (March 2009): 31–56. http://dx.doi.org/10.1142/s1793351x09000628.

Full text

Abstract:

Domain-Specific Modeling Languages (DSMLs) play a fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSMLs. Semantic anchoring introduces a set of reusable "semantic units" that provide reference semantics for basic behavioral categories using the Abstract State Machine framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by exploring methods for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study. Formal notions of compositionality are discussed as well as a brief comparison with similar research tools.

APA, Harvard, Vancouver, ISO, and other styles

4

Cánovas Izquierdo, Javier Luis, and Jordi Cabot. "Collaboro: a collaborative (meta) modeling tool." PeerJ Computer Science 2 (October 24, 2016): e84. http://dx.doi.org/10.7717/peerj-cs.84.

Full text

Abstract:

Software development is becoming more and more collaborative, emphasizing the role of end-users in the development process to make sure the final product will satisfy customer needs. This is especially relevant when developing Domain-Specific Modeling Languages (DSMLs), which are modeling languages specifically designed to carry out the tasks of a particular domain. While end-users are actually the experts of the domain for which a DSML is developed, their participation in the DSML specification process is still rather limited nowadays. In this paper, we propose a more community-aware language development process by enabling the active participation of all community members (both developers and end-users) from the very beginning. Our proposal, called Collaboro, is based on a DSML itself enabling the representation of change proposals during the language design and the discussion (and trace back) of possible solutions, comments and decisions arisen during the collaboration. Collaboro also incorporates a metric-based recommender system to help community members to define high-quality notations for the DSMLs. We also show how Collaboro can be used at the model-level to facilitate the collaborative specification of software models. Tool support is available both as an Eclipse plug-in a web-based solution.

APA, Harvard, Vancouver, ISO, and other styles

5

Verdonck, Michael, and Frederik Gailly. "An Ontological Analysis Framework for Domain-Specific Modeling Languages." Journal of Database Management 29, no. 1 (January 2018): 23–42. http://dx.doi.org/10.4018/jdm.2018010102.

Full text

Abstract:

This article describes how domain-specific modeling languages (DSML) are developed to specifically model certain domains and their phenomena. Over the last 15 years, different kinds of DSMLs have been ontologically analyzed to improve their ontological expressiveness. However, the term ‘ontological analyses' encompasses a great variety of different purposes, techniques or methods, and can thus be performed in many different ways without maintaining clear differentiation. Therefore, in this article, the authors aim to structure the process of conducting an ontological analysis, and offers guidelines in the form of descriptive patterns for analyzing a DSML. With the help of this framework, a researcher with a specific purpose can recognize the required patterns and types of methods that can be followed in order to successfully conduct an ontological analysis and achieve the intended purpose.

APA, Harvard, Vancouver, ISO, and other styles

6

Getir, Sinem, Moharram Challenger, and Geylani Kardas. "The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems." International Journal of Cooperative Information Systems 23, no. 03 (August 14, 2014): 1450005. http://dx.doi.org/10.1142/s0218843014500051.

Full text

Abstract:

Development of agent systems is without question a complex task when autonomous, reactive and proactive characteristics of agents are considered. Furthermore, internal agent behavior model and interaction within the agent organizations become even more complex and hard to implement when new requirements and interactions for new agent environments such as the Semantic Web are taken into account. We believe that the use of both domain specific modeling and a Domain-specific Modeling Language (DSML) may provide the required abstraction and support a more fruitful methodology for the development of Multi-agent Systems (MASs) especially when they are working on the Semantic Web environment. Although syntax definition based on a metamodel is an essential part of a modeling language, an additional and required part would be the determination and implementation of DSML constraints that constitute the (formal) semantics which cannot be defined solely with a metamodel. Hence, in this paper, formal semantics of a MAS DSML called Semantic Web enabled Multi-agent Systems (SEA_ML) is introduced. SEA_ML is a modeling language for agent systems that specifically takes into account the interactions of semantic web agents with semantic web services. What is more, SEA_ML also supports the modeling of semantic agents from their internals to MAS perspective. Based on the defined abstract and concrete syntax definitions, we first give the formal representation of SEA_ML's semantics and then discuss its use on MAS validation. In order to define and implement semantics of SEA_ML, we employ Alloy language which is declarative and has a strong description capability originating from both relational and first-order logic in order to easily define complex structures and behaviors of these systems. Differentiating from similar contributions of other researchers on formal semantics definition for MAS development languages, SEA_ML's semantics, presented in this paper, defines both static and dynamic aspects of the interaction between software agents and semantic web services, in addition to the definition of the semantics already required for agent internals and MAS communication. Implementation with Alloy makes definition of SEA_ML's semantics to include relations and sets with a simple notation for MAS model definitions. We discuss how the automatic analysis and hence checking of SEA_ML models can be realized with the defined semantics. Design of an agent-based electronic barter system is exemplified in order to give some flavor of the use of SEA_ML's formal semantics. Lessons learned during the development of such a MAS DSML semantics are also reported in this paper.

APA, Harvard, Vancouver, ISO, and other styles

7

Zivkovic, Srdjan, Krzystof Miksa, and Harald Kühn. "On Developing Hybrid Modeling Methods using Metamodeling Platforms." International Journal of Information System Modeling and Design 6, no. 1 (January 2015): 47–66. http://dx.doi.org/10.4018/ijismd.2015010103.

Full text

Abstract:

It has been acknowledged that model-based approaches and domain-specific modeling (DSM) languages, methods and tools are beneficial for the engineering of increasingly complex systems and software. Instead of general-purpose one-size-fits-all modeling languages, DSM methods facilitate model-based analysis and design of complex systems by providing modeling concepts tailored to the specific problem domain. Furthermore, hybrid DSM methods combine single DSM methods into integrated modeling methods, to allow for multi-perspective modeling. Metamodeling platforms provide flexible means for design and implementation of such hybrid modeling methods and appropriate domain-specific modeling tools. In this paper, we report on the conceptualization of a hybrid DSM method in the domain of network physical devices management, and its implementation based on the ADOxx metamodeling platform. The method introduces a hybrid modeling approach. A dedicated DSM language (DSML) is used to model the structure of physical devices and their configurations, whereas the formal language for knowledge representation OWL2 is used to specify configuration-related constraints. The outcome of the work is a hybrid, semantic technology-enabled DSM tool that allows for efficient and consistency-preserving model-based configuration of network equipment.

APA, Harvard, Vancouver, ISO, and other styles

8

He, Lei, Jian Yao, and Yong Lin Lei. "Air-Combat Decision Modeling Method Based on DSM." Applied Mechanics and Materials 536-537 (April 2014): 416–20. http://dx.doi.org/10.4028/www.scientific.net/amm.536-537.416.

Full text

Abstract:

Air-combat decision modeling in effectiveness simulation has to be concerned with the important feature of decision making, such as complexity, diversity, flexibility. So Several challenges have to be mastered, including: improving the abstract level of modeling, providing friendly modeling language, validating concept model and generated code (or executive model) automatically. In this paper, domain-specific modeling (DSM) method is applied in air-combat decision simulation modeling to cope with those challenges. A graphical and textual domain-specific modeling language (DSML) of air-combat decision is designed through metamodel based on an open source tool, Generic Modeling Environment (GME). A code generator is developed to implement users decision model based on python script.

APA, Harvard, Vancouver, ISO, and other styles

9

Kos, Tomaž, Marjan Mernik, and Tomaž Kosar. "A Tool Support for Model-Driven Development: An Industrial Case Study from a Measurement Domain." Applied Sciences 9, no. 21 (October 26, 2019): 4553. http://dx.doi.org/10.3390/app9214553.

Full text

Abstract:

End-user programming may utilize Domain-Specific Modeling Languages (DSMLs) to develop applications in the form of models, using only abstractions found in a specific problem domain. Indeed, the productivity benefits reported from Model-Driven Development (MDD) are hard to ignore, and a number of MDD solutions are flourishing. However, not all stories from industry on MDD are successful. End-users, without having software development skills, are more likely to introduce software errors than professional programmers. In this study, we propose and encourage other DSML developers to extend the development of DSML with tool support. We believe the programming tools (e.g., debugger, testing tool, refactoring tool) are also needed for end-users to ensure the proper functioning of the products they develop. It is imperative that domain experts are provided with tools that work on the abstraction level that is familiar to them. In this paper, an industrial experience is presented for building various tools for usage in MDD. Debugger, automated testing infrastructure, refactoring, and other tools were implemented for Sequencer, a DSML. Our experience with the implementation of tool support for MDD confirms that these tools are indispensable for end-user programming in practice, and that implementing those tools might not be as costly as expected.

APA, Harvard, Vancouver, ISO, and other styles

10

Vještica, Marko, Vladimir Dimitrieski, Milan Pisarić, Slavica Kordić, Sonja Ristić, and Ivan Luković. "Towards a Formal Specification of Production Processes Suitable for Automatic Execution." Open Computer Science 11, no. 1 (January 1, 2021): 161–79. http://dx.doi.org/10.1515/comp-2020-0200.

Full text

Abstract:

Abstract Technological advances and increasing customer need for highly customized products have triggered a fourth industrial revolution. A digital revolution in the manufacturing industry is enforced by introducing smart devices and knowledge bases to form intelligent manufacturing information systems. One of the goals of the digital revolution is to allow flexibility of smart factories by automating shop floor changes based on the changes in input production processes and ordered products. In order to make this possible, a formal language to describe production processes is needed, together with a code generator for its models and an engine to execute the code on smart devices. Existing process modeling languages are not usually tailored to model production processes, especially if models are needed for automatic code generation. In this paper we propose a research on Industry 4.0 manufacturing using a Domain-Specific Modeling Language (DSML) within a Model-Driven Software Development (MDSD) approach to model production processes. The models would be used to generate instructions to smart devices and human workers, and gather a feedback from them during the process execution. A pilot comparative analysis of three modeling languages that are commonly used for process modeling is given with the goal of identifying supported modeling concepts, good practices and usage patterns.

APA, Harvard, Vancouver, ISO, and other styles

11

Lopes, Felipe Alencar, and Stênio Flávio de Lacerda Fernandes. "Abordagem dirigida a modelos para o gerenciamento de redes definidas por software." Revista Brasileira de Administração Científica 5, no. 2 (November 15, 2014): 186–201. http://dx.doi.org/10.6008/spc2179-684x.2014.002.0014.

Full text

Abstract:

As Redes Definidas por Software (SDN) vêm obtendo grande atenção por parte da comunidade acadêmica e também da indústria, devido a diversos aspectos. Apesar disso, o gerenciamento e o desenvolvimento de aplicações voltadas para este novo campo em redes de computadores ainda são complexos, carentes de metodologias e ferramentas que permitam utilizar todo o nível de abstração possibilitado pelas SDNs. Com foco neste problema, o presente trabalho propõe uma Domain-Specific Modelling Language (DSML), aplicada à abordagem de SDN, aumentando o nível de abstração para o gerenciamento destas redes.

APA, Harvard, Vancouver, ISO, and other styles

12

Djukic, Verislav, Ivan Lukovic, Aleksandar Popovic, and Vladimir Ivancevic. "Model execution: An approach based on extending domain-specific modeling with action reports." Computer Science and Information Systems 10, no. 4 (2013): 1585–620. http://dx.doi.org/10.2298/csis121228059d.

Full text

Abstract:

In this paper, we present an approach to development and application of domain-specific modeling (DSM) tools in the model-based management of business processes. The level of Model-to-Text (M2T) transformations in the standard architecture for domain-specific modeling solutions is extended with action reports, which allow synchronization between models, generated code, and target interpreters. The basic idea behind the approach is to use M2T transformation languages to construct submodels, client application components, and operations on target interpreters. In this manner, M2T transformations may be employed to support not only generation of target platform code from domain-specific graphical language (DSGL) models but also straightforward use of models and appropriate DSM tools as client applications. The applicability of action reports is demonstrated by examples from document engineering, and measurement and control systems.

APA, Harvard, Vancouver, ISO, and other styles

13

Lütjen, Michael, and Abderrahim Ait Alla. "Risk-Optimized Design of Production Systems by Use of GRAMOSA." Mathematical Problems in Engineering 2014 (2014): 1–9. http://dx.doi.org/10.1155/2014/934176.

Full text

Abstract:

Today production and logistic systems are getting more complex. This is a problem which the planning and design of such systems have to deal with. One main issue of production system development in series production is the planning of production processes and systems under uncertainty. New and existing production technologies are often not fully adoptable to new products. This is why some of the main characteristics, like, for example, cost, time, or quality, are not definable at the beginning. Only value ranges and probabilities can be estimated. However, the adaptation process is controllable, which means that the adaptation results are depending on the existing development budget and its resources. This paper presents an approach for the optimized allocation of development resources regarding the adaptation risks of production technologies and processes. The modeling concept GRAMOSA is used for integrated modeling and discrete event-based simulation of the aspired production system. To this end a domain-specific modeling language (DSML) is applied. The further risk-based analysis of the simulation results and the optimized allocation of the development budget are done by use of mathematical optimization.

APA, Harvard, Vancouver, ISO, and other styles

14

Barbier, Guillaume, Véronique Cucchi, François Pinet, and David R. C. Hill. "Domain-Specific Modeling for a Crop Model Factory." International Journal of Agricultural and Environmental Information Systems 4, no. 2 (April 2013): 37–49. http://dx.doi.org/10.4018/jaeis.2013040104.

Full text

Abstract:

In the context of crop model design for industrial purposes, this paper proposes a domain-specific modeling approach to provide a crop model factory for the modelers in agronomy. The authors’ approach proposes to separate the concerns of representing the simulation process (process-based dynamics) and the plant data structure. They propose a refined and stabilized metamodel for the dynamics based on past preliminary work. This paper also explains how the Model-View-Controller design pattern can be applied to DSML environments to produce a more specialist-friendly interface. In addition, the authors propose a metamodeling usage of the Model-View-Controller offering the potential to develop a DSML for DSMLs design.

APA, Harvard, Vancouver, ISO, and other styles

15

Fülöp, Endre, and Norbert Pataki. "A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution." Open Computer Science 11, no. 1 (December 17, 2020): 107–15. http://dx.doi.org/10.1515/comp-2020-0120.

Full text

Abstract:

AbstractStatic analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing. Moreover, static analysis can help in software engineering comprehensively, since static analysis can be used for the validation of code conventions, for measuring software complexity and for executing code refactorings as well. Symbolic execution is a static analysis method where the variables (e.g. input data) are interpreted with symbolic values. Clang Static Analyzer is a powerful symbolic execution engine based on the Clang compiler infrastructure that can be used with C, C++ and Objective-C. Validation of resources’ usage (e.g. files, memory) requires finite state automata (FSA) for modeling the state of resource (e.g. locked or acquired resource). In this paper, we argue for an approach in which automata are in-use during symbolic execution. The generic automaton can be customized for different resources. We present our domain-specific language to define automata in terms of syntactic and semantic rules. We have developed a tool for this approach which parses the automaton and generates Clang Static Analyzer checker that can be used in the symbolic execution engine. We show an example automaton in our domain-specific language and the usage of generated checker.

APA, Harvard, Vancouver, ISO, and other styles

16

Demirkol, Sebla, Moharram Challenger, Sinem Getir, Tomaz Kosar, Geylani Kardas, and Marjan Mernik. "A DSL for the development of software agents working within a semantic web environment." Computer Science and Information Systems 10, no. 4 (2013): 1525–56. http://dx.doi.org/10.2298/csis121105044d.

Full text

Abstract:

Software agents became popular in the development of complex software systems, especially those requiring autonomous and proactive behavior. Agents interact with each other within a Multi-agent System (MAS), in order to perform certain defined tasks in a collaborative and/or selfish manner. However, the autonomous, proactive and interactive structure of MAS causes difficulties when developing such software systems. It is within this context, that the use of a Domain-specific Language (DSL) may support easier and quicker MAS development methodology. The impact of such DSL usage could be clearer when considering the development of MASs, especially those working on new challenging environments like the Semantic Web. Hence, this paper introduces a new DSL for Semantic Web enabled MASs. This new DSL is called Semantic web Enabled Agent Language (SEA_L). Both the SEA_L user-aspects and the way of implementing SEA_L are discussed in the paper. The practical use of SEA_L is also demonstrated using a case study which considers the modeling of a multi-agent based e-barter system. When considering the language implementation, we first discuss the syntax of SEA_L and we show how the specifications of SEA_L can be utilized during the code generation of real MAS implementations. The syntax of SEA_L is supported by textual modeling toolkits developed with Xtext. Code generation for the instance models are supplied with the Xpand tool.

APA, Harvard, Vancouver, ISO, and other styles

17

Bácsi, Sándor, and Gergely Mezei. "Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages." Acta Cybernetica 24, no. 1 (May 21, 2019): 5–16. http://dx.doi.org/10.14232/actacyb.24.1.2019.2.

Full text

Abstract:

Domain-specific visual languages (DSVLs) are specialized modeling languages that allow the effective management of the behavior and the structure of software programs and systems in a specific domain. Each DSVL has its specific structural and graphical characteristics depending on the problem domain. In the recent decade, a wide range of tools and methodologies have been introduced to support the design of DSVLs for various domains, therefore it can be a challenging task to choose the most appropriate technique for the design process. Our research aims to present a classification to guide the identification of the most relevant and appropriate methodologies in the given scenario. The classification is capable enough to provide a clear and precise understanding of the main aspects that can facilitate the design of DSVLs.

APA, Harvard, Vancouver, ISO, and other styles

18

Kardas, Geylani, Emine Bircan, and Moharram Challenger. "Supporting the platform extensibility for the model-driven development of agent systems by the interoperability between domain-specific modeling languages of multi-agent systems." Computer Science and Information Systems 14, no. 3 (2017): 875–912. http://dx.doi.org/10.2298/csis170113034k.

Full text

Abstract:

The conventional approach currently followed in the development of domain-specific modeling languages (DSMLs) for multi-agent systems (MASs) requires the definition and implementation of new model-to-model and model-totext transformations from scratch in order to make the DSMLs functional for each different agent execution platforms. In this paper, we present an alternative approach which considers the construction of the interoperability between MAS DSMLs for a more efficient way of platform support extension. The feasibility of using this new interoperability approach instead of the conventional approach is exhibited by discussing and evaluating the model-driven engineering required for the application of both approaches. Use of the approaches is also exemplified with a case study which covers the model-driven development of an agent-based stock exchange system. In comparison to the conventional approach, evaluation results show that the interoperability approach requires both less development time and effort considering design and implementation of all required transformations.

APA, Harvard, Vancouver, ISO, and other styles

19

SIERRA, JOSÉ LUIS, BALTASAR FERNÁNDEZ-MANJÓN, ALFREDO FERNÁNDEZ-VALMAYOR, and ANTONIO NAVARRO. "DOCUMENT-ORIENTED DEVELOPMENT OF CONTENT-INTENSIVE APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 15, no. 06 (December 2005): 975–93. http://dx.doi.org/10.1142/s0218194005002634.

Full text

Abstract:

In this paper we promote a document-oriented approach to the development of content-intensive applications (i.e., applications that critically depend on the informational contents and on the characterization of the contents' structure). This approach is the result of our experience as developers in the educational and in the hypermedia domains, as well as in the domain of knowledge-based systems. The main reason for choosing the document-oriented approach is to make it easier for domain experts to comprehend the elements that represent the main application's features. Among these elements are: the application's contents, the application's customizable properties including those of its interface, and the structure of all this information. Therefore, in our approach, these features are represented by means of a set of application documents, which are marked up using a suitable descriptive Domain-Specific Markup Language (DSML). If this goal is fully accomplished, the application itself can be automatically produced by processing those documents with a suitable processor for the DSML defined. The document-oriented development enhances the production and maintenance of content-intensive applications, because the applications' features are described in the form of human-readable and editable documents, understandable by domain experts and suitable for automatic processing. Nevertheless, the main drawbacks of the approach are the planning overload of the whole production process and the costs of the provision and maintenance of the DSMLs and their processors. These drawbacks can be palliated by adopting an incremental strategy for the production and maintenance of the applications and also for the definition and the operationalization of the DSMLs.

APA, Harvard, Vancouver, ISO, and other styles

20

Van Engelen, Robert A. "ATMOL: A Domain-Specific Language for Atmospheric Modeling." Journal of Computing and Information Technology 9, no. 4 (2001): 289. http://dx.doi.org/10.2498/cit.2001.04.02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Kosar, Tomaž, Marjan Mernik, Jeff Gray, and Tomaž Kos. "Debugging measurement systems using a domain-specific modeling language." Computers in Industry 65, no. 4 (May 2014): 622–35. http://dx.doi.org/10.1016/j.compind.2014.01.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Azadi Marand, Elaheh, Elham Azadi Marand, and Moharram Challenger. "DSML4CP: A Domain-specific Modeling Language for Concurrent Programming." Computer Languages, Systems & Structures 44 (December 2015): 319–41. http://dx.doi.org/10.1016/j.cl.2015.09.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Sedbrook, Tod A. "Modeling the REA Enterprise Ontology with a Domain Specific Language." Journal of Emerging Technologies in Accounting 9, no. 1 (December 1, 2012): 47–70. http://dx.doi.org/10.2308/jeta-50406.

Full text

Abstract:

ABSTRACT Developing a domain specific language (DSL) to express business policies requires modeling tools for eliciting, applying, and maintaining the knowledge of business experts. This study defines a DSL meta-model and prototype to create visual business models that conform to the Resource, Event, Agent-Enterprise Ontology (REA-EO). The meta-model specifies REA-EO modeling components, and the prototype provides a visual interface to design operational and policy-level models. Code-generation templates then transform design models into executable code that supports business applications. The study describes the capabilities of the prototype and validates its use in the context of a business case. Data Availability: The paper's software modeling prototype and its companion code-generation templates are available for research purposes as open-source Visual Studio extensions and are available by contacting the author.

APA, Harvard, Vancouver, ISO, and other styles

24

Arslan, Sadik, and Geylani Kardas. "DSML4DT: A domain-specific modeling language for device tree software." Computers in Industry 115 (February 2020): 103179. http://dx.doi.org/10.1016/j.compind.2019.103179.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Caro, Manuel F., Darsana P. Josyula, Jovani A. Jiménez, Catriona M. Kennedy, and Michael T. Cox. "A domain-specific visual language for modeling metacognition in intelligent systems." Biologically Inspired Cognitive Architectures 13 (July 2015): 75–90. http://dx.doi.org/10.1016/j.bica.2015.06.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Hoyos, José R., Jesús García-Molina, and Juan A. Botía. "A domain-specific language for context modeling in context-aware systems." Journal of Systems and Software 86, no. 11 (November 2013): 2890–905. http://dx.doi.org/10.1016/j.jss.2013.07.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Guedes, Gilleanes Thorwald Araujo, Iderli Pereira de Souza Filho, Lukas Filipe Gaedicke, Giovane D’Ávila Mendonça, Rosa Maria Vicari, and Carlos Brusius. "MASRML - A Domain-specific Modeling Language for Multi-agent Systems Requirements." International Journal of Software Engineering & Applications 11, no. 5 (September 30, 2020): 25–45. http://dx.doi.org/10.5121/ijsea.2020.11503.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Kos, Tomaž, Tomaž Kosar, and Marjan Mernik. "Development of data acquisition systems by using a domain-specific modeling language." Computers in Industry 63, no. 3 (April 2012): 181–92. http://dx.doi.org/10.1016/j.compind.2011.09.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Yli-Hietanen, Jari, Samuli Niiranen, Michael Aswell, and Larry Nathanson. "Domain-specific analytical language modeling—The chief complaint as a case study." International Journal of Medical Informatics 78, no. 12 (December 2009): e27-e30. http://dx.doi.org/10.1016/j.ijmedinf.2009.02.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Tcholtchev, Nikolay, Grit Dudeck, Michael Wagner, Christian Hein, Arun Prakash, and Tom Ritter. "Enabling the Interoperability of the Modelica DSL and Matlab Simulink towards the Development of Self-Adaptive Dynamic Systems." International Journal of System Dynamics Applications 7, no. 4 (October 2018): 54–75. http://dx.doi.org/10.4018/ijsda.2018100104.

Full text

Abstract:

Domain Specific Languages (DSL) are an important concept that is used in industry, in order to enable the fast and cost-efficient design of specific functions/components, and/or to target particular aspects of the systems' development and operation. In the current article, the authors describe their experiences on the integration of the Modelica DSL into a platform that enables the integration and interoperability of model-based tools across the various phases of the system development process. Furthermore, it is illustrated how Matlab Simulink can be used in parallel in the course of the same system design undertaking. Thereby, the authors present their approach and compare different tools which were used, in order to efficiently complete the integration, and finally exemplify the outcome on a case study related to a self-adaptive dynamic system from the automotive domain.

APA, Harvard, Vancouver, ISO, and other styles

31

Lagos, Nikolaos, Adrian Mos, and Mario Cortes-cornax. "Towards semantically-aided domain specific business process modeling." Data Technologies and Applications 52, no. 4 (September 4, 2018): 463–81. http://dx.doi.org/10.1108/dta-01-2018-0007.

Full text

Abstract:

Purpose Domain-specific process modeling has been proposed in the literature as a solution to several problems in business process management. The problems arise when using only the generic Business Process Model and Notation (BPMN) standard for modeling. This language includes domain ambiguity and difficult long-term model evolution. Domain-specific modeling involves developing concept definitions, domain-specific processes and eventually industry-standard BPMN models. This entails a multi-layered modeling approach, where any of these artifacts can be modified by various stakeholders and changes done by one person may influence models used by others. There is therefore a need for tool support to keep track of changes done and their potential impacts. The paper aims to discuss these issues. Design/methodology/approach The authors use a multi-context systems-based approach to infer the impacts that changes may cause in the models; and alsothe authors incrementally map components of business process models to ontologies. Findings Advantages of the framework include: identifying conflicts/inconsistencies across different business modeling layers; expressing rich information on the relations between two layers; calculating the impact of changes taking place in one layer to the rest of the layers; and selecting incrementally the most appropriate semantic models on which the transformations can be based. Research limitations/implications The authors consider this work as one of the foundational bricks that will enable further advances toward the governance of multi-layer business process modeling systems. Extensive usability tests would enable to further confirm the findings of the paper. Practical implications The approach described here should improve the maintainability, reuse and clarity of business process models and in extension improve data governance in large organizations. The approaches described here should improve the maintainability, reuse and clarity of business process models. This can improve data governance in large organizations and for large collections of processes by aiding various stakeholders to understand problems with process evolutions, changes and inconsistencies with business goals. Originality/value This paper fulfills an identified gap to enabling semantically aided domain–specific process modeling.

APA, Harvard, Vancouver, ISO, and other styles

32

Kos, Tomaz, Tomaz Kosar, Jure Knez, and Marjan Mernik. "From DCOM interfaces to domain-specific modeling language: A case study on the sequencer." Computer Science and Information Systems 8, no. 2 (2011): 361–78. http://dx.doi.org/10.2298/csis101231009k.

Full text

Abstract:

Software development is a demanding process, since it involves different parties to perform a desired task. The same case applies to the development of measurement systems - measurement system producers often provide interfaces to their products, after which the customers? programming engineers use them to build software according to the instructions and requirements of domain experts from the field of data acquisition. Until recently, the customers of the measurement system DEWESoft were building measuring applications, using prefabricated DCOM objects. However, a significant amount of interaction between customers? programming engineers and measurement system producers is necessary to use DCOM objects. Therefore, a domain-specific modeling language has been developed to enable domain experts to program or model their own measurement procedures without interacting with programming engineers. In this paper, experiences gained during the shift from using the DEWESoft product as a programming library to domain-specific modeling language are provided together with the details of a Sequencer, a domain-specific modeling language for the construction of measurement procedures.

APA, Harvard, Vancouver, ISO, and other styles

33

Pajić Simović, Ana, Slađan Babarogić, Ognjen Pantelić, and Stefan Krstović. "Towards a Domain-Specific Modeling Language for Extracting Event Logs from ERP Systems." Applied Sciences 11, no. 12 (June 12, 2021): 5476. http://dx.doi.org/10.3390/app11125476.

Full text

Abstract:

Enterprise resource planning (ERP) systems are often seen as viable sources of data for process mining analysis. To perform most of the existing process mining techniques, it is necessary to obtain a valid event log that is fully compliant with the eXtensible Event Stream (XES) standard. In ERP systems, such event logs are not available as the concept of business activity is missing. Extracting event data from an ERP database is not a trivial task and requires in-depth knowledge of the business processes and underlying data structure. Therefore, domain experts require proper techniques and tools for extracting event data from ERP databases. In this paper, we present the full specification of a domain-specific modeling language for facilitating the extraction of appropriate event data from transactional databases by domain experts. The modeling language has been developed to support complex ambiguous cases when using ERP systems. We demonstrate its applicability using a case study with real data and show that the language includes constructs that enable a domain expert to easily model data of interest in the log extraction step. The language provides sufficient information to extract and transform data from transactional ERP databases to the XES format.

APA, Harvard, Vancouver, ISO, and other styles

34

Lethrech, Mohammed, Adil Kenzi, Issam Elmagrouni, Mahmoud Nassar, and Abdelaziz Kriouile. "A MDSD Approach for Adaptable Service Oriented Systems based on Domain Specific Language Engineering." International Journal of Adaptive, Resilient and Autonomic Systems 7, no. 1 (January 2016): 1–25. http://dx.doi.org/10.4018/ijaras.2016010101.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

35

Zisiadis, Dimitris, George Thanos, Spyros Kopsidas, and George Leventakis. "STAR-TRANS Modeling Language." International Journal of Information Systems for Crisis Response and Management 5, no. 2 (April 2013): 45–59. http://dx.doi.org/10.4018/jiscrm.2013040104.

Full text

Abstract:

Transportation networks are open and accessible, by design, and thus vulnerable to malicious attacks. Transportation networks are integral parts of larger systems, where individual transportation networks form a network-of-networks within a defined geographical region. A security incident on an asset can propagate to new security incidents in interconnected assets of the same or different networks, resulting in cascading failures in the overall network-of-networks. The present work introduces the STAR-TRANS Modeling Language (STML) and provides a reference implementation case. STML is a feature-rich, domain specific, high-level modeling language, capable of expressing the concepts and processes of the Strategic Risk Assessment and Contingency Planning in Interconnected Transportation Networks (STAR- TRANS) framework. STAR-TRANS is a comprehensive transportation security risk assessment framework for assessing related risks that provides cohered contingency management procedures for interconnected, interdependent and heterogeneous transport networks. STML has been used to produce the STAR-TRANS Impact Assessment Tool.

APA, Harvard, Vancouver, ISO, and other styles

36

BALASUBRAMANIAN, KRISHNAKUMAR, ANIRUDDHA GOKHALE, YUEHUA LIN, JING ZHANG, and JEFF GRAY. "WEAVING DEPLOYMENT ASPECTS INTO DOMAIN-SPECIFIC MODELS." International Journal of Software Engineering and Knowledge Engineering 16, no. 03 (June 2006): 403–24. http://dx.doi.org/10.1142/s021819400600280x.

Full text

Abstract:

Domain-specific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., Model-Integrated Computing and Model-Driven Architecture) emphasize the use of models at all stages of system development. Decomposing problems using MDD approaches may result in a separation of the artifacts in a way that impedes comprehension. For example, a single concern (such as deployment of a distributed system) may crosscut different orthogonal activities (such as component specification, interaction, packaging and planning). To keep track of all entities associated with a component, and to ensure that the constraints for the system as a whole are not violated, a purely model-driven approach imposes extra effort, thereby negating some of the benefits of MDD. This paper provides three contributions to the study of applying aspect-oriented techniques to address the crosscutting challenges of model-driven component-based distributed systems development. First, we identify the sources of crosscutting concerns that typically arise in model-driven development of component-based systems. Second, we describe how aspect-oriented model weaving helps modularize these crosscutting concerns using model transformations. Third, we describe how we have applied model weaving using a tool called the Constraint-Specification Aspect Weaver (C-SAW) in the context of the Platform-Independent Component Modeling Language (PICML), which is a domain-specific modeling language for developing component-based systems. A case study of a joint-emergency response system is presented to express the challenges in modeling a typical distributed system. Our experience shows that model weaving is an effective and scalable technique for dealing with crosscutting aspects of component-based systems development.

APA, Harvard, Vancouver, ISO, and other styles

37

Abdessettar, Saad. "Modeling and Simulating Persuasion Strategies: Domain Specific Language for Persuasive Systems’ Design Productivity." Journal of Modern Education Review 6, no. 7 (July 15, 2016): 470–77. http://dx.doi.org/10.15341/jmer(2155-7993)/07.06.2016/005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Besnard, Loïc, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, et al. "Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software." Electronic Proceedings in Theoretical Computer Science 20 (March 28, 2010): 80–87. http://dx.doi.org/10.4204/eptcs.20.9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Challenger, Moharram, Geylani Kardas, and Bedir Tekinerdogan. "A systematic approach to evaluating domain-specific modeling language environments for multi-agent systems." Software Quality Journal 24, no. 3 (September 10, 2015): 755–95. http://dx.doi.org/10.1007/s11219-015-9291-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Salehi, Pejman, Abdelwahab Hamou-Lhadj, Maria Toeroe, and Ferhat Khendek. "A UML-based domain specific modeling language for service availability management: Design and experience." Computer Standards & Interfaces 44 (February 2016): 63–83. http://dx.doi.org/10.1016/j.csi.2015.09.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Challenger, Moharram, Sebla Demirkol, Sinem Getir, Marjan Mernik, Geylani Kardas, and Tomaž Kosar. "On the use of a domain-specific modeling language in the development of multiagent systems." Engineering Applications of Artificial Intelligence 28 (February 2014): 111–41. http://dx.doi.org/10.1016/j.engappai.2013.11.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Ruiz de Mendoza Ibáñez, Francisco José. "Conceptual complexes in cognitive modeling." Revista Española de Lingüística Aplicada/Spanish Journal of Applied Linguistics 30, no. 1 (November 23, 2017): 299–324. http://dx.doi.org/10.1075/resla.30.1.12rui.

Full text

Abstract:

Abstract The present paper goes beyond previous treatments of cognitive models, especially conceptual metaphor and metonymy, by drawing on linguistic evidence. It introduces needed refinements into previous meaning construction accounts by investigating the activity of conceptual complexes, i.e., combinations of cognitive models whose existence can be detected from a careful examination of the meaning effects of some linguistic expressions. This improvement endows the linguist with a more powerful set of analytical tools capable of dealing with a broader range of phenomena than previous theories. The paper first explores metaphoric and metonymic complexes, and their meaning effects. Then, it addresses the metonymic exploitation of frame complexes and image-schematic complexes. The resulting analytical apparatus proves applicable to the study of fictive motion and image-schema transformations, which have so far been addressed in Cognitive Linguistics without making explicit any relation between them or with other phenomena. We give evidence that these two phenomena can be dealt with as specific cases of metonymic domain expansion and domain reduction respectively. This means that fictive motion and image-schema transformations can be fully integrated into an encompassing account of cognitive modeling based on the activity of single or combined cognitive operations on basic or complex cognitive models.

APA, Harvard, Vancouver, ISO, and other styles

43

De Oliveira, Lucas Rodrigues, Ana Carolina Gondim Inocêncio, Heitor Augustus Xavier Costa, and Paulo Afonso Parreira Júnior. "Desenvolvimento e Avaliação de um Perfil UML para Modelagem de Jogos Educacionais Digitais." Revista Brasileira de Informática na Educação 26, no. 02 (May 7, 2018): 124. http://dx.doi.org/10.5753/rbie.2018.26.02.124.

Full text

Abstract:

UML (Unified Modeling Language) is a general purpose language for software modeling, moreover, is the language most known and used for graphical representation of models. Just the elements preexisting in the UML (Unified Modeling Language) may not be sufficient to facilitate understanding of specific domain models. An example of specific problem domain is the Digital Educational Games (DEGs). In this paper, we describe the UP4EG, a UML profile for DEGs modeling, using UML class diagrams. The UP4EG gathers many stereotypes and tagged values divided into six packages that represent the main elements that a DEG should present. From an experimental study on the proposed profile with computer science students, it was realized that number of errors and the time spent for the identification of the main elements of a DEG can be improved when this profile is used in the modeling of this type of software.

APA, Harvard, Vancouver, ISO, and other styles

44

Varde, Aparna S., Mohammed Maniruzzaman, and Richard D. Sisson. "QuenchML: A semantics-preserving markup language for knowledge representation in quenching." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, no. 1 (January 15, 2013): 65–82. http://dx.doi.org/10.1017/s0890060412000352.

Full text

Abstract:

AbstractKnowledge representation (KR) is an important area in artificial intelligence (AI) and is often related to specific domains. The representation of knowledge in domain-specific contexts makes it desirable to capture semantics as domain experts would. This motivates the development of semantics-preserving standards for KR within the given domain. In addition to the storage and analysis of information using such standards, the effect of globalization today necessitates the publishing of information on the Web. Thus, it is advisable to use formats that make the information easily publishable and accessible while developing KR standards. In this article, we propose such a standard called Quenching Markup Language (QuenchML). This follows the syntax of the eXtensible Markup Language and captures the semantics of the quenching domain within the heat treating of materials. We describe the development of QuenchML, a multidisciplinary effort spanning the realms of AI, database management, and materials science, considering various aspects such as ontology, data modeling, and domain-specific constraints. We also explain the usefulness of QuenchML in semantics-preserving information retrieval and in text mining guided by domain knowledge. Furthermore, we outline the significance of this work in software tools within the field of AI.

APA, Harvard, Vancouver, ISO, and other styles

45

FELFERNIG, ALEXANDER, GERHARD E. FRIEDRICH, and DIETMAR JANNACH. "UML AS DOMAIN SPECIFIC LANGUAGE FOR THE CONSTRUCTION OF KNOWLEDGE-BASED CONFIGURATION SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 10, no. 04 (August 2000): 449–69. http://dx.doi.org/10.1142/s0218194000000249.

Full text

Abstract:

In many domains, software development has to meet the challenges of developing highly adaptable software very rapidly. In order to accomplish this task, domain specific, formal description languages and knowledge-based systems are employed. From the viewpoint of the industrial software development process, it is important to integrate the construction and maintenance of these systems into standard software engineering processes. In addition, the descriptions should be comprehensible for the domain experts in order to facilitate the review process. For the realization of product configuration systems, we show how these requirements can be met by using a standard design language (UML-Unified Modeling Language) as notation in order to simplify the construction of a logic-based description of the domain knowledge. We show how classical description concepts for expressing configuration knowledge can be introduced into UML and be translated into logical sentences automatically. These sentences are exploited by a general inference engine solving the configuration task.

APA, Harvard, Vancouver, ISO, and other styles

46

Vaderna, Renata, Željko Vuković, Igor Dejanović, and Gordana Milosavljević. "Graph Drawing and Analysis Library and Its Domain-Specific Language for Graphs’ Layout Specifications." Scientific Programming 2018 (2018): 1–26. http://dx.doi.org/10.1155/2018/7264060.

Full text

Abstract:

This paper presents a graph drawing and analysis library written in Java called GRAD and its domain-specific language for simplifying the process of laying out graphs. One of GRAD’s main goals is to provide completely automated ways of selecting and configuring a drawing algorithm, based either on the properties of a graph or on a user’s input conforming to the domain-specific language. In order to verify the quality of GRAD’s main features a user study was conducted. The participants were asked to grade diagrams visualized and laid out using different modeling tools, including one relying on GRAD, which received the best overall scores.

APA, Harvard, Vancouver, ISO, and other styles

47

CHO, EUN SOOK, SOO DONG KIM, and SUNG YUL RHEW. "A DOMAIN ANALYSIS AND MODELING METHODOLOGY FOR COMPONENT DEVELOPMENT." International Journal of Software Engineering and Knowledge Engineering 14, no. 02 (April 2004): 221–54. http://dx.doi.org/10.1142/s0218194004001580.

Full text

Abstract:

Component-based development (CBD) has been widely accepted as an effective paradigm for building software with reusable components, consequently reducing efforts and shortening time-to-market. The components used in CBD should provide a domain standard or common functionality so that they can be shared and reused by family members in a domain. Moreover, variability among family members should also be modeled in components so that family member-specific business logic can be realized through component customization. Therefore, the degree of commonality and customizability determines the range of component applicability in CBD. In this paper, we propose a practical COmponent MOdeling methodology (COMO) for analyzing domain requirements and designing highly reusable components. COMO extends Unified Modeling Language and Rational Unified Process with notations and semantics relevant to CBD. For each activity of the process, comprehensive instructions and artifact templates are provided so that software components can be modeling effectively. We also provide a comprehensive case study of applying the methodology in building an electronic commerce application.

APA, Harvard, Vancouver, ISO, and other styles

48

Heise, David, Stefan Strecker, and Ulrich Frank. "ControlML: A domain-specific modeling language in support of assessing internal controls and the internal control system." International Journal of Accounting Information Systems 15, no. 3 (September 2014): 224–45. http://dx.doi.org/10.1016/j.accinf.2013.09.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Connell, Phil J., and C. Addison Stone. "The Conceptual Basis for Morpheme Learning Problems in Children With Specific Language Impairment." Journal of Speech, Language, and Hearing Research 37, no. 2 (April 1994): 389–98. http://dx.doi.org/10.1044/jshr.3702.389.

Full text

Abstract:

Two groups of children were exposed to instances of a nonlinguistic conceptual rule under controlled instructional conditions to determine whether the problems children with specific language impairment (SLI) have learning and accessing language rules extend beyond the language domain into the general cognitive domain. The performance of 20 children with SLI, aged 5:0 to 6:11 (years:months), was compared to that of 20 normally developing children matched for age and nonverbal ability. These children were taught under two instructional conditions that differed only in whether the child was asked to imitate the solution to a conceptual problem after each demonstration (imitation) or merely to observe it (modeling). Contrary to previous findings regarding linguistic rule-learning using auditory or visual symbol systems and similar instructional conditions, no difference was found between the extent of overall learning displayed by the normally developing children and those with SLI. Also, the performance of the children with SLI was not uniquely better under the imitation condition than under modeling, as had been the case with the learning of a novel morpheme in an auditory linguistic task. These results are interpreted as confirming the earlier assumption that the generally lower overall learning rate of the children with SLI on both the auditory and visual tasks reflects a specific linguistic rule-learning difficulty, rather than a general deficiency in rule induction.

APA, Harvard, Vancouver, ISO, and other styles

50

Deng, Ke, Peter K. Bol, Kate J. Li, and Jun S. Liu. "On the unsupervised analysis of domain-specific Chinese texts." Proceedings of the National Academy of Sciences 113, no. 22 (May 16, 2016): 6154–59. http://dx.doi.org/10.1073/pnas.1516510113.

Full text

Abstract:

With the growing availability of digitized text data both publicly and privately, there is a great need for effective computational tools to automatically extract information from texts. Because the Chinese language differs most significantly from alphabet-based languages in not specifying word boundaries, most existing Chinese text-mining methods require a prespecified vocabulary and/or a large relevant training corpus, which may not be available in some applications. We introduce an unsupervised method, top-down word discovery and segmentation (TopWORDS), for simultaneously discovering and segmenting words and phrases from large volumes of unstructured Chinese texts, and propose ways to order discovered words and conduct higher-level context analyses. TopWORDS is particularly useful for mining online and domain-specific texts where the underlying vocabulary is unknown or the texts of interest differ significantly from available training corpora. When outputs from TopWORDS are fed into context analysis tools such as topic modeling, word embedding, and association pattern finding, the results are as good as or better than that from using outputs of a supervised segmentation method.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'DSML(Domain Specific Modeling language)'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles