Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

Stappers, Frank P. M.; Weber, Sven; Reniers, Michel A.; Andova, Suzana; Nagy, István

doi:10.1007/978-3-642-28830-2_13

Cited by 10 publications

(5 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…DSLs are languages that define the jargon of a particular class of problem domains or set of domain aspects. Executable DSLs hide software implementation (Stappers et al, 2012). DSL is referred to as either DSL or just simply domain language but is often referred to as DSL by academic community.…”

Section: Related Workmentioning

confidence: 99%

Game operation query language for facilitating game server's FCAPS operation

Yoo

Kim

2018

IJITM

View full text Add to dashboard Cite

Game companies require successful game operation for their revenue maximisation. In an operation phase, they need not only operators who are experts in non-functional and operational issues but also developers who are experts in game development. Game server should manage several operational issues such as fault recovery, performance metering, and configuration management during game service period. However, most game server operators do not have programming expertise. To support successful fault, accounting, configuration, performance, security (FACPS) operation without programming expertise or development knowledge, we introduce domain specific language (DSL) operation approach for usual game operators. We design GOQLDSL, focusing on fault, configuration, and performance management issues. We experimented with 15 game server operators who are working in major game publishers. Experimental results show that GOQL was attractive to game operators because it is functional and does not require programming knowledge even in the situation that needs programming source modifications. For the future research, we will extend our textual version of GOQL to visual language version to give more convenience and intuitive advantage to game operators and novice developers. To cover this, we require study on visual notations, UX-related elements, and visual transformation of text.

show abstract

Section: Related Workmentioning

confidence: 99%

Game operation query language for facilitating game server's FCAPS operation

Yoo

Kim

2018

IJITM

View full text Add to dashboard Cite

show abstract

“…However, many domain specific languages are still defined informally. In [45] we report on a case study of the formalisation of an industrial DSL, called TRECS. The execution semantics was implicitly defined by the implementation of the TRECS interpreter.…”

Section: Applications and Case Studiesmentioning

confidence: 99%

An Overview of the mCRL2 Toolset and Its Recent Advances

Cranen

Groote

Keiren

et al. 2013

Lecture Notes in Computer Science

Self Cite

112

View full text Add to dashboard Cite

Abstract. The analysis of complex distributed systems requires dedicated software tools. The mCRL2 language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity gamebased solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.

show abstract

“…DSLs are languages that define the jargon of a particular class of problem domains or set of domain aspects. Executable DSLs hide software implementation [11]. DSL is referred to as either domain specific language or just simply domain language but is often referred to as domain specific language by academic community.…”

Section: Figure 2 User Experience Scenario According To Storyline Dementioning

confidence: 99%