Bibliografías temáticas / DSML(Domain Specific Modeling language)

Índice

Artículos de revistas
Tesis
Libros
Capítulos de libros
Actas de conferencias

Literatura académica sobre el tema "DSML(Domain Specific Modeling language)"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 18 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "DSML(Domain Specific Modeling language)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "DSML(Domain Specific Modeling language)"

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Getir, Sinem, Moharram Challenger y 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, n.º 03 (14 de agosto de 2014): 1450005. http://dx.doi.org/10.1142/s0218843014500051.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Tesis sobre el tema "DSML(Domain Specific Modeling language)"

Azari, Leila. "Domain Specific Modeling Support for ArCon". Thesis, Linköpings universitet, Programvara och system, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-102687.

Texto completo

Resumen

One important phase in software development process is to create a design model of the system which follows all the architectural rules. Often the architectural rules are defined by the system architect and the system model is designed by the system designer. The architect defines the rules in a text file where no standard or pattern is followed. Therefore, there is always the risk of violating the architectural rules by the designer. So manual reviews on the system model should be done by the architect to ensure the system model is valid.In order to remove this manual checking which can be erroneous and time consuming ArCon (Architecture Conformance Checker) was developed by Combitech AB. ArCon is a tool which lets the architect define the architectural rules in the format of UML (Unified Modeling Language) models where the elements of the model have different meaning than the standard UML. ArCon can read this model and extract architectural rules from it and check the system model against those rules and then print all the rule violations.ArCon is an open source tool i.e. free for everyone to download and use. Currently, it supports Papyrus as the UML modeling tool. Papyrus is integrated to Eclipse platform and is a general purpose modeling tool. It supports users with all types of UML diagrams and elements.The idea for this thesis work was to implement a new feature for ArCon in order to facilitate the design process for system designers. The feature should provide the system designers only those types of elements which they are permitted to add to a specific fraction of the system model. The list of permitted element types should be extracted from the architecture model where all the architectural rules are defined in advance. This new support in ArCon was named Domain Specific Modeling (DSM) support.To evaluate the effect of DSM support on the system designers performance a few test sessions, called usability tests, were performed. The participants in the test sessions were a representative sample of software designers. After analyzing the data collected from the test sessions, the pros and cons of the new support were discovered. Furthermore, a few new ideas for enhancing DSM support were generated.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Rahman, Anisur. "A Domain-Specific Language for Traceability in Modeling". Thesis, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24346.

Texto completo

Resumen

Requirements are a key aspect of software development. Requirements are also related with other software artefacts including designs, test cases and documentation. These artefacts are often captured with specialized models. However, many tools lack support for traceability relationships between requirements artefacts and model artefacts, leading to analysis issues. To establish traceability between models and other types of requirements artefacts, this thesis proposes a new Domain-Specific Language (DSL) for describing the concepts of a modeling language that would be intended to be traced using a Requirements Management System (RMS), with tool support handling the evolution of models and of their traceability links. In the first part of this thesis, the syntax and metamodel of the Model Traceability DSL (MT-DSL) are defined, together with an editor implemented using Xtext. In the second part of the thesis, a library of import and maintenance functions is generated automatically (using Xtend) from model traceability descriptions written using MT-DSL. The target language for this library is the DOORS eXtension Language (DXL), the scripting language of a leading commercial RMS with traceability support, namely IBM Rational DOORS. The implementation has been tested successfully for importing and evolution scenarios with two different modeling languages (User Requirements Notation and Finite State Machines). This work hence contributes a reliable mechanism to define and support traceability between requirements and models.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Al, Jallad Mohannad. "REA Business Modeling Language : Toward a REA based Domain Specific Visual Language". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-121295.

Texto completo

Resumen

