Paper Info
Title
Semantic framework for DSLs
Abstract
Domain-Specific Languages (DSLs) enable domain experts to participate in software development tasks and to specify their own programs using domain abstractions. To define programs using domain concepts, rather than programming language concepts, model-based syntax and semantic specification techniques may offer advantages over current approaches. The purpose of the research described in this paper is to provide a semantic framework that can be used visually by DSL designers, yet has formal underpinnings such that interoperation with verification tools is possible to realize model checking tasks. This research is focused on a visual technique based on activity diagrams and graph transformation rules to define the semantics of DSLs.
Year
DOI
Venue
2009
10.1145/1639950.1640037
Conference on Object-Oriented Programming Systems, Languages, and Applications
Keywords
Field
DocType
graph transformation systems,semantic framework,operational semantics,dsl designer,current approach,domain expert,semantic specification technique,domain abstraction,model checking,domain-specific languages,activity diagram,domain concept,formal underpinnings,domain specific language,programming language,domain specific languages,software development,system modeling,graph transformation
Domain-specific language,Operational semantics,Programming language,Computer science,Interoperation,Activity diagram,Theoretical computer science,Programming domain,Software development,Domain model,Semantics
Conference
Citations 
PageRank 
References 
0
0.34
8
Authors
1
Name
Order
Citations
PageRank
Zekai Demirezen1183.66