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.
['Francisco Supino Marcondes', 'Danilo Douradinho Fernandes', 'Denis Ávila Motini', 'Paulo Marcelo Tasinaffo', 'Ítalo Santiago Vega', 'Luiz Alberto Vieira Dias']
Systematic and Formal Approach to get a Domain Specific Language