Resources Events Agents (REA) ontology is a profound business modeling ontology that was developed to define the architecture of accounting information systems. Nevertheless, REA did not manage to get the same attention as other business modeling ontologies. One reason of such abandon is the absence of a meaningful visual notation for the ontology, which has resulted in an abstruse ontology to non-academic audience. Another reason for this abandon is the fact that REA does not have a standard formal representation. This has resulted in a humble amount of researches which have focused on defining meta-models of the ontology while neglecting the wider purpose of REA-based information systems development. Consequently, the ontology was deviated away from its original purpose, and rather used in business schools. To solve the aforementioned issues, this research presents a Model Driven Development (MDD) technique in the form of a REA-based Domain Specific Visual Language (DSVL) that is implemented within a modeling and code generation editor. This effort was taken in order to answer the question of “How would a REA-DSVL based tool make the REA ontology implementable in the domain of information systems development?” In order to answer the research question, a design science methodology (DSRM) was implemented as the structure of this research. The DSRM was chosen because this research aims to develop three main artifacts. These are; a meta-model of REA, a visual notation of REA, and a REA-DSVL-based modeling and code generation tool. The first phase of the DSRM was to identify the problems which were mentioned earlier, followed by the requirements identification phase which drew the outline of the; meta-model, the visual notation, and the tool. After that, the development phase was conducted in order to develop the aforementioned artifacts. The editor was then demonstrated using a case study of a local company in Stockholm-Sweden. Finally, the resulted artifacts were evaluated based on the collected requirements and the results from the case study. Based on the analyses of the artifacts and the case study, this research was concluded with the result that a REA-based DSVL tool can help in boosting the planning and analysis phases of the software development lifecycle (SDLC). This is achieved by automating some of the conventional software planning and design tasks, which would lead to more accurate systems’ designs; thus, minimizing the time of the planning and design phases. And it can be achieved by abstracting the direct logic of REA through providing functionalities that help users from different backgrounds (academic and professional) to embrace a business modeling editor rather than an ontology; thus, attracting a wider users base for implementing REA.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Vallejo, Paola. "Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC". Thesis, Brest, 2015. http://www.theses.fr/2015BRES0101/document.

Texto completo

Resumen

La conception d’un langage de modélisation pour domaine spécifique (DSML) implique la conception d’un outillage dédié qui met en oeuvre des fonctionnalités de traitement et d’analyse pour ce langage. Dans bien des cas, les fonctionnalités à mettre en oeuvre existent déjà , mais elles s’appliquent à des portions ou à des variantes du DSML que le concepteur manipule. Réutiliser ces fonctionnalités existantes est un moyen de simplifier la production de l’outillage d’un nouveau DSML. La réutilisation implique que les données du DSML soient adaptées afin de les rendre valides du point de vue de la fonctionnalité à réutiliser. Si l’adaptation est faite et les données sont placées dans le contexte de la fonctionnalité, elle peut être réutilisée. Le résultat produit par l’outil reste dans le contexte de l’outil et il doit être adapté afin de le placer dans le contexte du DSML (migration inverse). Dans ce cadre, la réutilisation n’a de sens que si les deux adaptations de données sont peu coûteuses. L’objectif de cette thèse est de proposer un mécanisme qui intègre la migration, la réutilisation et la migration inverse. La principale contribution est une approche qui facilite la réutilisation de fonctionnalités existantes via des migrations de modèles. Cette approche facilite la production de l’outillage d’un DSML. Elle permet de faire des migrations réversibles entre deux DSMLs sémantiquement proches. L’utilisateur est guidé lors du processus de réutilisation pour fournir rapidement l’outillage complet et efficace d’un DSML. L’approche a été formalisée et appliquée à un DSML (Orcc) dans le contexte des MPSoC
Designers of domain specific modeling languages (DSMLs) must provide all the tooling of these languages. In many cases, the features to be developped already exist, but it applies to portions or variants of the DSML.One way to simplify the implementation of these features is by reusing the existing functionalities. Reuse means that DSML data must be adapted to be valid according to the functionality to be reused. If the adaptation is done and the data are placed in the context of the functionality, it can be reused. The result produced by the tool remains in the context of the tool and it must be adapted to be placed in the context of the DSML (reverse migration).In this context, reuse makes sense only if the migration and the reverse migration are not very expensive. The main objective of this thesis is to provide a mechanism to integrate the migration, the reuse and the reversemigration and apply them efficiently. The main contribution is an approach that facilitates the reuse of existing functionalities by means of model migrations. This approach facilitates the production of the tooling for a DSML. It allows reversible migration between two DSMLs semantically close. The user is guided during the ruse process to quickly provide the tooling of his DSML.The approach has been formalised et applied to a DSML (Orcc) in the context of the MPSoC

