%0 Conference Paper %1 zhan_07_formal %A Zhan, Xuede %B Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on %D 2007 %J Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on %K free 2007 tests statecharts uml z %P 882--887 %R 10.1109/SNPD.2007.21 %T A Formal Testing Framework for UML Statecharts %U http://dx.doi.org/10.1109/SNPD.2007.21 %V 3 %X This paper introduces a method of formalizing syntax and semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (Flattened Regular Expression) state models. Proper testing pre-orders and equivalences are introduced which allow to equate/distinguish systems on the basis of their interaction with the surrounding environment, abstracting from their internal structure. The formal testing framework for UML Statecharts is express with Z.

@inproceedings{zhan_07_formal, abstract = {This paper introduces a method of formalizing syntax and semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (Flattened Regular Expression) state models. Proper testing pre-orders and equivalences are introduced which allow to equate/distinguish systems on the basis of their interaction with the surrounding environment, abstracting from their internal structure. The formal testing framework for UML Statecharts is express with Z.}, added-at = {2009-02-11T20:54:48.000+0100}, author = {Zhan, Xuede}, biburl = {https://www.bibsonomy.org/bibtex/24bdcb8ccc23f54ab744450376ecd8ab2/leonardo}, booktitle = {Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on}, citeulike-article-id = {1614878}, doi = {10.1109/SNPD.2007.21}, interhash = {96fa5d022e9da9184ded9d720def8067}, intrahash = {4bdcb8ccc23f54ab744450376ecd8ab2}, journal = {Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on}, keywords = {free 2007 tests statecharts uml z}, pages = {882--887}, posted-at = {2007-09-03 01:41:11}, priority = {3}, timestamp = {2009-02-11T20:54:48.000+0100}, title = {A Formal Testing Framework for UML Statecharts}, url = {http://dx.doi.org/10.1109/SNPD.2007.21}, volume = 3, year = 2007 }