224,586 Hits in 4.4 sec

Example-based validation of domain-specific visual languages

Jesús J. López-Fernández, Esther Guerra, Juan de Lara
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering  
Our language complements metaBest, a framework for the validation and verification of meta-models that includes two other languages for unit testing and specification-based testing of meta-models.  ...  The focus of this paper is on the validation of metamodels for visual DSLs.  ...  Acknowledgments Work supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125).  ... 
doi:10.1145/2814251.2814256 fatcat:p2ttox6wjbbjfghmag72tct2rm

Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach

Arieh Bibliowicz, Dov Dori
2013 Proceedings of the 8th International Joint Conference on Software Technologies  
Domain-specific languages and model-driven development are two promising approaches for tackling the complexity of software systems development.  ...  However, creating domain-specific modeling languages is a complex and lengthy task which makes the creation of DSMLs only feasible in large and complex projects.  ...  We thank the OPClipse team: Eyal Heineman, Kobi Ravid, Ilan Tchernovitz, Alez Zhitnitsky, and Nimrod Shenhav for their help in reviewing the OPM/D language definitions, and for making the implementation  ... 
doi:10.5220/0004431704730479 dblp:conf/icsoft/BibliowiczD13 fatcat:xgrsfjb5hncjlpqrix2pmv27ju

Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles [chapter]

Steen Brahe, Kasper Østerbye
2006 Lecture Notes in Computer Science  
We suggest using UML profiles and UML activity diagrams as the semantic base for these DSM languages and present tools that are able to create a DSM language and tool support for a given domain.  ...  One tool, called ADSpecializer, can generate a UML profile and its tool support of a given application domain.  ...  The syntax and semantics of the elements of the new language can be defined to match the specific domain.  ... 
doi:10.1007/11787044_19 fatcat:id2mlyc4tbf6pnjrt6makrknxm

Agile validation of model transformations using compound F-Alloy specifications