Los estilos APA, Harvard, Vancouver, ISO, etc.

Strakšys, Justinas. "Sričiai orientuotos informacinės sistemos kūrimo metodikos tyrimas ir taikymas". Master's thesis, Lithuanian Academic Libraries Network (LABT), 2009. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2009~D_20090304_095856-47494.

Texto completo

Resumen

Viena iš naujausių sistemų kūrimo metodikų – sričiai orientuotas modeliavimas (angl. domain specific modeling). Ji paremta sričiai orientuotos kalbos kūrimu ir jos panaudojimu sistemos kūrimui. Ši metodika leidžia sistemos kūrimui naudoti sąvokas, artimas probleminei sričiai, kas padidina abstrakcijos lygi projektavimo metu. Srities sąvokos aptariamos ir įvardinamos kartu su ekspertais ar paprastais darbuotojais, dirbančiais analizuojamoje srityje, ir nebūtinai išmanančiais sistemų kūrimo metodus. Ši metodika leidžia sistemos projektuotojui lengviau susikalbėti su užsakovais, nes modeliuose figūruojančios sąvokos yra užsakovui suprantamos ir aiškios.
Domain Specific Modeling is a software engineering methodology for designing and developing information systems. It involves systematic use of a graphical domain specific language (DSL) to represent the various facets of a system. DSM languages tend to support higher-level abstractions than general purpose modeling languages, so they require less effort and fewer low-level details to specify a given system which is very important nowadays, when the functionality of information system must be maximized with minimum development time and cost. This paper compares usage of DSL for information system development with other two, most often used methodologies for this purpose: MDA and usage of UML. It gives basic advantages and disadvantages of DSL and DSM usage, describes differences of DSL (DSM), UML and MDA. This paper also describes usage of DSM methodology (creating DSL and using it for software development) for creating information system. It covers main steps of creation process’s: describing the domain concepts, describing the artifacts that are planning for the DSL, building domain model, building the designer for DSL, building the artifact generator, implementing validations and constraints, testing and deploying the DSL.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Zalila, Faiez. "Methods and tools for the integration of formal verification in domain-specific languages". Phd thesis, Toulouse, INPT, 2014. http://oatao.univ-toulouse.fr/14159/1/zalila.pdf.

Texto completo

Resumen

Domain specific Modeling Languages (DSMLs) are increasingly used at the early phases in the development of complex systems, in particular, for safety critical systems. The goal is to be able to reason early in the development on these models and, in particular, to fulfill verification and validation activities (V and V). A widely used technique is the exhaustive behavioral model verification using model-checking by providing a translational semantics to build a formal model from DSML conforming models in order to reuse powerful tools available for this formal domain. Defining a translational semantics, expressing formal properties to be assessed and analysing such verification results require such an expertise in formal methods that it restricts their adoption and may discourage the designers. It is thus necessary to build for each DSML, a toolchain which hides formal aspects for DSML end-users. The goal of this thesis consists in easing the development of such verification toolchains. Our contribution includes 1) expressing behavioral properties in the DSML level by relying on TOCL (Temporal Object Constraint Language), a temporal extension of OCL; 2) An automated transformation of these properties on formal properties while reusing the key elements of the translational semantics; 3) the feedback of verification results thanks to a higher-order transformation and a language which defines mappings between DSML and formal levels; 4) the associated process implementation. Our approach was validated by the experimentation on a subset of the development process modeling language SPEM, and on Ladder Diagram language used to specify programmable logic controllers (PLCs), and by the integration of a formal intermediate language (FIACRE) in the verification toolchain. This last point allows to reduce the semantic gap between DSMLs and formal domains.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Fernandes, Sergio Martins. "Catálogo de modelos de computação para o desenvolvimento de linguagens específicas de modelagem de domínio". Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-021553/.

