发布求助
文献互助 智能选刊 最新文献

DSM '10最新文献

筛选
英文 中文
Domain-specific engineering of domain-specific languages 领域特定语言的领域特定工程
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060356
Raphael Mannadiar, H. Vangheluwe
{"title":"Domain-specific engineering of domain-specific languages","authors":"Raphael Mannadiar, H. Vangheluwe","doi":"10.1145/2060329.2060356","DOIUrl":"https://doi.org/10.1145/2060329.2060356","url":null,"abstract":"Domain-specific modelling (DSM) enables experts of arbitrary domains to perform modelling tasks using familiar constructs. This contrasts with common code-centric development approaches where programmers deal with object-oriented approximations of higher level concepts. Domain-specific concepts and their relationships are captured by domain-specific languages (DSLs). Unfortunately, it is common practice for DSLs to be specified within the object-oriented mindsets of classes and associations. This approach not only contradicts the model-driven engineering (MDE) philosophy of development using domain-specific concepts -- in this case, the domain and concepts of DSLs --, it is also faced with the same obstacle as past UML-to-code generation efforts; namely, that UML models are too generic to enable complete program synthesis. In the context of DSL engineering, this obstacle translates to the necessity for DSL designers to explicitly define DSL semantics manually (e.g., via coded generators and/or model transformations). In this work, we propose a novel approach to DSL design where low level modelling formalisms are seamlessly woven together to form new DSLs whose semantics are fully automatically generated.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125912298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Domain specific: a binary decision? 特定领域:二元决策?
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060357
Markus Voelter, B. Merkle
{"title":"Domain specific: a binary decision?","authors":"Markus Voelter, B. Merkle","doi":"10.1145/2060329.2060357","DOIUrl":"https://doi.org/10.1145/2060329.2060357","url":null,"abstract":"It is often considered a binary decision whether something is domain specific or not. Consequently, there are domain specific languages (DSL) and general purpose languages (GPL), there are domain specific and non-domain specific modeling tools, there are domain specific and non-domain specific methodologies etc. In this paper we argue, that domain specificity is not a hard decision, but rather one extreme on a continuum. We also argue that many systems can be more efficiently described with a mix of domain specific and non-domain specific abstractions. This view of the world has consequences for languages, tools and methodologies, specifically the ability to modularize and compose languages. Additionally we outline these consequences and provide an extensive example based on embedded systems.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115658976","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The GDSE framework: a meta-tool for automated design space exploration GDSE框架:用于自动设计空间探索的元工具
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060362
Tripti Saxena, G. Karsai
{"title":"The GDSE framework: a meta-tool for automated design space exploration","authors":"Tripti Saxena, G. Karsai","doi":"10.1145/2060329.2060362","DOIUrl":"https://doi.org/10.1145/2060329.2060362","url":null,"abstract":"Existing Design Space Exploration (DSE) frameworks are tailored specifically to a particular problem domain and cannot be easily re-used between domains. Typically these frameworks translate the DSE problem to a single formulation of the problem (e.g. ILP or CSP) and then solve it to retrieve satisfying alternatives. In order to compare the efficiency of different formulations/techniques on a given problem, the domain-expert has to manually reformulate the problem in another constraint language, which is time-consuming. In order to overcome this lack of reusability and flexibility in the current frameworks, we present here the Generic Design Space Exploration (GDSE) framework that allows the designer to solve DSE problems from different domains. Rather than using one strict formulation of the design problem, the framework supports a higher level formulation that can be mapped to different low level encodings. The main contributions of this framework are: 1) a generic representation which can be used to express any DSE problem, and 2) a flexible exploration technique which supports several exploration techniques.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123822394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Eberos GML2D: a graphical domain-specific language for modeling 2D video games Eberos GML2D:用于建模2D视频游戏的图形领域特定语言
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060342
Frank Hernandez, F. Ortega
{"title":"Eberos GML2D: a graphical domain-specific language for modeling 2D video games","authors":"Frank Hernandez, F. Ortega","doi":"10.1145/2060329.2060342","DOIUrl":"https://doi.org/10.1145/2060329.2060342","url":null,"abstract":"The complexity of game development has increased in the past 30 years, from a task that could almost be entirely handled by a single programmer to an endeavor requiring a large team. To reduce this complexity, we have developed a Domain-Specific Language (DSL) targeting the modeling of two-dimensional (2D) games. We call this language Eberos Game Modeling Language 2D (Eberos GML2D). By raising the level of abstraction through modeling, we allowed a simpler specification of the game, and reduced the time and programming efforts. In order to evaluate our approach, we modeled two games and compared the difference between the amount of work required to write the game from scratch and the amount required using our proposed language. These evaluations yielded promising results of 86.4% savings on programming effort, and 82.3% savings on programming time.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125190068","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Towards flexible and efficient model-based testing, utilizing domain-specific modelling 利用特定于领域的建模，实现灵活和高效的基于模型的测试
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060349
O. Puolitaival, T. Kanstrén
{"title":"Towards flexible and efficient model-based testing, utilizing domain-specific modelling","authors":"O. Puolitaival, T. Kanstrén","doi":"10.1145/2060329.2060349","DOIUrl":"https://doi.org/10.1145/2060329.2060349","url":null,"abstract":"Model-Based Testing is a test automation technique that generates test cases based on a model of the system under test. Domain-specific modelling is a modelling approach where the developed system is modelled in terms of domain-specific concepts and these models are automatically transformed to other forms such as application code. In this paper, we will discuss the adoption and integration of domain-specific modelling with model-based testing tools. Since model-based testing tools utilise various modelling notations that typically diverge from a specific domain-model, we will discuss how domain specific models can be automatically transformed to become suitable models for a chosen model-based testing tool. Furthermore, by doing this in terms of a domain-specific meta-model, we will allow one to switch between various model-based testing tools.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116254000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Verification and validation in the context of domain-specific modelling 在特定领域建模的上下文中进行验证和确认
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060351
Janne Merilinna, J. Pärssinen
{"title":"Verification and validation in the context of domain-specific modelling","authors":"Janne Merilinna, J. Pärssinen","doi":"10.1145/2060329.2060351","DOIUrl":"https://doi.org/10.1145/2060329.2060351","url":null,"abstract":"The utilisation of Domain-Specific Modelling (DSM) in software development has a significant positive impact on productivity. The productivity increase is caused by the utilisation of modelling languages and generators that are especially suitable for a specific problem domain instead of those designed for solution domains. The prerequisite for this significant productivity increase is that the languages and the automation function correctly. To ensure the suitability of the languages and tools, we need to be able to use the verification and validation (V&V) techniques in the context of DSM. In this position paper we study what V&V actually stands for in this particular context and what the current means are for performing V&V. We found that although there are some means available for verification, comprehensive methods still do not exist. For validation, we believe that maintaining a bidirectional trace link between requirements, models and the generated deliverables is a promising approach to significantly facilitate the validation process.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131141346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Conceptual modeling using domain ontologies: improving the domain-specific quality of conceptual schemas 使用领域本体的概念建模:提高概念模式特定于领域的质量
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060367
F. Gailly, G. Poels
{"title":"Conceptual modeling using domain ontologies: improving the domain-specific quality of conceptual schemas","authors":"F. Gailly, G. Poels","doi":"10.1145/2060329.2060367","DOIUrl":"https://doi.org/10.1145/2060329.2060367","url":null,"abstract":"In this paper an additional step is taken towards ontology-based conceptual modeling by using ontologies that specify conceptualizations of material domains. Using domain ontologies instead of top-level ontologies for ontology-based conceptual modeling, enables the reuse of domain-specific knowledge. The application of domain ontologies to conceptual schema development instead of conceptual modeling language evaluation, ensures the domain-specific quality of the schemas, i.e. the satisfaction of domain-specific axioms in schemas that intend to represent particular situations within the domain of interest. This approach to ontology-based conceptual modeling is implemented by extending existing conceptual modeling languages with domain-specific language profiles that are defined by domain ontologies. The approach is illustrated for enterprise modeling using UML and the Resource Event Agent (REA) enterprise ontology. The usefulness of the approach for the quality assurance of conceptual schemas is demonstrated by evaluating the domain-specific quality of a sample of UML class diagrams intended as enterprise models.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128129370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Domain-specific modeling as an enabling technology for small and medium-sized enterprises 特定于领域的建模作为中小型企业的启用技术
DSM '10 Pub Date : 2010-10-17 DOI: 10.1145/2060329.2060343
D. Barkowski, T. Kuhn, Christian Schäfer, M. Trapp
{"title":"Domain-specific modeling as an enabling technology for small and medium-sized enterprises","authors":"D. Barkowski, T. Kuhn, Christian Schäfer, M. Trapp","doi":"10.1145/2060329.2060343","DOIUrl":"https://doi.org/10.1145/2060329.2060343","url":null,"abstract":"In this paper, we present experiences and the outcomes of applying domain-specific modeling techniques to the domain of diagnostic systems within an industry project. The purpose of the project was to develop a diagnostic system that is easy to configure to different facilities without a deeper knowledge of software development. Although the project was relatively small, we will show that the use of domain-specific technologies proved to be of value, was superior to traditional approaches, and turned out to be a key enabling technology in the project.","PeriodicalId":132950,"journal":{"name":"DSM '10","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123328262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信