A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Example-based validation of domain-specific visual languages
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
Preserved Fulltext
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
english
2013
Proceedings of the 8th International Joint Conference on Software Technologies
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2018
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
DaNaLIX
2007
Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 World Conference on Services - II
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Acta Cybernetica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the Second Workshop on Graphical Modeling Language Development - GMLD '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Domain Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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