Texto completo

Resumen

Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui.
This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Bousse, Erwan. "Execution trace management to support dynamic V&V for executable DSMLs". Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S082/document.

Texto completo

Resumen

Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage efficace de modèles afin de pouvoir construire des traces d'exécution génériques à base de clones. À l'aide d'un générateur aléatoire de métamodèles, nous montrons que cette approche passe à l'échelle avec seulement un léger surcoût lors de la manipulation de clones. Nous présentons ensuite une approche générative pour définir des métamodèles dédiés et multidimensionnels pour représenter des traces d'exécution, qui consiste à créer la structure de données spécifique aux traces d'exécution d'un LMDx donné. Ainsi, les traces d'exécution de modèles conformes à ce LMDx peuvent être capturées et manipulées efficacement de manière dédiée et à l'aide de différentes dimensions. Nous appliquons cette approche à deux techniques de V&V dynamiques existantes, à savoir la différentiation sémantique et le débogage omniscient. Nous montrons qu'un tel métamodèle de traces d'exécution généré fournit une bonne facilité d'usage et un bon passage à l'échelle pour la V&V dynamique au plus tôt pour n'importe quel LMDx. Nous avons intégré notre travail au sein du GEMOC Studio, un environnement de définition de langages et de modélisation issu de l'initiative internationale du même nom
Dynamic verification and validation (V&V) techniques are required to ensure the correctness of executable models. Most of these techniques rely on the concept of execution trace, which is a sequence containing information about an execution. Therefore, to enable dynamic V&V of executable models conforming to any executable domain-specific modeling language (xDSML), it is crucial to provide efficient facilities to construct and manipulate all kinds of execution traces. To that effect, we first propose a scalable model cloning approach to conveniently construct generic execution traces using model clones. Using a random metamodel generator, we show that this approach is scalable in memory with little manipulation overhead. We then present a generative approach to define multidimensional and domain-specific execution trace metamodels, which consists in creating the execution trace data structure specific to an xDSML. Thereby, execution traces of models conforming to this xDSML can be efficiently captured and manipulated in a domain-specific way. We apply this approach to two existing dynamic V&V techniques, namely semantic differencing and omniscient debugging. We show that such a generated execution trace metamodel provides good usability and scalability for dynamic early V&V support for any xDSML. Our work have been implemented and integrated within the GEMOC Studio, which is a language and modeling workbench resulting from the eponym international initiative

Los estilos APA, Harvard, Vancouver, ISO, etc.

Özgür, Turhan. "Comparison of Microsoft DSL Tools and Eclipse Modeling Frameworks for Domain-Specific Modeling in the context of Model-Driven Development". Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2009.

Texto completo

Resumen

Today it is realized by industry that automation of software development leads to increased productivity, maintainability and higher quality. Model-Driven Development (MDD) aims to replace manual software development methods by automated methods using Domain-Specific Languages (DSLs) to express domain concepts effectively. Main actors in software industry, Microsoft and IBM have recognized the need to provide technologies and tools to allow building DSLs to support MDD. On the one hand, Microsoft is building DSL Tools integrated in Visual Studio 2005; on the other hand IBM is contributing to the development of Eclipse Modeling Frameworks (EMF/GEF/GMF), both tools aim to make development and deployment of DSLs easier. Software practitioners seek for guidelines regarding how to adopt these tools. In this thesis, the author presents the current state-of-the-art in MDD standards and Domain-Specific Modeling (DSM). Furthermore, the author presents current state-of-the-tools for DSM and performs a comparison of Microsoft DSL Tools and Eclipse EMF/GEF/GMF Frameworks based on a set of evaluation criteria. For the purpose of comparison the author developed two DSL designers (one by using each DSM tool). Based on the experiences gained in development of these DSL designers, the author prepared guidelines regarding how to adopt these tools to existing development environments as well as their advantages and drawbacks.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Wasilewski, Dominik. "Modeling of Enterprise Portals with Domain-Specific Language". Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2343.

