Title :
Systematic and Formal Approach to get a Domain Specific Language
Author :
Marcondes, Francisco Supino ; Fernandes, Danilo Douradinho ; Motini, D.A. ; Tasinaffo, Paulo Marcelo ; Vega, Italo Santiago ; Dias, Luiz Alberto Vieira
Author_Institution :
Inst. Tecnol. de Aerondutica - ITA
Abstract :
This paper presents a systematic approach applied over state machine (since it is a wide know model and easy to be used to formal specification) to improve the domain analysis procedure, besides been out of scope of this paper, this approach can also helps to improve the enterprise´s business process as well. The motivation which leads to the this paper is how to got a domain specific language (DSL) that is completely correspondent to a domain analysis sharing both the same business rules. This is a very important property to be achieved since a DSL must be used to help the codding procedure in a specific domain, so, it must be a direct relation over them and this relation is explored in this paper. It has a briefly discussion over the need for formalization procedures concluding that too much formalization can be a problem and lack of it can also be, so, formal transformations can be performed at mark point (as baselines or any other mark that can be defined) bringing important contributions to the rigor of the model improving it.
Keywords :
finite state machines; formal specification; domain analysis; domain specific language; formal approach; formal specification; formal transformations; state machine; systematic approach; DSL; Domain specific languages; Equations; Information technology; Jacobian matrices; Mathematical model; Phase detection; Programming; Robustness; System testing; Domain Analysis; Domain Specific Language; Formal Methods; State Machines;
Conference_Titel :
Information Technology: New Generations, 2009. ITNG '09. Sixth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4244-3770-2
Electronic_ISBN :
978-0-7695-3596-8
DOI :
10.1109/ITNG.2009.265