Hypersonic: Model Analysis and Checking in the Cloud

Vlad Acretoaie, Harald Störrle

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

216 Downloads (Pure)


Context: Modeling tools are traditionally delivered as monolithic desktop applications, optionally extended by plug-ins or special purpose central servers. This delivery model suffers from several drawbacks, ranging from poor scalability to diffcult maintenance and the proliferation of \shelfware”. Objective: In this paper we investigate the conceptual and technical feasibility of a new software architecture for modeling tools, where certain advanced features are factored out of the client and moved towards the Cloud. With this approach we plan to address the above mentioned drawbacks of existing modeling tools.
Method: We base our approach on RESTful Web services. Using features implemented in the existing Model Analysis and Checking (MACH) tool, we create a RESTful Web service API offering model analysis facilities. We refer to it as the Hypersonic API. We provide a proof of concept implementation for the Hypersonic API using model clone detection as our example case. We also implement a sample Web application as a client for these Web services.
Results: Our initial experiments with Hypersonic demonstrate the viability of our approach. By applying standards such as REST and JSON in combination with Prolog as an implementation language, we are able to transform MACH from a command line tool into the first Web-based model clone detection service with remarkably little effort.
Original languageEnglish
Title of host publicationProceedings of the 2nd Workshop on Scalability in Model Driven Engineering (BigMDE 2014)
EditorsDimitris Kolovos, Davide Di Ruscio, Nicholas Matragkas, Juan De Lara, István Ráth, Massimo Tisi
Number of pages8
Publication date2014
Publication statusPublished - 2014
Event2nd Workshop on Scalability in Model Driven Engineering 2014 - York, United Kingdom
Duration: 24 Jul 2014 → …
Conference number: 2


Conference2nd Workshop on Scalability in Model Driven Engineering 2014
Country/TerritoryUnited Kingdom
Period24/07/2014 → …
Internet address
SeriesCEUR Workshop Proceedings


  • Hypersonic
  • MACH
  • Models in the Cloud
  • Clone detection
  • Web services
  • Prolog


Dive into the research topics of 'Hypersonic: Model Analysis and Checking in the Cloud'. Together they form a unique fingerprint.

Cite this