Texto completo

Resumen

Enterprise portals are comprehensive solutions that enable centralized access to information and employees. They also support the business processes taking place in companies. The diversity of functionality offered by enterprise portals is the source of the complexity of the manufacturing process of such applications. Domain-Specific Languages (DSL) are a novel approach to solving problems associated with the software development. By limiting the possibilities of expression to the concepts related to a specific area Domain-Specific Languages are more focused on solving specific problems. The subject of this thesis is DSL SharePoint – Domain-Specific Language which supports the production of enterprise portals on Microsoft SharePoint platform. Language was developed with respect to the newest achievements in area of building DSLs. By applying the language in the industry, it was possible to verify the hypothesis that its usage positively affects the quality of software products. To this end, the quality model was built, and products made with the support of language have been compared to those developed in the traditional manner.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Libros sobre el tema "DSML(Domain Specific Modeling language)"

Eclipse modeling project: A domain-specific language (DSL) toolkit. Indianapolis, Ind: Addison Wesley Professional, 2009.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Germany) Domain-Specific Modeling Languages (Conference) (2008 Berlin. DSML'08, Domain-specific modeling languages: Workshop co-located with Modellierung 2008, Berlin, Germany, March 14, 2008 : proceedings. Editado por Fahland, Dirk, editor of compilation y Humboldt-Universität zu Berlin. Institut für Informatik. Berlin: Professoren des Instituts für Informatik, 2010.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "DSML(Domain Specific Modeling language)"

Sonnenberg, Christian, Christian Huemer, Birgit Hofreiter, Dieter Mayrhofer y Alessio Braccini. "The REA-DSL: A Domain Specific Modeling Language for Business Models". En Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 252–66. Cham: Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-642-21640-4_20.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Anonsen, Steve. "Experiences in Modeling for a Domain Specific Language". En UML Modeling Languages and Applications, 187–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31797-5_19.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Zečević, Igor, Petar Bjeljac, Branko Perišić, Vladimir Maruna y Danijel Venus. "Domain-Specific Modeling Environment for Developing Domain Specific Modeling Languages as Lightweight General Purpose Modeling Language Extensions". En Advances in Intelligent Systems and Computing, 872–81. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56535-4_85.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Amyot, Daniel, Hanna Farah y Jean-François Roy. "Evaluation of Development Tools for Domain-Specific Modeling Languages". En System Analysis and Modeling: Language Profiles, 183–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11951148_12.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Chen, Libo y Ulrich Thiel. "Language Modeling for Effective Construction of Domain Specific Thesauri". En Natural Language Processing and Information Systems, 242–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27779-8_21.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Vendrov, Ivan, Christopher Dutchyn y Nathaniel D. Osgood. "Frabjous: A Declarative Domain-Specific Language for Agent-Based Modeling". En Social Computing, Behavioral-Cultural Modeling and Prediction, 385–92. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-05579-4_47.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Zhu, Jing, Xinwei Gong y Guilin Chen. "Deep Learning Based Language Modeling for Domain-Specific Speech Recognition". En Communications in Computer and Information Science, 242–51. Singapore: Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-4211-9_24.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gérard, Sébastien, Cédric Dumoulin, Patrick Tessier y Bran Selic. "19 Papyrus: A UML2 Tool for Domain-Specific Language Modeling". En Model-Based Engineering of Embedded Real-Time Systems, 361–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16277-0_19.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Blunk, Andreas y Joachim Fischer. "Prototyping Domain Specific Languages as Extensions of a General Purpose Language". En System Analysis and Modeling: Theory and Practice, 72–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36757-1_5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Buch, Jacob Pørksen, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz y Henrik Gordon Petersen. "Applying Simulation and a Domain-Specific Language for an Adaptive Action Library". En Simulation, Modeling, and Programming for Autonomous Robots, 86–97. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11900-7_8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "DSML(Domain Specific Modeling language)"

Bernardino, Maicon y Avelino Francisco Zorzo. "Canopus: A Domain-Specific Modeling Language for Performance Testing". En XVI Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2017. http://dx.doi.org/10.5753/sbqs.2017.15120.

Texto completo

Resumen

Despite all the efforts to reduce the cost of the testing phase in software development, this is still one of the most expensive phases. In order to continue to minimize those costs, in this paper, we propose a Domain-Specific Language (DSL), built on top of MetaEdit+ language workbench, to model performance testing for Web applications. Our DSL, called Canopus, was developed in the context of a collaboration between our university and a Technology Development Laboratory from an Information Technology (IT) company. It is presented, in this paper, the overview of Canopus, including: metamodels, its domain analysis, a process that integrates Canopus to Model-Based Testing, and applied it to an industrial case study. Furthermore, we also carried out a controlled empirical experiment to evaluate the effort (time spent), when comparing Canopus with another approach widely used by industry UML.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Chhaya, Bharvi, Shafagh Jafer y Paolo Proietti. "An ontology for threat modeling and simulation of Small Unmanned Aerial Vehicles". En THE 9TH INTERNATIONAL DEFENCE AND HOMELAND SECURITY SIMULATION WORKSHOP. CAL-TEK srl, 2019. http://dx.doi.org/10.46354/i3m.2019.dhss.004.

Texto completo

Resumen

Low, Slow and Small Unmanned Aerial Vehicles (LSS UAVs) are one of the fastest-growing threats for national defense, security and privacy. A NATO task group performed a study to identify the elements necessary to define LSS models applicable for the development of necessary countermeasure to potential threats in the future. The goal of this project is to utilize this data collected by the NMSG-154 study to generate a Web Ontology Language (OWL) ontology for LSS threat modeling. The LSS ontology will form the basis for a metamodel for a domain-specific language (DSL) based on the parameters identified. This DSL will eventually be used to generate specific simulation scenarios to model potential threats caused by small drones.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gray, Jeff, Jonathan Sprinkle, Juha-Pekka Tolvanen y Matti Rossi. "Workshop preview of the 15th workshop on domain specific modeling (DSM 2015)". En SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2814189.2833204.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Latombe, Florent, Xavier Crégut, Benoit Combemale, Julien Deantoni y Marc Pantel. "Weaving concurrency in executable domain-specific modeling languages". En SLE '15: Software Language Engineering. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2814251.2814261.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Aziz, Muhammad Waqar y Muhammad Rashid. "Domain Specific Modeling Language for Cyber Physical Systems". En 2016 International Conference on Information Systems Engineering (ICISE). IEEE, 2016. http://dx.doi.org/10.1109/icise.2016.12.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lee, Taekyong, Jae-Min Cha, Joon-Young Kim, Junguk Shin, Jinil Kim y Choongsub Yeom. "Plant modeling based on SysML domain specific language". En 2017 IEEE International Systems Engineering Symposium (ISSE). IEEE, 2017. http://dx.doi.org/10.1109/syseng.2017.8088289.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Spafford, Kyle L. y Jeffrey S. Vetter. "Aspen: A domain specific language for performance modeling". En 2012 SC - International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 2012. http://dx.doi.org/10.1109/sc.2012.20.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gray, Jeff, Matti Rossi, Jonathan Sprinkle y Juha-Pekka Tolvanen. "Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019)". En SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3359061.3362785.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jerez-Ibáñez, Ismael, Inmaculada Medina-Bulo y Antonio Garcia-Dominguez. "Domain-Specific Language for Generating Administrative Process Applications". En Fifth International Symposium on Business Modeling and Software Design. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005886801780183.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Bernardino, Maicon, Avelino F. Zorzo y Elder M. Rodrigues. "Canopus: A Domain-Specific Language for Modeling Performance Testing". En 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2016. http://dx.doi.org/10.1109/icst.2016.13.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!