1. Challenges and directions in formalizing the semantics of modeling languagesBarrett Richard Bryant, Jeffrey G. Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai, 2011, original scientific article Abstract: Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.
Keywords: model-based tools, modeling language, semantics
Published in DKUM: 06.07.2017; Views: 1083; Downloads: 378
 Full text (568,31 KB)
This document has many files! More... |
2. MARS: A Metamodel Recovery System Using Grammar InferenceFaizan Javed, Marjan Mernik, Jeffrey G. Gray, Barrett Richard Bryant, 2008, original scientific article Abstract: Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. When a metamodel is lost, repositories of domain models can become orphaned from their defining metamodel. Within the purview of model-driven engineering, the ability to recover the design knowledge in a repository of legacy models is needed. In this paper we describe MARS, a semi-automatic grammar-centric system that leverages grammar inference techniques to solve the metamodel recovery problem. The paper also contains an applicative case study, as well as experimental results from the recovery of several metamodels in diverse domains.
Keywords: domain-specific languages, metamodeling, recovery systems, reverse engineering, re-ingineering
Published in DKUM: 01.06.2012; Views: 1526; Downloads: 107
 Link to full text |
3. Application of metamodel inference with large-scale metamodelsQichao Liu, Jeffrey G. Gray, Marjan Mernik, Barrett Richard Bryant, 2012, original scientific article Keywords: model-driven engineering, reverse engineering, gramar inference, metamodel inference, model co-evolution, model transformation
Published in DKUM: 01.06.2012; Views: 1411; Downloads: 22
Link to full text |
4. Embedding DSLS into GPLSDejan Hrnčič, Marjan Mernik, Barrett Richard Bryant, 2011, original scientific article Abstract: Embedding of Domain-Specific Languages (DSLs) into General-Purpose Languages (GPLs) is oftenused to express domain-specific problems using the domainćs natural syntax inside GPL programs. It speeds up thedevelopment process, programs are more self-explanatory and repeating tasks are easier to handle. End-users ordomain experts know what the desired language syntax would look like, but do not know how to write a grammar andlanguage processing tools. Grammatical inference can be used for grammar extraction from input examples. Amemetic algorithm for grammatical inference, named MAGIc, was implemented to extract grammar from DSLexamples. In this work MAGIc is extended with embedding the inferred DSL into existing GPL grammar.Additionally, negative examples were also incorporated into the inference process. From the results it can be concludedthat MAGIc is successful for DSL embedding and that the inference process is improved with use of negativeexamples.
Keywords: memetic algorithms, doamin-specific languages, grammatical inference, embedding
Published in DKUM: 01.06.2012; Views: 1531; Downloads: 48
Link to full text |
5. |
6. Is my DSL a modeling or programming language?Yu Sun, Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett Richard Bryant, 2008, published scientific conference contribution Abstract: It is often difficult to discern the differences between programming and modeling languages. As an example, the term "domain-specific language" has been used almost interchangeably in academia and industry to represent both programming and modeling languages, which has caused subtle misconceptions. The borders between a modeling and programming language are somewhat vague and not defined crisply. This paper discusses the similarities and differences between modeling and programming languages, and offers some suggestions on how to better differentiate such languages. A list of criteria is presented for language classification, but it is suggested that a set of the criteria be used, rather than a single criterion. Several example domain-specific languages are used as case studies to motivate the discussion.
Keywords: domain-specific languages, programming languages, modeling language
Published in DKUM: 31.05.2012; Views: 1604; Downloads: 42
Link to full text |
7. DOMAIN-SPECIFIC LANGUAGE FOR TIME MEASURING ON SPORT COMPETITIONSIztok Fister, 2011, bachelor thesis/paper Abstract: Measuring time in mass sporting competitions is, typically, performed
with a timing system that consists of a measuring technology and a
computer system. The first is dedicated to tracking events that are
triggered by competitors and registered by measuring devices (primarily based on RFID technology). The latter enables the processing of these events. In this paper, the processing of events is performed by an agent that is controlled by the domain-specific language, EasyTime. EasyTime improves the flexibility of the timing system because it supports the measuring of time in various sporting competitions, their quick adaptation to the demands of new sporting competitions and a reduction in the number of measuring devices. Essentially, we are focused on the development of a domain-specific language. In practice, we made two case studies of using EasyTime by measuring time in two different sporting competitions. The use of EasyTime showed that it can be useful for sports clubs and competition organizers by aiding in the results of smaller sporting competitions, while in larger sporting competitions it could simplify the configuration of the timing system.
Keywords: domain-specific languages, programming languages, RFID technology
Published in DKUM: 09.06.2011; Views: 4033; Downloads: 447
Full text (2,08 MB) |
