%0 Conference Paper %1 barajas_07_formal %A Barajas, Fernando V. %B Software Engineering Workshop, 2007. SEW 2007. 31st IEEE %D 2007 %J Software Engineering Workshop, 2007. SEW 2007. 31st IEEE %K _hardcopy _missing 2007 alloy statecharts %P 194--203 %R 10.1109/SEW.2007.81 %T A Formal Model for the Building of State Machines: A Lightweight Approach %U http://dx.doi.org/10.1109/SEW.2007.81 %X In this paper the author uses Alloy, as a modeling lan- guage, to model the elements that form a state machine and the rules that govern how they can be connected. This modeling language is also a formal method that develops a model incrementally and can analyze it in an early state of the design having the advantage of detecting modeling errors very quickly. By using the formal method, some in- stances of the model are generated without making a line of code. The paper presents two models based on the for- mal approach: a graphical model and a textual model. The graphical model is used as an overview of the system and the textual model to establish further constraints on the graphical model.

@inproceedings{barajas_07_formal, abstract = {In this paper the author uses Alloy, as a modeling lan- guage, to model the elements that form a state machine and the rules that govern how they can be connected. This modeling language is also a formal method that develops a model incrementally and can analyze it in an early state of the design having the advantage of detecting modeling errors very quickly. By using the formal method, some in- stances of the model are generated without making a line of code. The paper presents two models based on the for- mal approach: a graphical model and a textual model. The graphical model is used as an overview of the system and the textual model to establish further constraints on the graphical model.}, added-at = {2009-02-11T20:47:50.000+0100}, author = {Barajas, Fernando V.}, biburl = {https://www.bibsonomy.org/bibtex/21c463c9683ad2a3e8707b0534f36e5f6/leonardo}, booktitle = {Software Engineering Workshop, 2007. SEW 2007. 31st IEEE}, citeulike-article-id = {2427623}, doi = {10.1109/SEW.2007.81}, interhash = {aca6017d9d2ca217b0899b86f640dcb6}, intrahash = {1c463c9683ad2a3e8707b0534f36e5f6}, journal = {Software Engineering Workshop, 2007. SEW 2007. 31st IEEE}, keywords = {_hardcopy _missing 2007 alloy statecharts}, pages = {194--203}, posted-at = {2008-02-26 00:15:07}, priority = {5}, timestamp = {2009-02-11T20:47:50.000+0100}, title = {A Formal Model for the Building of State Machines: A Lightweight Approach}, url = {http://dx.doi.org/10.1109/SEW.2007.81}, year = 2007 }