1st Release of mRUBiS, the modular Rice University Bidding System

mRUBiS, the modular Rice University Bidding System, is now available for download. This system is a re-engineered version of the RUBiS online marketplace and we employ it as an application example in the context of our research on models@run.time and self-adaptive software, particularly a framework and a modeling language. More details on mRUBiS can be found here.

Posted in Experimental Settings and Case Sudies | Comments Off on 1st Release of mRUBiS, the modular Rice University Bidding System

Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars

We will be presenting a paper on the 1st Workshop on the Analysis of Model Transformations, which introduces our framework for the development of correct model transformations with triple graph grammars. An intermediate version of the paper can be downloaded, the final version will be published by the workshop organizers.

Posted in TGGs, Verification Tools | Comments Off on Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars

IPTA edition of PRISM

Interval Probabilistic Timed Automata (IPTA) are a recently introduced model for probabilistic real-time behavior with uncertainties. The current development version of the PRISM model checker already supports Probabilistic Timed Automata (PTA). To support also the probability intervals used in IPTA, we extended the syntax of the PRISM specification language and adapted its probabilistic reachability checker. Our IPTA edition of PRISM is available for download here:  prism-ipta.tar_.gz (95 downloads) . For an IPTA example, check out the ipta directory in the examples. If you have any questions or suggestions don't hesitate to contact me.

Posted in Verification Tools | Comments Off on IPTA edition of PRISM

Transformation Tool Contest 2011

We are participating in the Transformation Tool Contest 2011 and solved the case study Model Transformation for Program Understanding. Our solution of this case study is available for download.

Posted in Uncategorized | Comments Off on Transformation Tool Contest 2011

Our new Eclipse Update-Site

Our new  Eclipse Update-Site is available at http://www.mdelab.de/update-site.

Posted in Eclipse, MDE-Tools | Comments Off on Our new Eclipse Update-Site