论文信息 - Hypersonic - Model Analysis as a Service

Hypersonic - Model Analysis as a Service

Hypersonic is a Cloud-based tool that proposes a new approach to the deployment of model analysis facilities. It is implemented as a RESTful Web service API offering analysis features such as model clone detection. This approach allows the migration of resource intensive analysis algorithms from monolithic desktop modeling tools to a wide range of mobile and Web-based clients. As a technology demonstrator, a Web application acting as a client for the Hypersonic API has been implemented and made publicly available.

Harald Störrle | Vlad Acretoaie | Harald Störrle | Vlad Acretoaie

[1] Harald Störrle,et al. Hypersonic: Model Analysis and Checking in the Cloud , 2014, BigMDE@STAF.

[2] Harald Störrle. Towards clone detection in UML domain models , 2010, ECSA '10.

[3] Jesús Sánchez Cuadrado,et al. Morsa: a scalable approach for persisting and accessing large models , 2011, MODELS'11.

[4] Tom Schrijvers,et al. Under Consideration for Publication in Theory and Practice of Logic Programming Swi-prolog , 2022 .

[5] Roy Fielding,et al. Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[6] Dániel Varró,et al. A research roadmap towards achieving scalability in model driven engineering , 2013, BigMDE '13.

[7] Dániel Varró,et al. IncQuery-D: incremental graph search in the cloud , 2013, BigMDE '13.

[8] Tim Bray,et al. The JavaScript Object Notation (JSON) Data Interchange Format , 2014, RFC.

[9] Marcos Didonet Del Fabro,et al. Transforming Very Large Models in the Cloud: a Research Roadmap , 2012 .

[10] Stewart Bryant,et al. Internet Engineering Task Force (IETF) , 2015 .

[11] F. Pfenning. Theory and Practice of Logic Programming , 2014 .