%0 Journal Article %1 gogolla_07_use %A Gogolla, Martin %A Buttner, Fabian %A Richters, Mark %B Special issue on Experimental Software and Toolkits %D 2007 %J Science of Computer Programming %K 2007 validation ocl uml %N 1-3 %P 27--34 %R 10.1016/j.scico.2007.01.013 %T USE: A UML-based specification environment for validating UML and OCL %U http://dx.doi.org/10.1016/j.scico.2007.01.013 %V 69 %X The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certification. The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.

@article{gogolla_07_use, abstract = {The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certification. The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.}, added-at = {2009-02-11T20:50:51.000+0100}, author = {Gogolla, Martin and Buttner, Fabian and Richters, Mark}, biburl = {https://www.bibsonomy.org/bibtex/25cc220c028fccb182e894800c584d807/leonardo}, booktitle = {Special issue on Experimental Software and Toolkits}, citeulike-article-id = {2141360}, doi = {10.1016/j.scico.2007.01.013}, interhash = {62e0ba3d5b5393ffd6f06acb1fffe6b4}, intrahash = {5cc220c028fccb182e894800c584d807}, journal = {Science of Computer Programming}, keywords = {2007 validation ocl uml}, month = {December}, number = {1-3}, pages = {27--34}, posted-at = {2007-12-18 16:01:52}, priority = {2}, timestamp = {2009-02-11T20:50:51.000+0100}, title = {USE: A UML-based specification environment for validating UML and OCL}, url = {http://dx.doi.org/10.1016/j.scico.2007.01.013}, volume = 69, year = 2007 }