@inproceedings{micskei-oss4mde-2014,
    url = {http://ceur-ws.org/Vol-1290/},
    title = {{On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf}},
    author = {Zoltan Micskei and Raimund-Andreas Konnerth and Benedek Horvath and Oszkar Semerath and Andras Voros and Daniel Varro},
    abstract = {Executable and well-defined models are a cornerstone of model driven engineering. We are currently working on a transformation chain from UML models to formal verification tools. In the context of the UML language, the fUML and Alf specifications offer a standardized way for the semantics of the basic model elements and a textual specification language. Open source modeling tools started to adapt these specifications.However, their support is of varying degree. This paper summarizes our experiences with the open source tools regarding fUML and Alf support, and different model transformation technologies in order to analyse them with formal verification tools.},
    keywords = {UML ; fUML ; Alf ; tool ; transformation ; verification},
    language = {English},
    affiliation = {Dept. of Measurement and Information Systems},
    booktitle = {{Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering}},
    pages = {31-41},
    location = {Valencia, Spain},
    editor = {Francis Bordelau and Juergen Dingel and  Sebastien Gerard and Sebastian Voss},
    year = {2014},
    month = {9},
}