Loïc Gammaitoni, Pierre Kelsen, Qin Ma
2018 Science of Computer Programming  
The relational logic based specification language Alloy and its accompanying tool the Alloy Analyzer have been used in the past to validate properties of model transformations.  ...  To enable the effective involvement of domain experts in the validation process, we propose in this paper a new approach to model transformation validation, called Visualization-Based Validation (briefly  ...  More specifically, we proposed the domain specific visualization based validation of model transformations, briefly VBV.  ... 
doi:10.1016/j.scico.2017.07.001 fatcat:ndt4xgrfsfeetidqp6soalobsy

Validating Transformations for Semantic Anchoring

David Lindecker, Gabor Simko, Tihamer Levendovszky, Istvan Madari, Janos Sztipanovits
2015 Journal of Object Technology  
Making Domain-Specific Modeling Languages a part of a tool chain, a part of a proven development process, or the subject of verification cannot be achieved without the precise specification of the language  ...  resulting in a counterintuitive DSML, and should therefore be validated.  ...  Acknowledgments This research is supported by the AVM Program of the Defense Advanced Research Project Agency (DARPA) under award # HR0011-12-C-0008 and the National Science Foundation under award # CNS  ... 
doi:10.5381/jot.2015.14.3.a2 fatcat:56sjfxain5dbxew7dbbgtqahla


Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish
2007 Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07  
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying XML [4, 5] .  ...  We also demonstrate how a generic system like DaNaLIX can take advantage of domain-specific knowledge to improve its usability and query translation accuracy.  ...  For example, a biologist may need to search a protein database on daily bases for her research.  ... 
doi:10.1145/1247480.1247643 dblp:conf/sigmod/LiCYSJ07 fatcat:klc7rso245fbhhafialfmgcsie

A Domain Specific Language for UN/CEFACT's Core Components

Philipp Liegl, Dieter Mayrhofer
2009 2009 World Conference on Services - II  
Domain Specific Languages A domain specific language (DSL) is a language tailored to a specific domain for solving a wide range of different problems.  ...  In Section 4 we elaborate on the concepts of our Domain Specific Language for Core Components together with an accompanying example.  ... 
doi:10.1109/services-2.2009.24 dblp:conf/services/LieglM09 fatcat:bzedw2bqifdsxjhjpsz5efkdq4

Evaluating Domain-Specific Modelling Solutions [chapter]

Parastoo Mohagheghi, Øystein Haugen
2010 Lecture Notes in Computer Science  
Advantages and challenges of using domain-specific languages Advantages: The goal of DSLs is to increase the productivity of software engineers by targeting specific domain needs.  ...  For each purpose of modelling, a suitable language is important. ICT What is a Domain-Specific Language (DSL)?  ...  A framework for defining quality models based on goals, purposes, stakeholders, means and evaluation methods Future work: Perform more case studies: We work on several UML profiles DSLs in different projects  ... 
doi:10.1007/978-3-642-16385-2_27 fatcat:qyfcioz52jaefj2ehq3ngqqzcu

Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages

Sándor Bácsi, Gergely Mezei
2019 Acta Cybernetica  
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.  ...  Based on the way of the problem description, domain-specific visual languages can be grouped into two subclasses: imperative and declarative languages.  ... 
doi:10.14232/actacyb.24.1.2019.2 fatcat:627x45jms5cvlil7ne62nwjxmy

A component-based approach for specifying DSML's concrete syntax

Amine El Kouhen, Sébastien Gérard, Cédric Dumoulin, Pierre Boulet
2013 Proceedings of the Second Workshop on Graphical Modeling Language Development - GMLD '13  
In this context, we propose MID, a set of meta-models supporting the easy specification of modeling editors by means of reusable components and explain how representational meta-modeling is carried out  ...  It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language, especially for users' native methodologies and representational  ...  Code-based specification. As GEF, UMLet and Graphiti. This kind of tools construct graphical representations from a code description. 2. Proprietary languages-based specification.  ... 
doi:10.1145/2489820.2489822 fatcat:32spssyv2zhcza3pyd3f3pu2ui

An MBSE Tool to Support Architecture Design for Spacecraft Electrical Power System

Zhigang Liu, Qi Chen, Ning Xia, Mengfei Yang, Qing Du, Jinzhi Lu
2018 INCOSE International Symposium  
This paper presents a model-based systems engineering (MBSE) tool with emphasis on domain specific modeling (DSM), architecture visualization, model transformation and automated verification and validation  ...  verification & validation by using Modelica language.  ...  For example, in a DSM model, there is an interface called X01 Equation definition: Based on Modelica specification, equations of related domain specific concepts indicated by meta-models and equations  ... 
doi:10.1002/j.2334-5837.2018.00468.x fatcat:h7qnnrojs5dqdib32t3xniuvre

Software Language Engineering of Architectural Viewpoints [chapter]

Elif Demirli, Bedir Tekinerdogan
2011 Lecture Notes in Computer Science  
We illustrate our approach for defining domain specific languages for the viewpoints of the Views and Beyond approach.  ...  In this paper we provide a software language engineering approach to define viewpoints as domain specific languages.  ...  Elements of Domain Specific Languages Meta-models define the language for the models.  ... 
doi:10.1007/978-3-642-23798-0_36 fatcat:r2k2iexicvgrhhbqtsqnbgpqvm

RPSL meets lightning: A model-based approach to design space exploration of robot perception systems

Loic Gammaitoni, Nico Hochgeschwender
2016 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)  
design spaces and Lightning, a language workbench that we use to formalise RPSL and obtain, from RPSL specifications, corresponding design alternatives.  ...  of DSE, that is, enabling a domain expert to review design alternatives corresponding to a given design space effortlessly.  ...  Domain Specific Visualization The domain specific visualization of RPSL design alternatives is given as a model transformation from the Alternative model to a visual language model.  ... 
doi:10.1109/simpar.2016.7862378 dblp:conf/simpar/GammaitoniH16 fatcat:pym7johpejhllkwxmu7sjmjsfe

POSAML: A Visual Modeling Framework for Middleware Provisioning

Dimple Kaul, Arundhati Kogekar, Aniruddha Gokhale, Jeff Gray, Swapna Gokhale
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
POSAML provides visual modeling capabilities for middleware-independent provisioning while allowing automated middleware-specific QoS validation.  ...  This paper describes the design of a visual modeling language called POSAML (Patterns Oriented Software Architecture Modeling Language) and associated tools that provide an intuitive, higher level and  ...  (CNS-SMA-0509296) and Univ. of Alabama at Birmingham (CNS-SMA-0509342).  ... 
doi:10.1109/hicss.2007.438 dblp:conf/hicss/KaulKGGG07 fatcat:6o6jkologzfopi44yd4j6xnvwi

Ontology-Based Evaluation and Design of Visual Conceptual Modeling Languages [chapter]

Giancarlo Guizzardi
2013 Domain Engineering  
Finally, we demonstrate how the use of a system of formal ontological properties can be systematically exploited in the design of pragmatically efficient Domain-Specific Visual Languages.  ...  Furthermore, we demonstrate how an approach based on visual simulation could be used to assess this relation, i.e., to evaluate the distance between the valid models of a language and the intended models  ...  in the topics of this chapter.  ... 
doi:10.1007/978-3-642-36654-3_13 fatcat:mnc5pl2b4ngtngzscqvw5cyd2a
« Previous Showing results 1 — 15 out of 224,586 results